Sciweavers

6660 search results - page 746 / 1332
» Data Analysis for Query Processing
Sort
View
FMCO
2003
Springer
114views Formal Methods» more  FMCO 2003»
16 years 13 days ago
Synchronous Closing and Flow Analysis for Model Checking Timed Systems
Abstract. Formal methods, in particular model checking, are increasingly accepted as integral part of system development. With large software systems beyond the range of fully auto...
Natalia Ioustinova, Natalia Sidorova, Martin Steff...
DMIN
2006
122views Data Mining» more  DMIN 2006»
15 years 8 months ago
Cost-Sensitive Analysis in Multiple Time Series Prediction
- In this paper we propose a new methodology for Cost-Benefit analysis in a multiple time series prediction problem. The proposed model is evaluated in a real world application bas...
Chamila Walgampaya, Mehmed M. Kantardzic
PAMI
2008
156views more  PAMI 2008»
15 years 7 months ago
Tied Factor Analysis for Face Recognition across Large Pose Differences
Face recognition algorithms perform very unreliably when the pose of the probe face is different from the gallery face: typical feature vectors vary more with pose than with identi...
Simon J. D. Prince, James H. Elder, Jonathan Warre...
CIVR
2006
Springer
143views Image Analysis» more  CIVR 2006»
15 years 11 months ago
Asymmetric Learning and Dissimilarity Spaces for Content-Based Retrieval
Abstract. This paper presents novel dissimilarity space specially designed for interactive multimedia retrieval. By providing queries made of positive and negative examples, the go...
Eric Bruno, Nicolas Moënne-Loccoz, Sté...
BIOCOMP
2009
15 years 8 months ago
Monitoring Influenza Trends through Mining Social Media
Analysis of Google Influenza-like-illness (ILI) search queries has shown a strongly correlated pattern with Center for Disease Control and Prevention seasonal ILI reporting data. W...
Courtney Corley, Armin R. Mikler, Karan P. Singh, ...