2584 search results - page 312 / 517 » On the Forward Checking Algorithm |
114
Voted
IROS
2007
IEEE
15 years 9 months ago
2007
IEEE
Abstract— We present an efficient algorithm for complete motion planning that combines approximate cell decomposition (ACD) with probabilistic roadmaps (PRM). Our approach uses ...
109
Voted
FASE
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. We present a novel algorithm for interface generation of software components. Given a component, our algorithm uses learning techniques to compute a permissive interface ...
109
Voted
HPCA
2009
IEEE
16 years 3 months ago
2009
IEEE
The verification of an execution against memory consistency is known to be NP-hard. This paper proposes a novel fast memory consistency verification method by identifying a new na...
116
click to vote
PEPM
2010
ACM
15 years 11 months ago
2010
ACM
Pushdown systems are well understood as abstract models of programs with (recursive) procedures. Reps et al. recently extended pushdown systems into weighted pushdown systems, whi...
108
Voted
SCAM
2008
IEEE
15 years 9 months ago
2008
IEEE
Bug-checking tools have been used with some success in recent years to find bugs in software. For finding bugs that can cause security vulnerabilities, bug checking tools requir...