1702 search results - page 228 / 341 » Using Nondeterminism to Design Efficient Deterministic Algor... |
217
click to vote
ICDE
2001
IEEE
16 years 4 months ago
2001
IEEE
The timestamps of now-relative bitemporal databases are modeled as growing, shrinking, or rectangular regions. The shape of these regions makes it a challenge to design bitemporal...
127
click to vote
ICML
2006
IEEE
16 years 4 months ago
2006
IEEE
Mobile robots often rely upon systems that render sensor data and perceptual features into costs that can be used in a planner. The behavior that a designer wishes the planner to ...
127
Voted
CAV
2007
Springer
15 years 7 months ago
2007
Springer
In automatic software verification, we have observed a theoretical convergence of model checking and program analysis. In practice, however, model checkers are still mostly concern...
126
Voted
COMPGEOM
2000
ACM
15 years 7 months ago
2000
ACM
The purpose of this paper is to present a new method to design exact geometric predicates in algorithms dealing with curved objects such as circular arcs. We focus on the comparis...
128
Voted
IJPP
2008
15 years 3 months ago
2008
We present an approach to the analysis and optimisation of heterogeneous multiprocessor embedded systems. The systems are heterogeneous not only in terms of hardware components, b...