3335 search results - page 87 / 667 » A Unified Approach to Modeling and Programming |
272
click to vote
ICLP
2009
Springer
16 years 6 months ago
2009
Springer
This paper considers a semantic approach for merging logic programs under answer set semantics. Given logic programs P1, . . . , Pn, the goal is to provide characterisations of the...
159
click to vote
UM
2001
Springer
15 years 10 months ago
2001
Springer
This paper describes an integrated approach for interpreting a user’s responses and generating replies in the framework of a WWW-based Bayesian argumentation system. Our system c...
151
click to vote
FM
1994
Springer
15 years 10 months ago
1994
Springer
OPUS is an elementary calculus that models object-orientation. It expresses in a direct way the crucial features of object-oriented programming such as objects, encapsulation, mess...
150
click to vote
CVPR
2004
IEEE
16 years 8 months ago
2004
IEEE
Video matting, or layer extraction, is a classic inverse problem in computer vision that involves the extraction of foreground objects, and the alpha mattes that describe their op...
159
click to vote
EURODAC
1994
IEEE
1994
IEEE
OSCAR: optimum simultaneous scheduling, allocation and resource binding based on integer programming
15 years 10 months ago
: This paper presents an approach to high-level synthesis which is based upon a 0/1 integer programming model. In contrast to other approaches, this model allows solving all three ...