Sciweavers

13489 search results - page 2465 / 2698
» Self-migration of operating systems
Sort
View
ICDAR
2009
IEEE
16 years 1 months ago
Text Line Segmentation Based on Morphology and Histogram Projection
Text extraction is an important phase in document recognition systems. In order to segment text from a page document it is necessary to detect all the possible manuscript text reg...
Rodolfo P. dos Santos, Gabriela S. Clemente, Ing R...
SIBGRAPI
2009
IEEE
16 years 1 months ago
Scale-Space for Union of 3D Balls
Shape discretization through union of weighted points or balls appears as a common representation in different fields of computer graphics and geometric modeling. Among others, it...
Alex Laier Bordignon, Betina Vath, Thales Vieira, ...
KBSE
2009
IEEE
16 years 1 months ago
SMT-Based Bounded Model Checking for Embedded ANSI-C Software
Propositional bounded model checking has been applied successfully to verify embedded software but is limited by the increasing propositional formula size and the loss of structur...
Lucas Cordeiro, Bernd Fischer, João Marques...
ICEIS
2009
IEEE
16 years 1 months ago
Collaborative, Participative and Interactive Enterprise Modeling
Enterprise modeling is a daunting task to be carried out from a single perspective. A challenge to this whole complexity is conflicting descriptions given by different actors when ...
Joseph Barjis
ICRA
2009
IEEE
185views Robotics» more  ICRA 2009»
16 years 1 months ago
Ad-hoc wireless network coverage with networked robots that cannot localize
— We study a fully distributed, reactive algorithm for deployment and maintenance of a mobile communication backbone that provides an area around a network gateway with wireless ...
Nikolaus Correll, Jonathan Bachrach, Daniel Vicker...
« Prev « First page 2465 / 2698 Last » Next »