Sciweavers

2877 search results - page 299 / 576
» The Complexity of Planarity Testing
Sort
View
DATE
2003
IEEE
105views Hardware» more  DATE 2003»
16 years 2 days ago
Detecting Soft Errors by a Purely Software Approach: Method, Tools and Experimental Results
In this paper is described a software technique allowing to detect soft errors occurring in processor-based digital architectures. The detection mechanism is based on a set of rul...
B. Nicolescu, Raoul Velazco
ICDAR
2003
IEEE
16 years 2 days ago
Postal Envelope Segmentation by 2-D Histogram Clustering through Watershed Transform
In this paper we present a new postal envelope segmentation method based on 2-D histogram clustering and watershed transform. Segmentation task consists in detecting the modes ass...
Eduardo Akira Yonekura, Jacques Facon
ICRA
2003
IEEE
110views Robotics» more  ICRA 2003»
16 years 2 days ago
Implementation of multi-rigid-body dynamics within a robotic grasping simulator
Robotic simulation systems allow researchers, engineers, and students to test control algorithms in a safe environment, but until recently these systems only simulated the dynamic...
Andrew T. Miller, Henrik I. Christensen
IPPS
2003
IEEE
16 years 2 days ago
Parallelisation of IBD Computation for Determining Genetic Disease Map
A number of software packages are available for the construction of comprehensive human genetic maps. In this paper we parallelize the widely used package Genehunter. We restrict ...
Nouhad J. Rizk
COCO
2003
Springer
102views Algorithms» more  COCO 2003»
16 years 20 hour ago
Memoization and DPLL: Formula Caching Proof Systems
A fruitful connection between algorithm design and proof complexity is the formalization of the ¤¦¥¨§©§ approach to satisfiability testing in terms of tree-like resolution...
Paul Beame, Russell Impagliazzo, Toniann Pitassi, ...