Sciweavers

3174 search results - page 233 / 635
» An Exploration of the Permanent-Determinant Method
Sort
View
IROS
2008
IEEE
151views Robotics» more  IROS 2008»
16 years 1 months ago
Transition-based RRT for path planning in continuous cost spaces
This paper presents a new method called Transition-based RRT (T-RRT) for path planning problems in continuous cost spaces. It combines the exploration strength of the RRT algorith...
Leonard Jaillet, Juan Cortés, Thierry Sim&e...
ICRA
2007
IEEE
122views Robotics» more  ICRA 2007»
16 years 29 days ago
Exploiting the Information at the Loop Closure in SLAM
— This paper presents two methods able to exploit the information at the loop closure in the SLAM problem. Both methods have three fundamental advantages. The first one is that ...
Agostino Martinelli, Roland Siegwart
CAV
2007
Springer
110views Hardware» more  CAV 2007»
16 years 25 days ago
Hector: Software Model Checking with Cooperating Analysis Plugins
We present Hector, a software tool for combining different abstraction methods to extract sound models of heap-manipulating imperative programs with recursion. Extracted models ma...
Nathaniel Charlton, Michael Huth
CIARP
2007
Springer
16 years 25 days ago
Dynamic Penalty Based GA for Inducing Fuzzy Inference Systems
Abstract. Fuzzy based models have been used in many areas of research. One issue with these models is that rule bases have the potential for indiscriminant growth. Inference system...
Tomás Arredondo Vidal, Félix V&aacut...
ECML
2007
Springer
16 years 25 days ago
Spectral Clustering and Embedding with Hidden Markov Models
Abstract. Clustering has recently enjoyed progress via spectral methods which group data using only pairwise affinities and avoid parametric assumptions. While spectral clustering ...
Tony Jebara, Yingbo Song, Kapil Thadani