2421 search results - page 258 / 485 » Integrity Assurance Technique Using Determinant Approach |
143
Voted
FPL
1999
Springer
15 years 9 months ago
1999
Springer
This paper details the development, implementation, and results of Synthia, a system for the synthesis of Finite State Machines (FSMs) to field-programmable logic. Our approach us...
142
click to vote
FM
2006
Springer
15 years 8 months ago
2006
Springer
Symmetry reduction techniques can help to combat the state space explosion problem for model checking, but are restricted by the hard problem of determining equivalence of states d...
106
click to vote
ICRA
2000
IEEE
15 years 9 months ago
2000
IEEE
This paper deals with an absolute localization paradigm based on the cooperation of an omnidirectional vision system and a low cost panoramic range finder system. These two percep...
144
click to vote
CVPR
2003
IEEE
16 years 6 months ago
2003
IEEE
We present an approach to the recognition of complexshaped objects in cluttered environments based on edge cues. We first use example images of the desired object in typical backg...
143
click to vote
GECCO
2007
Springer
15 years 11 months ago
2007
Springer
Refactoring aims to improve the quality of a software systems’ structure, which tends to degrade as the system evolves. While manually determining useful refactorings can be cha...