1738 search results - page 129 / 348 » Local Consistency and SAT-Solvers |
ICRA
2002
IEEE
14 years 3 months ago
2002
IEEE
Detection of obstacles for autonomous vehicles is more difficult when the terrain is not locally planar and remains an open problem. We have developed an approach suited for obsta...
DATE
1999
IEEE
14 years 2 months ago
1999
IEEE
A novel approach to testing sequential circuits that uses multi-level decision diagram representations is introduced. The proposed algorithm consists of a combination of scanning ...
CPM
2006
Springer
14 years 2 months ago
2006
Springer
For two strings a, b, the longest common subsequence (LCS) problem consists in comparing a and b by computing the length of their LCS. In a previous paper, we defined a generalisat...
CAISE
1995
Springer
14 years 1 months ago
1995
Springer
, methods, techniques and tools. High level languages, structured programming, abstract data types, formal methods, non-procedural programming, object orientation, CASE, support en...
ICRA
1995
IEEE
14 years 1 months ago
1995
IEEE
A tractor-trailer robot consists of a carlike tractor towing a passive trailer. Due to its highly nonholonomic nature, the kinematics of this type of robot are complicated and di ...