4426 search results - page 865 / 886 » Concurrent Constraint Programming |
156
click to vote
LOPSTR
2007
Springer
16 years 16 days ago
2007
Springer
Homeomorphic Embedding (HEm) has proven to be very powerful for supervising termination of computations, provided that such computations are performed over a finite signature, i.e...
182
click to vote
SAT
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. We continue a study initiated by Kraj´ıˇcek of a Resolutionlike proof system working with clauses of linear inequalities, R(CP). For all proof systems of this kind Kra...
135
click to vote
CGO
2006
IEEE
16 years 14 days ago
2006
IEEE
Explicit Data Graph Execution (EDGE) architectures offer the possibility of high instruction-level parallelism with energy efficiency. In EDGE architectures, the compiler breaks ...
200
click to vote
FOCS
2006
IEEE
16 years 14 days ago
2006
IEEE
Combinatorial allocation problems require allocating items to players in a way that maximizes the total utility. Two such problems received attention recently, and were addressed ...
192
click to vote
GLOBECOM
2006
IEEE
16 years 14 days ago
2006
IEEE
Abstract—We consider the distributed estimation of an unknown vector signal in a resource constrained sensor network with a fusion center. Due to power and bandwidth limitations,...