1133 search results - page 126 / 227 » Local Logics for Traces |
200
click to vote
JAPLL
2007
15 years 6 months ago
2007
We extend answer set programming (ASP) with, possibly infinite, open domains. Since this leads to undecidable reasoning, we restrict the syntax of programs, while carefully guard...
200
click to vote
ECCV
1996
Springer
16 years 8 months ago
1996
Springer
Search is not inherent in the correspondence problem. We propose a representation of images, called intrinsic curves, that combines the ideas of associative storage of images with...
151
click to vote
MICCAI
2003
Springer
16 years 7 months ago
2003
Springer
The quality of cardiac images acquired with multi-detector CT scanners has improved significantly, to the point where minimally invasive examination of the coronary arteries became...
140
click to vote
PAM
2009
Springer
16 years 1 months ago
2009
Springer
Despite a large amount of effort devoted in the past years trying to limit unsolicited mail, spam is still a major global concern. Content-analysis techniques and blacklists, the m...
166
click to vote
ISPDC
2008
IEEE
16 years 23 days ago
2008
IEEE
We present a load-balancing technique that exploits the temporal coherence, among successive computation phases, in mesh-like computations to be mapped on a cluster of processors....