2914 search results - page 373 / 583 » Learning and Inference with Constraints |
159
click to vote
HPCA
2007
IEEE
16 years 7 months ago
2007
IEEE
With the advent of ubiquitous multi-core architectures, a major challenge is to simplify parallel programming. One way to tame one of the main sources of programming complexity, n...
164
click to vote
SIGMOD
2003
ACM
16 years 6 months ago
2003
ACM
We consider the problem of mapping data in peer-topeer data-sharing systems. Such systems often rely on the use of mapping tables listing pairs of corresponding values to search f...
140
click to vote
BIRTHDAY
2009
Springer
16 years 1 months ago
2009
Springer
Lappin and Francez (1994) present a theory of donkey anaphora which, they claim, captures both their existential and their universal readings, while maintaining a uniform represent...
185
click to vote
IPSN
2009
Springer
16 years 1 months ago
2009
Springer
As sensor networks mature, there will be an increasing need for re-usable, dynamically taskable software systems that support multiple concurrent applications. In this paper, we c...
156
click to vote
PPDP
2005
Springer
16 years 1 days ago
2005
Springer
fects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type and eff...