Sciweavers

3614 search results - page 455 / 723
» Image processing and data analysis: The multiscale approach
Sort
View
FMCO
2003
Springer
114views Formal Methods» more  FMCO 2003»
15 years 11 months 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...
DMDW
2001
307views Management» more  DMDW 2001»
15 years 8 months ago
An Analysis of Many-to-Many Relationships Between Fact and Dimension Tables in Dimensional Modeling
Star schema, which maintains one-to-many relationships between dimensions and a fact table, is widely accepted as the most viable data representation for dimensional analysis. Rea...
Il-Yeol Song, William Rowen, Carl Medsker, Edward ...
PAMI
2008
156views more  PAMI 2008»
15 years 6 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...
CHI
2011
ACM
14 years 10 months ago
Characterizing the usability of interactive applications through query log analysis
People routinely rely on Internet search engines to support their use of interactive systems: they issue queries to learn how to accomplish tasks, troubleshoot problems, and other...
Adam Fourney, Richard Mann, Michael Terry
SPIESR
2004
118views Database» more  SPIESR 2004»
15 years 7 months ago
New method for visual descriptor evaluation
Evaluation in visual information retrieval is usually performed by executing test queries and calculating recall and precision based on predefined media collections and ground tru...
Horst Eidenberger