13841 search results - page 2342 / 2769 » Algorithms and Constraint Programming |
171
click to vote
AADEBUG
2005
Springer
15 years 10 months ago
2005
Springer
AMPLE locates likely failure-causing classes by comparing method call sequences of passing and failing runs. A difference in method call sequences, such as multiple deallocation ...
167
click to vote
AVBPA
2005
Springer
15 years 10 months ago
2005
Springer
This paper presents a 3D face recognition system based on geometrically localized facial features. We propose the feature extraction procedure using the geometrical characteristics...
178
Voted
CMMR
2005
Springer
15 years 10 months ago
2005
Springer
The pureCMusic (pCM++) framework gives the possibility to write a piece of music in terms of an algorithmic-composition-based program -also controlled by data streaming from extern...
167
click to vote
COCO
2005
Springer
15 years 10 months ago
2005
Springer
Refereed games are interactive proof systems with two competing provers: one that tries to convince the verifier to accept and another that tries to convince the verifier to rej...
143
click to vote
FPGA
2005
ACM
15 years 10 months ago
2005
ACM
We present an automatic logic synthesis method targeted for highperformance asynchronous FPGA (AFPGA) architectures. Our method transforms sequential programs as well as high-leve...