Sciweavers

11151 search results - page 395 / 2231
» On the Complexity of Model Expansion
Sort
View
ICPR
2006
IEEE
16 years 8 months ago
Robust Image Registration Based on Markov-Gibbs Appearance Model
A new approach to align an image of a textured object with a given prototype is proposed. Visual appearance of the images, after equalizing their signals, is modeled with a Markov...
Alaa E. Abdel-Hakim, Aly A. Farag, Ayman El-Baz, G...
WACV
2008
IEEE
16 years 2 months ago
Online/Realtime Structure and Motion for General Camera Models
This paper presents a novel algorithm for online structure and motion estimation. The algorithm works for general camera models and minimizes object space error, it does not rely ...
Gerald Schweighofer, Sinisa Segvic, Axel Pinz
ISORC
2007
IEEE
16 years 1 months ago
Device Modeling for a Flexible Embedded Systems Development Process
Methodologies, techniques and tools that currently support the embedded systems (ESs) development process prove inadequate for today’s complex ESs. Adopted traditional architect...
Kleanthis C. Thamboulidis, George S. Doukas, Giann...
TACAS
2007
Springer
110views Algorithms» more  TACAS 2007»
16 years 1 months ago
Counterexamples in Probabilistic Model Checking
This paper considers algorithms and complexity results for the generation of counterexamples in model checking of probabilistic until-formulae in discrete-time Markov chains (DTMCs...
Tingting Han, Joost-Pieter Katoen
ECML
2005
Springer
16 years 1 months ago
Model Selection in Omnivariate Decision Trees
We propose an omnivariate decision tree architecture which contains univariate, multivariate linear or nonlinear nodes, matching the complexity of the node to the complexity of the...
Olcay Taner Yildiz, Ethem Alpaydin