4047 search results - page 508 / 810 » Algebraic Model Checking |
171
click to vote
STACS
2007
Springer
16 years 24 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,...
173
click to vote
IROS
2006
IEEE
16 years 21 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 ...
173
click to vote
DGCI
2005
Springer
16 years 6 days 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...
156
click to vote
ICALP
2004
Springer
16 years 2 days 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...
155
click to vote
ISPA
2004
Springer
16 years 1 days ago
2004
Springer
HPL is a parallel Linpack benchmark package widely adopted in massive cluster system performance test. On HPL data layout among processors, a law to determine block size NB theoret...