12272 search results - page 2018 / 2455 » Experimental program analysis |
209
click to vote
FMCAD
2004
Springer
16 years 7 days ago
2004
Springer
Most symbolic model checkers are based on either Binary Decision Diagrams (BDDs), which may grow exponentially large, or Satisfiability (SAT) solvers, whose time requirements rapi...
151
click to vote
FPGA
2004
ACM
16 years 7 days ago
2004
ACM
Traditional metrics used to compare hardware designs include area, performance, and power. However, these metrics do not form a complete evaluation of reconfigurable hardware. For...
227
click to vote
ICBA
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. Current appearance-based face recognition system encounters the difficulty to recognize faces with appearance variations, while only a small number of training images are...
187
click to vote
ICCS
2004
Springer
16 years 7 days ago
2004
Springer
FCA has been successfully applied to software engineering tasks such as source code analysis and class hierarchy re-organization. Most notably, FCA hematics behind the mechanism of...
171
click to vote
ICMI
2004
Springer
16 years 6 days ago
2004
Springer
Although gesture recognition has been studied extensively, communicative, affective, and biometrical “utility” of natural gesticulation remains relatively unexplored. One of t...