1144 search results - page 140 / 229 » Logic programming for combinatorial problems |
170
click to vote
CVPR
2012
IEEE
13 years 8 months ago
2012
IEEE
We present a new algorithm to jointly track multiple objects in multi-view images. While this has been typically addressed separately in the past, we tackle the problem as a single...
102
click to vote
OORASE
1999
Springer
15 years 6 months ago
1999
Springer
This paper presents OpenJava, which is a macro system that we have developed for Java. With traditional macro systems designed for non object-oriented languages, it is diļ¬cult to...
119
Voted
IPSN
2010
Springer
15 years 9 months ago
2010
Springer
Wireless Sensor Actuator Networks (WSANs) extend wireless sensor networks through actuation capability. Designing robust logic for WSANs however is challenging since nodes can aļ¬...
149
click to vote
CORR
2002
Springer
15 years 2 months ago
2002
Springer
A relational database is inconsistent if it does not satisfy a given set of integrity constraints. Nevertheless, it is likely that most of the data in it is consistent with the co...
126
click to vote
DAGSTUHL
2003
15 years 3 months ago
2003
Abstract. Hydra is a domain-speciļ¬c language for designing digital circuits, which is implemented by embedding within Haskell. Many features required for hardware speciļ¬cation ...