3973 search results - page 509 / 795 » Records for Logic Programming |
142
click to vote
AHS
2007
IEEE
15 years 11 months ago
2007
IEEE
In this paper, we present a new approach for automatic synthesis of fault detection modules for autonomous mobile robots. The method relies on the fact that hardware faults typica...
126
click to vote
ICALP
2007
Springer
15 years 11 months ago
2007
Springer
We consider several private database query problems. The starting point of this work is the element rank problem: the server holds a database of n integers, and the user an integer...
138
click to vote
IFIP
2007
Springer
15 years 11 months ago
2007
Springer
Super-resolution algorithms typically improve the resolution of a video frame by mapping and performing signal processing operations on data from frames immediately preceding and i...
161
click to vote
CSMR
2006
IEEE
15 years 11 months ago
2006
IEEE
A trace is a record of the execution of a computer program, showing the sequence of operations executed. A trace may be obtained through static or dynamic analysis. An object trac...
119
Voted
APLAS
2006
ACM
15 years 11 months ago
2006
ACM
The abstract domain of polyhedra is sufficiently expressive to be deployed in verification. One consequence of the richness of this domain is that long, possibly infinite, sequen...