395 search results - page 46 / 79 » Predicate Abstraction with Minimum Predicates |
FMCAD
2007
Springer
14 years 4 months ago
2007
Springer
— Induction has been studied in model checking for proving the validity of safety properties, i.e., showing the absence of counterexamples. To our knowledge, induction has not be...
FSTTCS
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. We provide a framework for distributed systems that impose timing constraints on their executions. We propose a timed model of communicating finite-state machines, which...
ICDT
2007
ACM
14 years 4 months ago
2007
ACM
Abstract. We study containment of conjunctive queries that are evaluated over databases that may contain tuples with null values. We assume the semantics of SQL for single block qu...
KI
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. We compare three systems for the task of synthesising functional recursive programs, namely Adate, an approach through evolutionary computation, the classification learn...
IJCNLP
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. Lexical Conceptual Structure (LCS) represents verbs as semantic structures with a limited number of semantic predicates. This paper attempts to exploit how LCS can be use...