2573 search results - page 455 / 515 » Combinations of Modal Logics |
160
click to vote
ICTAI
2002
IEEE
15 years 9 months ago
2002
IEEE
This paper addresses the issue of effective and efficient content based image retrieval by presenting a novel indexing and retrieval methodology that integrates color, texture, an...
139
click to vote
IPPS
2002
IEEE
15 years 9 months ago
2002
IEEE
Distributed Computing, the exploitation of idle cycles on pervasive desktop PC systems offers the opportunity to increase the available computing power by orders of magnitude (10x...
137
click to vote
DATE
2000
IEEE
15 years 8 months ago
2000
IEEE
The Boolean satisfiability problem (SAT) has various applications in electronic design automation (EDA) fields such as testing, timing analysis and logic verification. SAT has bee...
110
click to vote
ITC
2000
IEEE
15 years 8 months ago
2000
IEEE
A common approachfor large industrial designs is to use logic built-in self-test (LBIST)followed by test data from an external tester. Because the fault coverage with LBIST alone ...
136
Voted
AMAST
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. Algebraic compilers provide a powerful and convenient mechanism for specifying language translators. With each source language operation one associates a computation for ...