1867 search results - page 154 / 374 » Model-Checking Based Data Retrieval |
236
click to vote
IEEEHPCS
2010
14 years 12 months ago
2010
In September 2009, the Indian Remote Sensing OCEANSAT-2 satellite was launched from Sriharikota (India). Moreover, OCEANSAT-2 carry on-board a third payload, called ROSA (Radio Oc...
111
click to vote
JDM
2000
15 years 4 months ago
2000
Advanced Traveler Information Systems (ATIS) require e cient information retrieval and updating in a dynamic environment at di erent geographical scales. ATIS applications are use...
174
click to vote
KDD
2006
ACM
16 years 5 months ago
2006
ACM
Previous efforts on event detection from the web have focused primarily on web content and structure data ignoring the rich collection of web log data. In this paper, we propose t...
119
click to vote
ICPR
2006
IEEE
16 years 6 months ago
2006
IEEE
In many clustering applications, the user has some vague notion of the number and membership of the desired clusters. However, it is difficult for the user to provide such knowled...
127
click to vote
DASFAA
2009
IEEE
15 years 12 months ago
2009
IEEE
In Deep Web data integration, some Web database interfaces express exclusive predicates of the form Qe = Pi(Pi ∈ P1, P2, . . . , Pm), which permits only one predicate to be selec...