Sciweavers

613 search results - page 85 / 123
» Executable Visual Contracts
Sort
View
IJRR
2002
105views more  IJRR 2002»
13 years 9 months ago
Computing Wrench Cones for Planar Rigid Body Contact Tasks
The contribution of this paper is the expansion of the range of possibilities in the analysis, planning, and control of contact tasks. The successful execution of any contact task...
Devin J. Balkcom, Jeffrey C. Trinkle
VISUALIZATION
1997
IEEE
14 years 2 months ago
ROAMing terrain: real-time optimally adapting meshes
Terrain visualization is a difficult problem for applications requiring accurate images of large datasets at high frame rates, such as flight simulation and ground-based aircraf...
Mark A. Duchaineau, Murray Wolinsky, David E. Sige...
BXML
2004
13 years 11 months ago
Ontology-derived Activity Components for Composing Travel Web Services
: In this paper we present our ongoing work in creating a semantic Web service composition and execution framework. The efforts described are undertaken in the context of the SATIN...
Matthias Flügge, Diana Tourtchaninova
IROS
2009
IEEE
178views Robotics» more  IROS 2009»
14 years 4 months ago
Mobile robots for offshore inspection and manipulation
— This paper analyzes the potential to apply mobile service robots in offshore oil and gas producing environments. The required hardware and software components and abilities of ...
Matthias Bengel, Kai Pfeiffer, Birgit Graf, Alexan...
RTAS
2007
IEEE
14 years 4 months ago
Stochastic Metrics for Debugging the Timing Behaviour of Real-Time Systems
Stochastic analysis techniques for real-time systems model the execution time of tasks as random variables. These techniques constitute a very powerful tool to study the behaviour...
Joaquín Entrialgo, Javier García, Jo...