Sciweavers

993 search results - page 94 / 199
» Some Real Experiences in Developing Virtual Environments
Sort
View
133
Voted
ENTCS
2008
94views more  ENTCS 2008»
15 years 3 months ago
A Formal Model of Memory Peculiarities for the Verification of Low-Level Operating-System Code
This paper presents our solutions to some problems we encountered in an ongoing attempt to verify the micro-hypervisor currently developed within the Robin project. The problems t...
Hendrik Tews, Tjark Weber, Marcus Völp
108
Voted
ICRA
2005
IEEE
101views Robotics» more  ICRA 2005»
15 years 9 months ago
Near Time-optimal Constrained Trajectory Planning on Outdoor Terrain
— We present an outdoor terrain planner that finds near optimal trajectories under dynamic and kinematic constraints. The planner can find solutions in close to real time by re...
Marin Kobilarov, Gaurav S. Sukhatme
113
Voted
APSEC
2008
IEEE
15 years 10 months ago
Management of Composites in Software Engineering Environments
Design and development scalability, in any engineering, requires information hiding and a specific composition mechanism in which composite items are made-up of other items. This ...
Jacky Estublier, Germán Vega, Thomas Levequ...
138
Voted
VR
2010
IEEE
154views Virtual Reality» more  VR 2010»
15 years 2 months ago
On error bound estimation for motion prediction
A collaborative virtual environment (CVE) allows remote users to access and modify shared data through networks, such as the Internet. However, when the users are connected via th...
Rynson W. H. Lau, Kenneth Lee
108
Voted
ESWS
2007
Springer
15 years 9 months ago
Real-World Reasoning with OWL
Abstract. This work is motivated by experiences in the course of developing an ontology-based application within a real-world setting. We found out that current benchmarks are not ...
Timo Weithöner, Thorsten Liebig, Marko Luther...