276 search results - page 27 / 56 » New Dynamic SPT Algorithm Based on a Ball-and-String Model |
91
Voted
ICCAD
2010
IEEE
14 years 8 months ago
2010
IEEE
State-based model checking methods comprise computing and storing reachable states, while stateless model checking methods directly reason about reachable paths using decision proc...
KDD
2005
ACM
15 years 10 months ago
2005
ACM
In this paper, we propose a new way to automatically model and predict human behavior of receiving and disseminating information by analyzing the contact and content of personal c...
CP
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. AND/OR search spaces have recently been introduced as a unifying paradigm for advanced algorithmic schemes for graphical models. The main virtue of this representation is...
CG
2008
Springer
15 years 6 days ago
2008
Springer
Whole-History Rating (WHR) is a new method to estimate the time-varying strengths of players involved in paired comparisons. Like many variations of the Elo rating system, the whol...
98
Voted
ICRA
2007
IEEE
15 years 4 months ago
2007
IEEE
Abstract— In this paper, simultaneous localisation and mapping (SLAM) is combined with landmark recognition to close large loops in unstructured, outdoor environments. Camera and...