858 search results - page 97 / 172 » An Efficient Spatial Search Method Based on SG-Tree |
176
click to vote
HICSS
2005
IEEE
15 years 12 months ago
2005
IEEE
The goal of a Public-Key-Infrastructure (PKI) is to prove whether a cryptographic public key is authentic for a certain user. This information is crucial for the reliability of as...
140
click to vote
ICCD
1994
IEEE
15 years 10 months ago
1994
IEEE
Systems for multi-level logic optimization are usually based on a set of specialized, loosely-related transformations which work on a network representation. The sequence of trans...
159
click to vote
HICSS
1994
IEEE
15 years 10 months ago
1994
IEEE
We are developing a new problem-solving methodology based on a self-organization paradigm. To realize our future goal of self-organizing computational systems, we have to study co...
179
click to vote
FMCAD
2004
Springer
15 years 10 months ago
2004
Springer
This work presents a memory-efficient All-SAT engine which, given a propositional formula over sets of important and non-important variables, returns the set of all the assignments...
146
click to vote
WWW
2001
ACM
16 years 7 months ago
2001
ACM
Current methods for finding relevant content, especially in media-rich web environments, suggest that metadata is critical for accurate and efficient information retrieval. We des...