734 search results - page 28 / 147 » Undecidability over Continuous Time |
172
click to vote
PRDC
2007
IEEE
16 years 5 days ago
2007
IEEE
Consensus is one of the most fundamental problems in fault-tolerant distributed computing. This paper proposes a mechanical method for analyzing the condition that allows one to s...
189
click to vote
CIKM
2011
Springer
14 years 5 months ago
2011
Springer
A continuous top-k query retrieves the k most preferred objects in a data stream according to a given preference function. These queries are important for a broad spectrum of appl...
121
click to vote
ICRA
2006
IEEE
15 years 12 months ago
2006
IEEE
— As mobile robots become increasingly autonomous over extended periods of time, opportunities arise for their use on repetitive tasks. We define and implement behaviors for a c...
300
click to vote
Publication
Location-aware environments are characterized by a large number of objects and a large number of continuous queries. Both the objects and continuous queries may change their locati...
155
click to vote
IPPS
2003
IEEE
15 years 11 months ago
2003
IEEE
Over the past several decades, the compiler research community has developed a number of sophisticated and powerful algorithms for a varierty of code improvements. While there are...