Sciweavers

4961 search results - page 87 / 993
» Homomorphism-Homogeneous Relational Structures
Sort
View
108
Voted
CSL
2001
Springer
15 years 5 months ago
Decidable Navigation Logics for Object Structures
In this paper, we introduce decidable multimodal logics to describe and reason about navigation across object structures. The starting point of these navigation logics is the model...
Frank S. de Boer, Rogier M. van Eijk
90
Voted
IRAL
2000
ACM
15 years 5 months ago
Structural analysis of cooking preparation steps in Japanese
We propose a method to create process flow graphs automatically from textbooks for cooking programs. This is realized by understanding context by narrowing down the domain to cook...
Reiko Hamada, Ichiro Ide, Shuichi Sakai, Hidehiko ...
98
Voted
ICCV
1999
IEEE
15 years 5 months ago
Bayesian Structure from Motion
:We formulate structure from motion as a Bayesian inference problem, and use a Markov chain Monte Carlo sampler to sample the posterior on this problem. This results in a method th...
David A. Forsyth, Sergey Ioffe, John A. Haddon
SOSYM
2002
123views more  SOSYM 2002»
15 years 13 days ago
A structured operational semantics for UML-statecharts
The Unified Modeling Language (UML) has gained wide acceptance in very short time because of its variety of well-known and intuitive graphical notations. However, this comes at the...
Michael von der Beeck
SCIA
2011
Springer
223views Image Analysis» more  SCIA 2011»
14 years 3 months ago
Stable Structure from Motion for Unordered Image Collections
We present a non-incremental approach to structure from motion. Our solution is based on robustly computing global rotations from relative geometries and feeding these into the kno...
Carl Olsson, Olof Enqvist