6293 search results - page 453 / 1259 » Information Flow Testing |
241
click to vote
TCS
2010
15 years 5 months ago
2010
There has been much interest in testing from finite state machines (FSMs) as a result of their suitability for modelling or specifying state-based systems. Where there are multip...
189
click to vote
VRML
2005
ACM
16 years 25 days ago
2005
ACM
In this paper, we present LAMP3D, a system for the locationaware presentation of VRML content on mobile devices. We explore the application of LAMP3D in tourist mobile guides: the...
197
click to vote
KDD
2006
ACM
16 years 7 months ago
2006
ACM
Long-term search history contains rich information about a user's search preferences. In this paper, we study statistical language modeling based methods to mine contextual i...
193
click to vote
ICDE
2006
IEEE
16 years 1 months ago
2006
IEEE
This paper introduces the use of wavelets for information retrieval in a peer-to-peer environment. In order to achieve our purposes, we use a new combination between broadcasting ...
171
click to vote
SIGIR
2004
ACM
16 years 21 days ago
2004
ACM
This paper describes the Patent Retrieval Task in the Fourth NTCIR Workshop, and the test collections produced in this task. We perform the invalidity search task, in which each p...