7167 search results - page 340 / 1434 » Answer Set Programming |
134
click to vote
IFIP
2010
Springer
14 years 10 months ago
2010
Springer
Abstract In this paper, we describe an automatic synthesis procedure that distributes synchronous programs on a set of desynchronized processing elements. Our distribution procedur...
DAC
2004
ACM
16 years 4 months ago
2004
ACM
We present a method for designing operational amplifiers using reversed geometric programming, which is an extension of geometric programming that allows both convex and non-conve...
139
click to vote
ALT
2004
Springer
16 years 1 days ago
2004
Springer
Probabilistic inductive logic programming, sometimes also called statistical relational learning, addresses one of the central questions of artificial intelligence: the integratio...
115
click to vote
ATAL
2009
Springer
15 years 9 months ago
2009
Springer
We present a programming language for implementing multiagent systems consisting of a set of individual agents that interact with a computational organization specified in terms ...
105
click to vote
ESOP
2007
Springer
15 years 9 months ago
2007
Springer
We present a modular static analysis which identifies structural (shape) invariants for a subset of heap-manipulating programs. The subset is defined by means of a non-standard ...