933 search results - page 55 / 187 » Extending Forward Checking |
102
click to vote
SIGSOFT
2003
ACM
15 years 7 months ago
2003
ACM
Model checking and other finite-state analysis techniques have been very successful when used with hardware systems and less successful with software systems. It is especially di...
121
Voted
ICRA
2002
IEEE
15 years 7 months ago
2002
IEEE
Abstract— This paper presents some recent developments of the LAAS architecture for autonomous mobile robots. In particular, we specify the role of the Execution Control level of...
110
click to vote
SFP
2000
15 years 3 months ago
2000
: We describe an algorithm approximatingthe following question: Given two types t1 and t2, are there instances (t1) and (t2) denoting a common element? By answering this question w...
TIP
1998
15 years 2 months ago
1998
— In this correspondence, we present a general recursive approach for image segmentation by extending Otsu’s method. The new approach has been implemented in the scope of docum...
131
Voted
CVPR
1997
IEEE
16 years 4 months ago
1997
IEEE
We propose a new machine learning paradigm called Graph Transformer Networks that extends the applicability of gradient-based learning algorithms to systems composed of modules th...