1127 search results - page 62 / 226 » Theory Extension in ACL2(r) |
CSCLP
2007
Springer
15 years 7 months 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 ...
101
Voted
MMSEC
2006
ACM
15 years 6 months 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...
93
Voted
GC
2004
Springer
15 years 6 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 ...
106
Voted
AIR
1998
15 years 14 days 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...
110
Voted
SAT
2010
Springer
14 years 11 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...