510 search results - page 48 / 102 » An Algebraic Framework for Urgency |
144
click to vote
CONCUR
2008
Springer
15 years 8 months ago
2008
Springer
We consider nondeterministic and probabilistic termination problems in a process algebra that is equivalent to basic chemistry. We show that the existence of a terminating computat...
188
click to vote
ICSOC
2010
Springer
15 years 4 months ago
2010
Springer
A key element of any approach to meeting the climate change challenge is the ability to improve operational efficiency in a pervasive fashion. The notion of a business process is a...
131
click to vote
CVPR
2008
IEEE
16 years 8 months ago
2008
IEEE
We present a minimal solution for aligning two images taken by a rotating camera from point correspondences. The solution particularly addresses the case where there is lens disto...
162
click to vote
CDC
2008
IEEE
16 years 24 days ago
2008
IEEE
— This paper studies the coordinated motion of a group of agents evolving on a Lie group. Left- or rightinvariance with respect to the absolute position on the group lead to two ...
165
click to vote
MDM
2005
Springer
15 years 11 months ago
2005
Springer
In this paper we propose a query-driven approach for tuning the time/energy trade-off in sensor networks with mobile sensors. The tuning factors include re-positioning of mobile s...