Sciweavers

410 search results - page 54 / 82
» Incremental Construction of Structured Hidden Markov Models
Sort
View
SIGIR
2005
ACM
15 years 7 months ago
Combining eye movements and collaborative filtering for proactive information retrieval
We study a new task, proactive information retrieval by combining implicit relevance feedback and collaborative filtering. We have constructed a controlled experimental setting, ...
Kai Puolamäki, Jarkko Salojärvi, Eerika ...
IJCAI
2003
15 years 3 months ago
Formal Verification of Diagnosability via Symbolic Model Checking
This paper addresses the formal verification of diagnosis systems. We tackle the problem of diagnosability: given a partially observable dynamic system, and a diagnosis system obs...
Alessandro Cimatti, Charles Pecheur, Roberto Cavad...
JCP
2006
111views more  JCP 2006»
15 years 1 months ago
Mining Developing Trends of Dynamic Spatiotemporal Data Streams
This paper1 presents an efficient modeling technique for data streams in a dynamic spatiotemporal environment and its suitability for mining developing trends. The streaming data a...
Yu Meng, Margaret H. Dunham
KDD
2006
ACM
156views Data Mining» more  KDD 2006»
16 years 2 months ago
Unsupervised learning on k-partite graphs
Various data mining applications involve data objects of multiple types that are related to each other, which can be naturally formulated as a k-partite graph. However, the resear...
Bo Long, Xiaoyun Wu, Zhongfei (Mark) Zhang, Philip...
CCS
2005
ACM
15 years 7 months ago
Keyboard acoustic emanations revisited
We examine the problem of keyboard acoustic emanations. We present a novel attack taking as input a 10-minute sound recording of a user typing English text using a keyboard, and t...
Li Zhuang, Feng Zhou, J. D. Tygar