510 search results - page 48 / 102 » An Algebraic Framework for Urgency |
154
Voted
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...
192
click to vote
ICSOC
2010
Springer
15 years 5 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...
139
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...
171
click to vote
CDC
2008
IEEE
16 years 1 months 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 ...
183
click to vote
MDM
2005
Springer
16 years 5 days 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...