10146 search results - page 455 / 2030 » Fast FAST |
213
click to vote
TPHOL
2000
IEEE
15 years 11 months ago
2000
IEEE
Theorem provers for higher-order logics often use tactics to implement automated proof search. Tactics use a general-purpose metalanguage to implement both general-purpose reasonin...
209
click to vote
VLSID
2000
IEEE
15 years 11 months ago
2000
IEEE
Digital images are convenient media for describing and storing spatial, temporal, spectral, and physical components of information contained in a variety of domains(e.g. aerial/sa...
196
click to vote
ACMDIS
2000
ACM
15 years 11 months ago
2000
ACM
In real world development environments where deadlines are fixed, a designer must craft a process that works with the team and within the constraints of a project. The traditional...
208
click to vote
DAC
2000
ACM
15 years 11 months ago
2000
ACM
The decrease in feature size and added chip functionality in large sub-micron integrated circuits demand larger grids for power distribution. Since power grids are performance lim...