7335 search results - page 1239 / 1467 » Scene Based Reasoning |
126
click to vote
DAC
1999
ACM
15 years 10 months ago
1999
ACM
At present there are two common types of integrated circuit inductor simulation tools. The first type is based on the Greenhouse methods[1], and obtains a solution in a fraction o...
168
click to vote
DATE
1999
IEEE
15 years 10 months ago
1999
IEEE
If real number calculations are implemented as circuits, only a limited preciseness can be obtained. Hence, formal verification can not be used to prove the equivalence between th...
176
click to vote
SIGCSE
1999
ACM
15 years 10 months ago
1999
ACM
The wide-spread use of microprocessor based systems that utilize cache memory to alleviate excessively long DRAM access times introduces a new dimension in the quest to obtain goo...
161
click to vote
SIGIR
1999
ACM
15 years 10 months ago
1999
ACM
User interfaces for digital libraries tend to focus on retrieval: users retrieve documents online, but then print them out and work with them on paper. One reason for printing doc...
158
click to vote
SIGMOD
1999
ACM
15 years 10 months ago
1999
ACM
Query processing in data integration occurs over network-bound, autonomous data sources. This requires extensions to traditional optimization and execution techniques for three re...