276 search results - page 47 / 56 » From Model-Checking to Temporal Logic Constraint Solving |
104
click to vote
MICCAI
2008
Springer
16 years 2 months ago
2008
Springer
This paper presents an interactive system for the annotation of brain anatomical structures in Magnetic Resonance Images. The system is based on hybrid knowledge and techniques. Fi...
136
click to vote
ILP
2004
Springer
15 years 6 months ago
2004
Springer
For the last ten years a lot of work has been devoted to propositionalization techniques in relational learning. These techniques change the representation of relational problems t...
134
click to vote
LOPSTR
2005
Springer
15 years 6 months ago
2005
Springer
We propose an extension of functional logic languages that allows the definition of operations with patterns containing other defined operation symbols. Such “function patterns...
125
click to vote
ENTCS
2008
15 years 1 months ago
2008
Most implementations of functional and functional logic languages treat numbers and the basic numeric operations as external entities. The main reason for this is efficiency. Howe...
AMAST
2006
Springer
15 years 3 months ago
2006
Springer
We present DO-Casl, a new member of the CASL family of specification languages. It is an extension of Casl-Ltl and it supports a methodology for conveniently writing loose specific...