8746 search results - page 283 / 1750 » Diversifying search results |
146
Voted
KBSE
2003
IEEE
15 years 12 months ago
2003
IEEE
We propose a practical parallel on-the-fly algorithm for enumerative LTL model-checking. The algorithm is designed for a cluster of workstations communicating via MPI. The detect...
145
click to vote
SIGIR
2003
ACM
15 years 12 months ago
2003
ACM
Hierarchies provide a means of organizing, summarizing and accessing information. We describe a method for automatically generating hierarchies from small collections of text, and...
173
click to vote
IV
2000
IEEE
15 years 11 months ago
2000
IEEE
Desktop virtual reality (VR) offers a powerful environment for visualizing structure in large information sets. In well-designed virtual worlds, users can employ skills from wayfi...
205
click to vote
DASFAA
2010
IEEE
15 years 11 months ago
2010
IEEE
xml keyword search provides a simple and user-friendly way of retrieving data from xml databases, but the ambiguities of keywords make it difficult to effectively answer keyword qu...
173
click to vote
ICMCS
1999
IEEE
15 years 11 months ago
1999
IEEE
The Internet plays host to many millions of documents and images and is increasing in size all the time. As a result locating web content is becoming increasingly difficult for us...