Sciweavers

3941 search results - page 318 / 789
» Computational Efficiency of Batching Methods
Sort
View
ECCV
2008
Springer
16 years 8 months ago
 Tracking of Abrupt Motion using Wang-Landau Monte Carlo Estimation
We propose a novel tracking algorithm based on the Wang-Landau Monte Carlo sampling method which efficiently deals with the abrupt motions. Abrupt motions could cause conventional ...
Junseok Kwon (Seoul National University), Kyoung M...
126
Voted
CVPR
2008
IEEE
16 years 5 months ago
Active microscopic cellular image annotation by superposable graph transduction with imbalanced labels
Systematic content screening of cell phenotypes in microscopic images has been shown promising in gene function understanding and drug design. However, manual annotation of cells ...
Jun Wang, Shih-Fu Chang, Xiaobo Zhou, Stephen T. C...
108
Voted
ICCV
2005
IEEE
16 years 5 months ago
A Spectral Technique for Correspondence Problems Using Pairwise Constraints
We present an efficient spectral method for finding consistent correspondences between two sets of features. We build the adjacency matrix M of a graph whose nodes represent the p...
Marius Leordeanu, Martial Hebert
139
Voted
MHCI
2009
Springer
15 years 10 months ago
Hands on music: physical approach to interaction with digital music
Mobile users listen to large digital music libraries with thousands of songs. Browsing such libraries in mobile contexts is difficult due to constraints of the context and devices...
Janne Bergman, Jarmo Kauko, Jaakko Keränen
144
Voted
FORMATS
2009
Springer
15 years 7 months ago
Stochastic Games for Verification of Probabilistic Timed Automata
Probabilistic timed automata (PTAs) are used for formal modelling and verification of systems with probabilistic, nondeterministic and real-time behaviour. For non-probabilistic ti...
Marta Z. Kwiatkowska, Gethin Norman, David Parker