2451 search results - page 130 / 491 » The Octagon Abstract Domain |
196
Voted
CP
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Lazy clause generation is a powerful hybrid approach to combinatorial optimization that combines features from SAT solving and finite domain (FD) propagation. In lazy cla...
216
Voted
ECAI
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Statistical relational models, such as Markov logic networks, seek to compactly describe properties of relational domains by representing general principles about objects...
219
Voted
DATE
2007
IEEE
16 years 1 months ago
2007
IEEE
platform and a suite of abstract components with which new developments in different application domains can be engineered with minimal effort [1]p.16. Generic platforms, or refere...
169
click to vote
AUTOMOTIVEUI
2009
ACM
16 years 1 months ago
2009
ACM
In this paper we present an approach for creating user infrom abstract representations for the automotive domain. The approach is based on transformations between different user ...
168
click to vote
ICCBR
1995
Springer
15 years 10 months ago
1995
Springer
In this work, we are interested in how rational decision makers reason with and about reasons in a domain, practical ethics, where they appear to reason asons symbolically in terms...