2487 search results - page 156 / 498 » cases 2009 |
99
Voted
WWW
2009
ACM
16 years 1 months ago
2009
ACM
In this poster, a tool named BUCEFALO is presented. This tool is specially designed to improve the information retrieval tasks in web-based Personal Health Records (PHR). This too...
193
Voted
ICLP
2009
Springer
16 years 1 months ago
2009
Springer
When a logic program is processed by an answer set solver, the first task is to generate its instantiation. In a recent paper, Calimeri et el. made the idea of efficient instantiat...
186
Voted
CC
2009
Springer
16 years 1 months ago
2009
Springer
This paper presents a compiler which produces machine code from functions defined in the logic of a theorem prover, and at the same time proves that the generated code executes the...
199
click to vote
CP
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Today's models for propagation-based constraint solvers require propagators as implementations of constraints to be at least contracting and monotonic. These models ...
175
Voted
CP
2009
Springer
16 years 1 months ago
2009
Springer
We investigate the global GRAMMAR constraint over restricted classes of context free grammars like deterministic and unambiguous context-free grammars. We show that detecting disen...