2291 search results - page 12 / 459 » Representational Reasoning and Verification |
MCS
2010
Springer
13 years 9 months ago
2010
Springer
Abstract. Although widely used to reduce error rates of difficult pattern recognition problems, multiple classifier systems are not in widespread use in off-line signature verifica...
AAI
2007
13 years 7 months ago
2007
Multi-representation reasoning processes often show a variety of reasoning paths that can be followed. To analyse such reasoning processes with special attention for differences b...
CAV
2008
Springer
13 years 9 months ago
2008
Springer
Power gating is a technique for low power design in which whole sections of the chip are powered off when they are not needed, and powered back on when they are. Functional correct...
ESOP
2010
Springer
14 years 4 months ago
2010
Springer
Abstract. Embedded information assurance applications that are critical to national and international infrastructures, must often adhere to certification regimes that require infor...
DAGSTUHL
2007
13 years 9 months ago
2007