22909 search results - page 4192 / 4582 » A System of Interaction and Structure |
215
click to vote
AGP
1999
IEEE
15 years 12 months ago
1999
IEEE
Disunification is the problem of deciding satisfiability of a system of equations and disequations with respect to a given equational theory. In this paper we study the disunifica...
219
click to vote
DAC
1999
ACM
15 years 12 months ago
1999
ACM
This paper presents a new algorithm for exact estimation of the minimum memory size required by programs dealing with array computations. Memory size is an important factor a ecti...
187
click to vote
FCCM
1999
IEEE
15 years 12 months ago
1999
IEEE
Technology scaling of CMOS processes brings relatively faster transistors (gates) and slower interconnects (wires), making viable the addition of reconfigurability to increase per...
213
click to vote
SIGCSE
1999
ACM
15 years 12 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...
230
click to vote
SIGIR
1999
ACM
15 years 12 months ago
1999
ACM
The fast growth of multimedia information in image and video databases has triggered research on efficient retrieval methods. This paper deals with structural queries, a type of c...