1862 search results - page 283 / 373 » General Architecture for Hardware Implementation of Genetic ... |
120
click to vote
CAV
2001
Springer
15 years 7 months ago
2001
Springer
Regular languages have proved useful for the symbolic state exploration of infinite state systems. They can be used to represent infinite sets of system configurations; the tran...
131
Voted
ICECCS
2000
IEEE
15 years 7 months ago
2000
IEEE
This research is part of a project to develop practical, effective, formalizable, automatable techniques for integration testing. Integration testing is an important part of the t...
143
Voted
DATE
2004
IEEE
15 years 7 months ago
2004
IEEE
We propose an algorithm for efficient threshold network synthesis of arbitrary multi-output Boolean functions. The main purpose of this work is to bridge the wide gap that currentl...
110
Voted
3DPVT
2006
IEEE
15 years 9 months ago
2006
IEEE
Applications such as robot navigation and augmented reality require high-accuracy dense disparity maps in real-time and online. Due to time constraint, most realtime stereo applic...
154
click to vote
ICECCS
1996
IEEE
15 years 7 months ago
1996
IEEE
This research is part of a project to develop practical, effective, formalizable, automatable techniques for integration testing. Integration testing is an important part of the t...