1195 search results - page 168 / 239 » Modeling an Algebraic Stepper |
163
click to vote
LICS
2007
IEEE
16 years 11 days ago
2007
IEEE
Abramsky’s logical formulation of domain theory is extended to encompass the domain theoretic model for picalculus processes of Stark and of Fiore, Moggi and Sangiorgi. This is ...
160
click to vote
STACS
2007
Springer
16 years 5 days ago
2007
Springer
Abstract. In many security protocols, such as group protocols, principals have to perform iterative or recursive computations. We call such protocols recursive protocols. Recently,...
158
click to vote
IROS
2006
IEEE
16 years 3 days ago
2006
IEEE
— This paper presents a parametric approach for tracking piecewise planar scenes with central catadioptric cameras (including perspective cameras). We extend the standard notion ...
166
click to vote
DGCI
2005
Springer
15 years 11 months ago
2005
Springer
Topological invariants are extremely useful in many applications related to digital imaging and geometric modeling, and homology is a classical one, which has not yet been fully e...
139
Voted
ICALP
2004
Springer
15 years 11 months ago
2004
Springer
Abstract We present an analog and machine-independent algebraic characterization of elementarily computable functions over the real numbers in the sense of recursive analysis: we p...