1738 search results - page 127 / 348 » Local Consistency and SAT-Solvers |
ICSE
2008
IEEE-ACM
14 years 10 months ago
2008
IEEE-ACM
CODECITY is a language-independent interactive 3D visualization tool for the analysis of large software systems. Using a city metaphor, it depicts classes as buildings and package...
ICDAR
2009
IEEE
14 years 5 months ago
2009
IEEE
In this paper, a new threshold correction method for document image binarization that is forcused on ruled-line extraction is presented. This method enhances the binary image of a...
IROS
2008
IEEE
14 years 4 months ago
2008
IEEE
Abstract— In this paper the flocking problem for a multirobot system, consisting in making the robots of a team grouping together, is addressed. The flocking is achieved resort...
CRV
2006
IEEE
14 years 4 months ago
2006
IEEE
A method is proposed to detect multi-part man-made or natural objects in complex images. It consists in first extracting simple curves and straight lines from the edge map. Then,...
ICRA
2006
IEEE
14 years 4 months ago
2006
IEEE
Abstract— We describe how a graph grammar program for robotic self-assembly, together with measurements of kinetic rate data yield a Markov Process model of the dynamics of progr...