1682 search results - page 78 / 337 » Techniques for Automating Distributed Real-Time Applications... |
103
click to vote
ICPP
2008
IEEE
15 years 6 months ago
2008
IEEE
Numerical simulations in computational physics, biology, and finance, often require the use of high quality and efficient parallel random number generators. We design and optimi...
WACV
2002
IEEE
15 years 4 months ago
2002
IEEE
This paper describes design and implementation of a vision based platform for automated refueling tasks. The platform is an autonomous docking system in principle, with the specif...
IUI
2004
ACM
15 years 5 months ago
2004
ACM
Layout refers to the process of determining the size and position of the visual objects in an information presentation. We introduce the WeightMap, a bitmap representation of the ...
78
Voted
ATAL
2007
Springer
15 years 6 months ago
2007
Springer
Collaborative construction is a main application in the field of autonomous systems. An interesting subject in the area is the construction of realistic human-like architecture. ...
ATVA
2004
Springer
15 years 3 months ago
2004
Springer
While model checking suffers from the state space explosion problem, theorem proving is quite tedious and impractical for verifying complex designs. In this work, we present a veri...