2940 search results - page 3 / 588 » Relational Parametricity and Control |
CDC
2008
IEEE
15 years 4 months ago
2008
IEEE
— The paper studies the visibility maintenance problem (VMP) for a leader-follower pair of robots modelled as first-order dynamic systems and proposes an original solution based...
ECCV
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We propose an efficient alignment method for textured DooSabin subdivision surface templates. A variation of the inverse compositional image alignment is derived by intro...
CORR
2010
Springer
14 years 9 months ago
2010
Springer
The paper studies the visibility maintenance problem (VMP) for a leader-follower pair of robots modelled as first-order dynamic systems and proposes an original solution based on t...
TLDI
2009
ACM
15 years 6 months ago
2009
ACM
We present a possible world semantics for a call-by-value higherorder programming language with impredicative polymorphism, general references, and recursive types. The model is o...
FOSSACS
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. Separation logic is a recent extension of Hoare logic for reasoning about programs with references to shared mutable data structures. In this paper, we provide a new inte...