Sciweavers

616 search results - page 28 / 124
» Decoding One Out of Many
Sort
View
ACCV
2007
Springer
14 years 2 months ago
Pose Estimation from Circle or Parallel Lines in a Single Image
The paper is focused on the problem of pose estimation from a single view in minimum conditions that can be obtained from images. Under the assumption of known intrinsic parameters...
Guanghui Wang, Q. M. Jonathan Wu, Zhengqiao Ji
C5
2006
IEEE
14 years 2 months ago
Idioms for Composing Games with EToys
1 Creating one’s own games has been the main motivation for many people to learn programming. But the barrier to learn a general purpose programming language is very high, espec...
Markus Gälli, Oscar Nierstrasz, Serge Stinckw...
ICALP
2000
Springer
14 years 23 hour ago
Graph Transformations on the UML Metamodel
The Unified Modeling Language UML is a rich language so that it seem not feasible to give a single semantics for the complete language in one ste In order to define the semantics,...
Martin Gogolla
FOIS
2010
13 years 10 months ago
Revisiting the Ontological Square
Considerations regarding predication in ordinary language as well as the ontology of relations suggest a refinement of the Ontological Square, a conceptual scheme used in many foun...
Luc Schneider
SIAMCOMP
2000
76views more  SIAMCOMP 2000»
13 years 8 months ago
On Interpolation and Automatization for Frege Systems
The interpolation method has been one of the main tools for proving lower bounds for propositional proof systems. Loosely speaking, if one can prove that a particular proof system ...
Maria Luisa Bonet, Toniann Pitassi, Ran Raz