1738 search results - page 127 / 348 » Local Consistency and SAT-Solvers |
130
click to vote
ICSE
2008
IEEE-ACM
16 years 5 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...
161
click to vote
ICDAR
2009
IEEE
16 years 15 days 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...
136
click to vote
IROS
2008
IEEE
16 years 4 days 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...
150
click to vote
CRV
2006
IEEE
15 years 11 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,...
135
click to vote
ICRA
2006
IEEE
15 years 11 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...