943 search results - page 28 / 189 » Virtual First-Order Structure |
130
Voted
ISBI
2004
IEEE
16 years 3 months ago
2004
IEEE
The identification of bronchovascular pairs on High Resolution Computer Tomography (HRCT) images provides valuable diagnostic information in patients with suspected airway disease...
140
Voted
CADE
2007
Springer
16 years 2 months ago
2007
Springer
The E-KRHyper system is a model generator and theorem prover for first-order logic with equality. It implements the new E-hyper tableau calculus, which integrates a superposition-b...
122
Voted
SEMCO
2007
IEEE
15 years 8 months ago
2007
IEEE
Many recent advances in complex domains such as Natural Language Processing (NLP) have taken a discriminative approach in conjunction with the global application of structural and...
145
Voted
CAV
2006
Springer
15 years 6 months ago
2006
Springer
We introduce calling context graphs and various static and theorem proving based analyses that together provide a powerful method for proving termination of programs written in fea...
140
Voted
JSS
2010
14 years 9 months ago
2010
The formal specification of design patterns is widely recognized as being vital to their effective and correct use in software development. It can clarify the concepts underlying ...