4966 search results - page 354 / 994 » its 2010 |
180
click to vote
DIS
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. We propose an association analysis-based strategy for exploration of multi-attribute spatial datasets possessing naturally arising classification. Proposed strategy, EST...
195
click to vote
ICASSP
2010
IEEE
15 years 5 months ago
2010
IEEE
This paper deals with the reconstruction of T1-T2 correlation spectra in Nuclear Magnetic Resonance (NMR) spectroscopy. The ill-posed character of this inverse problem and its lar...
181
click to vote
ICFEM
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Coinduction is a major technique employed to prove behavioral properties of systems, such as behavioral equivalence. Its automation is highly desirable, despite the fact ...
168
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract— Localization in multi-robot systems is a key problem in multi agent systems. In many cases, specially involving legged robots, like the Robocup soccer competition, it r...
174
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
— We propose a 3D obstacle avoidance method for mobile robots. Besides the robot’s 2D laser range finder, a Timeof-Flight camera is used to perceive obstacles that are not in ...