9145 search results - page 1474 / 1829 » Description Logic Systems |
175
click to vote
ISCAS
2005
IEEE
16 years 12 days ago
2005
IEEE
Abstract — FPGAs offer excellent platform for System-onChips consisting of Intellectual Property (IP) blocks. The problem is that IP blocks and their interconnections are often F...
196
click to vote
KBSE
2005
IEEE
16 years 12 days ago
2005
IEEE
We present a new model checking algorithm for verifying computation tree logic (CTL) properties. Our technique is based on using language inference to learn the fixpoints necessar...
177
click to vote
FPL
2005
Springer
16 years 10 days ago
2005
Springer
Dynamically reconfigurable logic is becoming an important design unit in SoC system. A method to make the reconfiguration management transparent to software applications is requir...
161
click to vote
FSKD
2005
Springer
16 years 10 days ago
2005
Springer
Although many systems exist for automatic classification of faces according to their emotional expression, these systems do not explicitly estimate the strength of given expression...
163
click to vote
PPDP
2005
Springer
16 years 9 days ago
2005
Springer
Type checking and type inference are fundamentally similar problems. However, the algorithms for performing the two operations, on the same type system, often differ significant...