5550 search results - page 893 / 1110 » Different Approaches to Proof Systems |
175
click to vote
CAV
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. We present the tool MERIT, a CEGAR model-checker for safety propf counter-systems, which sits in the Lazy Abstraction with Interpolants (LAWI) framework. LAWI is parametr...
236
click to vote
SPATIALCOGNITION
2000
Springer
15 years 10 months ago
2000
Springer
The paper analyzes a diagrammatic reasoning problem that consists in finding a graphical layout which simultaneously satisfies a set of constraints expressed in a formal language a...
181
click to vote
AAAI
2007
15 years 9 months ago
2007
The long-term goal of Project Halo is to build an application called Digital Aristotle that can answer questions on a variety of science topics and provide user and domain appropr...
188
click to vote
FLAIRS
2007
15 years 9 months ago
2007
As personal assistant software matures and assumes more autonomous control of its users’ activities, it becomes more critical that this software can explain its task processing....
181
click to vote
ACL
2007
15 years 8 months ago
2007
We describe an open-source toolkit for statistical machine translation whose novel contributions are (a) support for linguistically motivated factors, (b) confusion network decodi...