3742 search results - page 397 / 749 » On the Use of Formal Techniques for Validation |
182
click to vote
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
— We present a method for topological SLAM that specifically targets loop closing for edge-ordered graphs. Instead of using a heuristic approach to accept or reject loop closing...
158
click to vote
DASFAA
2008
IEEE
16 years 1 months ago
2008
IEEE
The importance of topological relationships between spatial objects is recognized in many disciplines. In the field of spatial databases, topological relationships have played an ...
148
click to vote
ICRA
2008
IEEE
16 years 1 months ago
2008
IEEE
— We present a novel way of modeling wheeled vehicles on outdoor terrains. Adapting concepts from dextrous manipulation, we precisely model the way that three dimensional wheels ...
191
click to vote
AIIA
2007
Springer
16 years 29 days ago
2007
Springer
We present two algorithms for supporting semi-automatic ontology building, integrated in WPro, a new architecture for ontology learning from Web documents. The first algorithm auto...
171
Voted
ISICA
2007
Springer
16 years 28 days ago
2007
Springer
The latent class model or multivariate multinomial mixture is a powerful model for clustering discrete data. This model is expected to be useful to represent non-homogeneous popula...