7167 search results - page 291 / 1434 » Answer Set Programming |
154
click to vote
PVLDB
2008
15 years 2 months ago
2008
We propose EndoScope, a software monitoring framework that allows users to pose declarative queries that monitor the state and performance of running programs. Unlike most existin...
104
Voted
CL
2000
Springer
15 years 7 months ago
2000
Springer
Logic programming rules are provided to capture the rules governing formal poetry in Spanish. The resulting logic program scans verses in Spanish to provide their metric analysis. ...
103
Voted
SIGCSE
2002
ACM
15 years 2 months ago
2002
ACM
This paper describes a Java-based distance-education tool, called the Environment for Remote Programming Assignments in Java (JERPA), for use in computer science courses with Java...
184
Voted
EDBT
2008
ACM
16 years 2 months ago
2008
ACM
Data exchange is the problem of transforming data structured under a schema (called source) into data structured under a different schema (called target). The emphasis of data exc...
114
click to vote
HYBRID
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. A methodology for safety verification using barrier certificates has been proposed recently. Conditions that must be satisfied by a barrier certificate can be formula...