1867 search results - page 111 / 374 » Model-Checking Based Data Retrieval |
130
Voted
CIS
2005
Springer
15 years 8 months ago
2005
Springer
Different from familiar clustering objects, text documents have sparse data spaces. A common way of representing a document is as a bag of its component words, but the semantic re...
163
Voted
MM
1993
ACM
15 years 6 months ago
1993
ACM
Abstract–Video-on-demand represents a key demonstrative application for enabling multimedia technology in communication, database, and interface research. This application requir...
134
click to vote
JAIR
2008
15 years 2 months ago
2008
In order for agents to act on behalf of users, they will have to retrieve and integrate vast amounts of textual data on the World Wide Web. However, much of the useful data on the...
152
Voted
QEST
2009
IEEE
15 years 9 months ago
2009
IEEE
—Traviando is a trace analyzer and visualizer for simulation traces of discrete event dynamic systems. In this paper, we briefly outline recent extensions of Traviando towards a...
192
Voted
CAV
2003
Springer
15 years 6 months ago
2003
Springer
odular Abstraction Refinement Thomas A. Henzinger1 , Ranjit Jhala1 , Rupak Majumdar1 , and Shaz Qadeer2 1 University of California, Berkeley 2 Microsoft Research, Redmond Abstract....