Sciweavers

2702 search results - page 172 / 541
» Requirements Processes: An Experience Report
Sort
View
AAAI
2010
15 years 8 months ago
Error Aware Monocular Visual Odometry using Vertical Line Pairs for Small Robots in Urban Areas
We report a new error-aware monocular visual odometry method that only uses vertical lines, such as vertical edges of buildings and poles in urban areas as landmarks. Since vertic...
Ji Zhang, Dezhen Song
SIGOPS
2008
141views more  SIGOPS 2008»
15 years 6 months ago
Using model checkers in an introductory course on operating systems
During the last three years, we have been experimenting with the use of the Uppaal model checker in an introductory course on operating systems for first-year Computer Science stu...
Roelof Hamberg, Frits W. Vaandrager
FUN
2010
Springer
306views Algorithms» more  FUN 2010»
15 years 11 months ago
Leveling-Up in Heroes of Might and Magic III
We propose a model for level-ups in Heroes of Might and Magic III, and give an O 1 ε2 ln 1 δ learning algorithm to estimate the probabilities of secondary skills induced by any ...
Dimitrios I. Diochnos
ITS
1992
Springer
152views Multimedia» more  ITS 1992»
15 years 10 months ago
People Power: A Human-Computer Collaborative Learning System
Abstract. This paper reports our research work in the new field of humancomputer collaborative learning (HCCL). The general architecture of an HCCL is defined. An HCCL system, call...
Pierre Dillenbourg, John A. Self
VISSYM
2004
15 years 8 months ago
Medical Applications of Multi-field Volume Rendering and VR Techniques
This paper reports on a new approach for visualizing multi-field MRI or CT datasets in an immersive environment with medical applications. Multi-field datasets combine multiple sc...
Joe Kniss, Jürgen P. Schulze, Uwe Wössne...