874 search results - page 117 / 175 » Computing Weighted Solutions in Answer Set Programming |
128
click to vote
CP
2007
Springer
15 years 8 months ago
2007
Springer
Searching for optimal solutions to a problem using lower bounds obtained from a relaxation is a common idea in Heuristic Search and Planning. In SAT and CSPs, however, explicit rel...
119
Voted
DAC
2003
ACM
16 years 3 months ago
2003
ACM
In this paper, we describe a set of compiler analyses and an implementation that automatically map a sequential and un-annotated C program into a pipelined implementation, targete...
116
click to vote
Publication
Image matching has been a central research topic in computer vision over the last decades. Typical approaches for correspondence involve matching features between images. In this p...
DATE
2009
IEEE
15 years 9 months ago
2009
IEEE
—The adoption of AUTOSAR in the development of automotive electronics can increase the portability and reuse of functional components. Inside each component, the behavior is repr...
134
Voted
FGCS
2006
15 years 2 months ago
2006
We consider a model where commodity service providers are offering commodity computational services to a set of customers. We provide a solution for the efficient distribution of ...