Sciweavers

3954 search results - page 95 / 791
» Image-based Model Completion
Sort
View
CIE
2005
Springer
15 years 10 months ago
Kripke Models, Distributive Lattices, and Medvedev Degrees
We define a variant of the standard Kripke semantics for intuitionistic logic, motivated by the connection between constructive logic and the Medvedev lattice. We show that while...
Sebastiaan Terwijn
SWARM
2008
SPRINGER
108views Optimization» more  SWARM 2008»
15 years 4 months ago
A framework of space-time continuous models for algorithm design in swarm robotics
Designing and analyzing self-organizing systems such as robotic swarms is a challenging task even though we have complete knowledge about the robot's interior. It is difficul...
Heiko Hamann, Heinz Wörn
EGOV
2007
Springer
15 years 11 months ago
Reference Models for E-Services Integration Based on Life-Events
Modelling life events is a task of a crucial importance and a first necessary step towards supporting resolution of a particular life event on the active e-government portal. The u...
Ljupco Todorovski, Mateja Kunstelj, Mirko Vintar
ICCV
2009
IEEE
16 years 9 months ago
Unsupervised Face Alignment by Robust Nonrigid Mapping
We propose a novel approach to unsupervised facial image alignment. Differently from previous approaches, that are confined to affine transformations on either the entire face o...
Jianke Zhu, Luc Van Gool and Steven C. H. Hoi
CVPR
1999
IEEE
16 years 6 months ago
Histogram Clustering for Unsupervised Image Segmentation
This paper introduces a novel statistical mixture model for probabilistic grouping of distributional histogram data. Adopting the Bayesian framework, we propose to perform anneale...
Jan Puzicha, Joachim M. Buhmann, Thomas Hofmann