Sciweavers

2365 search results - page 77 / 473
» Computing a Representation of the Local Environment
Sort
View
IJCAI
2003
15 years 6 months ago
Integrity and Change in Modular Ontologies
The benefits of modular representations arc well known from many areas of computer science. In this paper, we concentrate on the benefits of modular ontologies with respect to loc...
Heiner Stuckenschmidt, Michel C. A. Klein
130
Voted
CADE
2006
Springer
15 years 8 months ago
Interpolation in Local Theory Extensions
In this paper we study interpolation in local extensions of a base theory. We identify situations in which it is possible to obtain interpolants in a hierarchical manner, by using ...
Viorica Sofronie-Stokkermans
CAD
2004
Springer
15 years 4 months ago
Local topological beautification of reverse engineered models
Boundary representation models reconstructed from 3D range data suffer from various inaccuracies caused by noise in the data and by numerical errors in the model building software...
C. H. Gao, Frank C. Langbein, A. David Marshall, R...
144
Voted
CANDC
2009
ACM
15 years 8 months ago
Computational and cognitive infrastructures of stigma: empowering identity in social computing and gaming
Computing technologies such as games, social networking sites, and virtual environments often reproduce forms of social stigma encountered in everyday real life, as well as introd...
D. Fox Harrell
ICRA
2000
IEEE
136views Robotics» more  ICRA 2000»
15 years 9 months ago
Recent Progress in Local and Global Traversability for Planetary Rovers
Autonomous planetary rovers operating in vast unknown environments must operate efficiently because of size, power and computing limitations. Recently, we have developed a rover c...
Sanjiv Singh, Reid G. Simmons, Trey Smith, Anthony...