315 search results - page 52 / 63 » Parametric real-time reasoning |
ECCV
2006
Springer
14 years 11 months ago
2006
Springer
Abstract. We address the problem of comparing sets of images for object recognition, where the sets may represent arbitrary variations in an object's appearance due to changin...
WWW
2006
ACM
14 years 10 months ago
2006
ACM
In this paper we describe an approach for the verification of Web service compositions defined by sets of BPEL processes. The key aspect of such a verification is the model adopte...
CDC
2008
IEEE
14 years 4 months ago
2008
IEEE
— The voice-coil-motor is a widely used mechatronic device, which represents a typical electrodynamic actuator for machine tool axes, bonding machines and hydraulic/pneumatic val...
PPDP
2007
Springer
14 years 3 months ago
2007
Springer
We describe a semantic type soundness result, formalized in the Coq proof assistant, for a compiler from a simple imperative language with heap-allocated data into an idealized as...
TARK
2005
Springer
14 years 3 months ago
2005
Springer
Two natural strategy elimination procedures have been studied for strategic games. The first one involves the notion of (strict, weak, etc) dominance and the second the notion of...