Sciweavers

16091 search results - page 361 / 3219
» Solving
Sort
View
PG
1999
IEEE
15 years 11 months ago
Reconstruction and Simplification of Surfaces from Contours
In this paper we consider the problem of reconstructing triangular surfaces from given contours. An algorithm solving this problem has to decide which contours of two successive s...
Reinhard Klein, Andreas Schilling, Wolfgang Stra&s...
ASYNC
1998
IEEE
100views Hardware» more  ASYNC 1998»
15 years 11 months ago
An Implicit Method for Hazard-Free Two-Level Logic Minimization
None of the available minimizers for exact 2-level hazard-free logic minimization can synthesize very large circuits. This limitation has forced researchers to resort to heuristic...
Michael Theobald, Steven M. Nowick
KI
1999
Springer
15 years 11 months ago
Systematic vs. Local Search for SAT
Abstract. Due to its prominence in artificial intelligence and theoretical computer science, the propositional satisfiability problem (SAT) has received considerable attention in...
Holger H. Hoos, Thomas Stützle
CP
1998
Springer
15 years 11 months ago
Constraints for Object Recognition in Aerial Images - Handling of Unobserved Features
In this paper we will show how constraint solving methods can be applied for the recognition of buildings in aerial images. Object models are transformed to constraint representati...
Thomas H. Kolbe
ICRA
1993
IEEE
184views Robotics» more  ICRA 1993»
15 years 10 months ago
Vision-Guided Exploration: A Step Toward General Motion Planning in Three Dimensions
We present an approach for solving the path planning problem for a mobile robot operating in an unknown, three dimensional environment containing obstacles of arbitrary shape. The...
Kiriakos N. Kutulakos, Vladimir J. Lumelsky, Charl...