325 search results - page 5 / 65 » Analysis of the constraint proposal method for two-party neg... |
108
Voted
CADE
2007
Springer
16 years 20 days ago
2007
Springer
We show how theorem proving and methods for handling real algebraic constraints can be combined for hybrid system verification. In particular, we highlight the interaction of deduc...
109
click to vote
SAS
2001
Springer
15 years 4 months ago
2001
Springer
Abstract. Logic languages based on the theory of rational, possibly infinite, trees have much appeal in that rational trees allow for faster unification (due to the omission of t...
102
click to vote
ISBI
2002
IEEE
16 years 1 months ago
2002
IEEE
In this paper we propose a methodology for brain parcellation with anatomical and functional constraints dedicated to fMRI data analysis. The aim is to provide a representation of...
112
Voted
CONTEXT
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. In this paper, we propose a general model of schema matching based on the following ideas: on the one hand, a schema is viewed as a context (namely as a partial and appro...
87
Voted
ICCAD
2005
IEEE
15 years 9 months ago
2005
IEEE
Abstract— In bounded model checking (BMC)-based verification flows lack of reachability constraints often leads to false negatives. At present, it is daily practice of a veri...