153
Voted
DGCI
2000
Springer
15 years 7 months ago
2000
Springer
We consider the problem of finding the best match for a given query shape among candidate shapes stored in a shape base. This is central to a wide range of applications, such as, d...
140
Voted
DFT
2000
IEEE
15 years 7 months ago
2000
IEEE
We present a configuration technique for a Large Area Integrated Circuit (LAIC) which is manufactured by wafer stepping. A LAIC consists of four identical subsystems, i.e., a subs...
120
Voted
ECAI
1998
Springer
15 years 7 months ago
1998
Springer
A well-known framework by Fagin, Halpern, Moses and Vardi models knowledge-based agents as \Interpreted Systems". In this paper we analyse a particular class of interpreted sy...
128
Voted
DFT
2000
IEEE
15 years 7 months ago
2000
IEEE
135
Voted
DEXAW
2000
IEEE
15 years 7 months ago
2000
IEEE
While the desire to gain full access to stationary information sources (e.g. the company