874 search results - page 69 / 175 » Computing Weighted Solutions in Answer Set Programming |
128
Voted
CC
1998
Springer
15 years 5 months ago
1998
Springer
Abstract. Flow logic offers a compact and versatile notation for expressing the acceptability of solutions to program analysis problems. In contrast to previous logical formulation...
105
click to vote
JAIR
2006
15 years 23 days ago
2006
Efficient representations and solutions for large decision problems with continuous and discrete variables are among the most important challenges faced by the designers of automa...
103
Voted
ANOR
2008
15 years 28 days ago
2008
: The growth in demand for semiconductors has been accompanied by intense competition between semiconductor manufacturers to satisfy customer on-time delivery needs. This paper is ...
131
Voted
ICDT
2012
ACM
13 years 3 months ago
2012
ACM
A universal model of a database D and a set Σ of integrity constraints is a database that extends D, satisfies Σ, and is most general in the sense that it contains sound and co...
IPPS
2005
IEEE
15 years 6 months ago
2005
IEEE
This paper presents the design and the implementation of a compiler and runtime infrastructure for automatic program distribution. We are building a research infrastructure that e...