10568 search results - page 760 / 2114 » Computer Intelligence and Formalization |
201
click to vote
CAV
2003
Springer
16 years 20 days ago
2003
Springer
Abstract. We consider a fully SAT-based method of unbounded symbolic model checking based on computing Craig interpolants. In benchmark studies using a set of large industrial circ...
161
click to vote
ICPR
2000
IEEE
15 years 11 months ago
2000
IEEE
Thispaper presents a nonparametricregion competition algorithm which combines scale-space clustering and region competition to segment the image. It also proposes a formal and gen...
160
click to vote
TIME
1998
IEEE
15 years 11 months ago
1998
IEEE
Kowalski and Sergot's Event Calculus (EC) is a simAppeared in the Proceedings of the Fifth International Workshop on Temporal Representation and Reasoning -- TIME'98 (R....
174
click to vote
SIGCSE
1998
ACM
15 years 11 months ago
1998
ACM
Most people enjoy playing games. Most CS-1 students will enjoy a final project that involves computational game-playing. Chance-It is a simple two-person dice game with many possi...
164
click to vote
APLAS
2007
ACM
15 years 11 months ago
2007
ACM
The integration of functional and logic programming is a well developed field of research. We discuss that the integration could be improved significantly in two separate aspects: ...