195 search results - page 24 / 39 » Process Algebra with Nonstandard Timing |
111
Voted
TGC
2007
Springer
15 years 8 months ago
2007
Springer
Many techniques exist for statically computing properties of the evolution of processes expressed in process algebras. Static analysis has shown how to obtain useful results that c...
133
Voted
CONCUR
2009
Springer
15 years 9 months ago
2009
Springer
Bisimulation equivalence is decidable in polynomial time for both sequential and commutative normed context-free processes, known as BPA and BPP, respectively. Despite apparent sim...
111
click to vote
GLOBAL
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. Global computing applications co-ordinate distributed computations across widely-dispersed hosts. Such systems present formidable design and implementation challenges to ...
109
click to vote
3DIM
1999
IEEE
15 years 6 months ago
1999
IEEE
In this paper, we address the problem of hand-eye calibration of a robot mounted video camera. In a rst time, we derive a new linear formulation of the problem. This allows an alg...
107
Voted
ESA
2006
Springer
15 years 6 months ago
2006
Springer
We design compact and responsive kinetic data structures for detecting collisions between n convex fat objects in 3-dimensional space that can have arbitrary sizes. Our main result...