5550 search results - page 739 / 1110 » Different Approaches to Proof Systems |
177
click to vote
ICMCS
2006
IEEE
16 years 1 months ago
2006
IEEE
Three-dimensional data generated from range scanners is usually composed of a huge amount of information. Simplification and compression techniques must be adopted in order to red...
182
click to vote
IJCNN
2006
IEEE
16 years 1 months ago
2006
IEEE
— Handling catastrophic forgetting is an interesting and challenging topic in modeling the memory mechanisms of the human brain using machine learning models. From a more general...
194
click to vote
IROS
2006
IEEE
16 years 1 months ago
2006
IEEE
- This paper introduces a new perceptual model for Monte Carlo Localization (MCL). In our approach a 3D laser scanner is used to observe the ceiling. The MCL matches ceiling struct...
170
click to vote
IROS
2006
IEEE
16 years 1 months ago
2006
IEEE
— Extended range telepresence allows a human user to intuitively teleoperate a mobile robot through arbitrarily large remote environments by natural walking. In order to give the...
153
click to vote
IWPC
2006
IEEE
16 years 1 months ago
2006
IEEE
Gaining an overview of the concepts represented in large programs is very demanding as multiple dimensions of knowledge appear at different abstraction levels throughout the sourc...