Sciweavers

3864 search results - page 461 / 773
» time 2005
Sort
View
QEST
2005
IEEE
16 years 10 days ago
iLTLChecker: A Probabilistic Model Checker for Multiple DTMCs
iLTL is a probabilistic temporal logic that can specify properties of multiple discrete time Markov chains (DTMCs). In this paper, we describe two related tools: MarkovEstimator a...
YoungMin Kwon, Gul A. Agha
167
Voted
CVPR
2005
IEEE
16 years 8 months ago
Joint Nonparametric Alignment for Analyzing Spatial Gene Expression Patterns in Drosophila Imaginal Discs
To compare spatial patterns of gene expression, one must analyze a large number of images as current methods are only able to measure a small number of genes at a time. Bringing i...
Parvez Ahammad, Cyrus L. Harmon, Ann Hammonds, Sha...
CVPR
2005
IEEE
16 years 8 months ago
Matching with PROSAC - Progressive Sample Consensus
A new robust matching method is proposed. The Progressive Sample Consensus (PROSAC) algorithm exploits the linear ordering defined on the set of correspondences by a similarity fu...
Ondrej Chum, Jiri Matas
CVPR
2005
IEEE
16 years 8 months ago
Efficient Image Matching with Distributions of Local Invariant Features
Sets of local features that are invariant to common image transformations are an effective representation to use when comparing images; current methods typically judge feature set...
Kristen Grauman, Trevor Darrell
163
Voted
CVPR
2005
IEEE
16 years 8 months ago
Contrast Enhancement of Multi-Displays Using Human Contrast Sensitivity
Study of contrast sensitivity of the human eye shows that we are more sensitive to brightness differences at low intensity levels than at high intensity levels. We apply this fact...
Aditi Majumder