Sciweavers

614 search results - page 102 / 123
» Robot Navigation Using the Vector Potential Approach
Sort
View
MODELS
2010
Springer
14 years 8 months ago
Automatically Discovering Properties That Specify the Latent Behavior of UML Models
Formal analysis can be used to verify that a model of the system adheres to its requirements. As such, traditional formal analysis focuses on whether known (desired) system propert...
Heather Goldsby, Betty H. C. Cheng
ROBOCUP
2005
Springer
158views Robotics» more  ROBOCUP 2005»
15 years 3 months ago
Dynamic Positioning Based on Voronoi Cells (DPVC)
Abstract. In this paper we are proposing an approach for flexible positioning of players in Soccer Simulation in a Multi-Agent environment. We introduce Dynamic Positioning based ...
HesamAddin Dashti, Nima Aghaeepour, Sahar Asadi, M...
HT
2003
ACM
15 years 2 months ago
Finding the story: broader applicability of semantics and discourse for hypermedia generation
Generating hypermedia presentations requires processing constituent material into coherent, unified presentations. One large challenge is creating a generic process for producing ...
Lloyd Rutledge, Martin Alberink, Rogier Brussee, S...
91
Voted
KI
2002
Springer
14 years 9 months ago
Formal Properties of Constraint Calculi for Qualitative Spatial Reasoning
In the previous two decades, a number of qualitative constraint calculi have been developed, which are used to represent and reason about spatial configurations. A common property...
Bernhard Nebel, Alexander Scivos
ICCV
2007
IEEE
14 years 11 months ago
Ten-fold Improvement in Visual Odometry Using Landmark Matching
Our goal is to create a visual odometry system for robots and wearable systems such that localization accuracies of centimeters can be obtained for hundreds of meters of distance ...
Zhiwei Zhu, Taragay Oskiper, Supun Samarasekera, R...