1127 search results - page 62 / 226 » Theory Extension in ACL2(r) |
149
click to vote
CSCLP
2007
Springer
16 years 10 days ago
2007
Springer
Global constraints are used in constraint programming to help users specify patterns that occur frequently in the real world. In addition, global constraints facilitate the use of ...
158
click to vote
MMSEC
2006
ACM
16 years 3 days ago
2006
ACM
In the watermark detection scenario, also known as zero-bit watermarking, a watermark, carrying no hidden message, is inserted in content. The watermark detector checks for the pr...
138
click to vote
GC
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We present the computational counterpart of the KGP (Knowledge, Goals, Plan) declarative model of agency for Global Computing. In this context, a computational entity is ...
163
click to vote
AIR
1998
15 years 5 months ago
1998
Case-based Reasoning (CBR) began as a theory of human cognition, but has attracted relatively little direct experimental or theoretical investigation in psychology. However, psycho...
166
click to vote
SAT
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. SAT Modulo Theories (SMT) consists of deciding the satisfiability of a formula with respect to a decidable background theory, such as linear integer arithmetic, bit-vect...