Sciweavers

12272 search results - page 2038 / 2455
» Experimental program analysis
Sort
View
VR
1999
IEEE
185views Virtual Reality» more  VR 1999»
15 years 11 months ago
Hybrid Inertial and Vision Tracking for Augmented Reality Registration
The biggest single obstacle to building effective augmented reality (AR) systems is the lack of accurate wide-area sensors for trackers that report the locations and orientations ...
Suya You, Ulrich Neumann, Ronald Azuma
ROBOCUP
1999
Springer
107views Robotics» more  ROBOCUP 1999»
15 years 11 months ago
The RoboCup-98 Teamwork Evaluation Session: A Preliminary Report
Abstract. Increasingly, agent teams are used in realistic and complex multiagent environments. In such environments, dynamic and complex changes in the environment require appropri...
Gal A. Kaminka
SCALESPACE
1999
Springer
15 years 11 months ago
Fast Marching to Moving Object Location
In this paper we address two important problems in motion analysis: the detection of moving objects and their localization. Statistical and level set approaches are adopted in orde...
Eftychios Sifakis, George Tziritas
KBSE
1998
IEEE
15 years 11 months ago
Planning Equational Verification in CCS
Most efforts to automate formal verification of communicating systems have centred around finite-state systems (FSSs). However, FSSs are incapable of modelling many practical comm...
Raul Monroy, Alan Bundy, Ian Green
CSCW
1998
ACM
15 years 11 months ago
Using Filtering Agents to Improve Prediction Quality in the GroupLens Research Collaborative Filtering System
Collaborative filtering systems help address information overload by using the opinions of users in a community to make personal recommendations for documents to each user. Many c...
Badrul M. Sarwar, Joseph A. Konstan, Al Borchers, ...
« Prev « First page 2038 / 2455 Last » Next »