2586 search results - page 160 / 518 » Automatic Abstraction for Congruences |
CODES
1997
IEEE
15 years 2 months ago
1997
IEEE
The Pia hardware-software co-simulator provides substantial speedups over traditional co-simulation methods by permitting dynamic changes in the level of detail when simulating co...
122
click to vote
DAC
1997
ACM
15 years 2 months ago
1997
ACM
Abstract—We present the Instruction Set Description Language, ISDL, a machine description language used to describe target architectures to a retargetable compiler. The features ...
VLDB
1993
ACM
15 years 2 months ago
1993
ACM
Abstract. We show that production rules and persistent queues together provide a convenient mechanism for maintaining consistency in semantically heterogeneous multidatabase enviro...
89
Voted
ACII
2007
Springer
15 years 2 months ago
2007
Springer
Abstract. The largest part of the advertising market is already electronic. This means there is an opportunity for automatizing some of the production processes, such as producing ...
91
Voted
CIVR
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. We combine in this paper automatic learning of a large lexicon of semantic concepts with traditional video retrieval methods into a novel approach to narrow the semantic ...