2540 search results - page 200 / 508 » Abstract Logics as Dialgebras |
171
click to vote
ECAI
2004
Springer
16 years 10 hour ago
2004
Springer
Abstract. Temporally extended goals are used in planning to express safety and maintenance conditions. Linear temporal logic is the language often used to express temporally extend...
175
click to vote
ECCV
2004
Springer
16 years 10 hour ago
2004
Springer
Abstract. We present a new method for delineating the osseous interface in ultrasound images. Automatic segmentation of the bone-soft tissues interface is achieved by mimicking the...
184
click to vote
ICTAC
2004
Springer
15 years 12 months ago
2004
Springer
Among the possible approaches for expressing real-time problems with the B method, two are dominant : the use of the usual B mechanisms to define temporal constraints on the one h...
194
click to vote
IFIP
2004
Springer
15 years 12 months ago
2004
Springer
Abstract We introduce a generic framework for proof carrying code, developed and mechanically verified in Isabelle/HOL. The framework defines and proves sound a verification con...
162
click to vote
KI
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. The Unification-based Temporal Grammar is a temporal extension of static unification-based grammars. It defines a hierarchical temporal rule language to express comple...