Sciweavers

410 search results - page 54 / 82
» Incremental Construction of Structured Hidden Markov Models
Sort
View
SIGIR
2005
ACM
14 years 4 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
14 years 22 hour 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»
13 years 10 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»
14 years 11 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
14 years 4 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