1412 search results - page 272 / 283 » types 2004 |
154
click to vote
DATE
2004
IEEE
15 years 8 months ago
2004
IEEE
Code optimization and high level synthesis can be posed as constraint satisfaction and optimization problems, such as graph coloring used in register allocation. Graph coloring is...
138
click to vote
DIAL
2004
IEEE
15 years 8 months ago
2004
IEEE
Document storage and retrieval capabilities of the CEDAR-FOX forensic handwritten document examination system are described. The system is designed for automated and semi-automate...
148
click to vote
ECAI
2004
Springer
15 years 8 months ago
2004
Springer
We describe a flexible approach to automated reasoning, where non-theorems can be automatically altered to produce proved results which are related to the original. This is achieve...
145
click to vote
ECCV
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Assessing the matching error rates of a biometric identification devices is integral to understanding its performance. Here we propose and evaluate several methods for cr...
168
click to vote
FCCM
2004
IEEE
15 years 8 months ago
2004
IEEE
Dynamically reconfigurable architectures or systems are able to reconfigure their function and/or structure to suit changing needs of a computation during run time. The increasing...