4131 search results - page 50 / 827 » Compactness in Topology and Computation |
206
click to vote
AIML
2008
15 years 3 months ago
2008
This paper presents a survey of topological spatial logics, taking as its point of departure the interpretation of the modal logic S4 due to McKinsey and Tarski. We consider the ef...
113
click to vote
ICCAD
2006
IEEE
15 years 11 months ago
2006
IEEE
Recent successful techniques for the efficient simulation of largescale interconnect models rely on the sparsification of the inverse of the inductance matrix L. While there are...
158
click to vote
SISAP
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract—We propose a strategy to perform query processing on P2P similarity search systems based on peers and superpeers. We show that by approximating global but resumed inform...
120
click to vote
IDEAL
2003
Springer
15 years 7 months ago
2003
Springer
Mining frequent patterns has been a topic of active research because it is computationally the most expensive step in association rule discovery. In this paper, we discuss the use ...
ASPDAC
2007
ACM
15 years 6 months ago
2007
ACM
In today's designs, when functional verification fails, engineers perform debugging using the provided error traces. Reducing the length of error traces can help the debugging...