4306 search results - page 676 / 862 » Timed Testing with TorX |
141
click to vote
ECRTS
2000
IEEE
15 years 7 months ago
2000
IEEE
This paper describes a methodology for the development of real-time systems and shows its application to the modeling, analysis and implementation of distributed multimedia system...
139
click to vote
ICPADS
2000
IEEE
15 years 7 months ago
2000
IEEE
The most costly spatial operation in spatial databases is a spatial join with combines objects from two data sets based on spatial predicates. Even if the execution time of sequen...
103
click to vote
ICPR
2000
IEEE
15 years 7 months ago
2000
IEEE
Methods for automatic detection of left ventricular endocardium in echocardiograms are required to quantitatively evaluate the functional performance of the left ventricle. This s...
114
click to vote
ICRA
2000
IEEE
15 years 7 months ago
2000
IEEE
In this paper we consider the problem of exploring an unknown environment by a team of robots. As in single-robot exploration the goal is to minimize the overall exploration time....
114
click to vote
ICRA
2000
IEEE
15 years 7 months ago
2000
IEEE
This paper presents a randomized motion planner for kinodynamic asteroidavoidanceproblems, in which a robot must avoid collision with moving obstacles under kinematic, dynamic con...