3053 search results - page 55 / 611 » Structured Objects: Modeling and Reasoning |
127
click to vote
VALUETOOLS
2006
ACM
15 years 7 months ago
2006
ACM
Cache locality optimization is an efficient way for reducing the idle time of modern processors in waiting for needed data. This kind of optimization can be achieved either on the...
AAAI
2000
15 years 2 months ago
2000
Equivalency clauses (Xors or modulo 2 arithmetics) represent a common structure in the SAT-encoding of many hard real-world problems and constitute a major obstacle to DavisPutnam...
134
click to vote
LPAR
2010
Springer
14 years 12 months ago
2010
Springer
The Inst-Gen-Eq method is an instantiation-based calculus which is complete for first-order clause logic modulo equality. Its distinctive feature is that it combines first-order ...
107
click to vote
EKAW
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. Qualitative reasoning uses a limited set of relevant distinctions of the domain to allow a flexible way of representing and reasoning about it. This work presents a conce...
126
click to vote
IPMI
1993
Springer
15 years 5 months ago
1993
Springer
Thispaperdescribesatechniqueforbuildingcompactmodelsoftheshapeandappearance offlexibleobjects(suchasorgans)seenin2-Dimages. Themodelsarederivedfromthestatisticsof setsof labelled i...