Sciweavers

1086 search results - page 59 / 218
» Event Structures with Symmetry
Sort
View
ISBI
2008
IEEE
14 years 10 months ago
An algorithm to map asymmetries of bilateral objects in point clouds
We present a method to automatically quantify the local asymmetries of bilateral structures in point clouds. The method relies on the robust computation of the approximate symmetr...
Benoît Combès, Robin Hennessy, John W...
ICPR
2008
IEEE
14 years 4 months ago
Monocular multi-human detection using Augmented Histograms of Oriented Gradients
We introduce an Augmented Histograms of Oriented Gradients (AHOG) feature for human detection from a nonstatic camera. We increase the discriminating power of original Histograms ...
Cheng-Hsiung Chuang, Shih-Shinh Huang, Li-Chen Fu,...
CONCUR
2006
Springer
14 years 17 hour ago
Model Checking Quantified Computation Tree Logic
Propositional temporal logic is not suitable for expressing properties on the evolution of dynamically allocated entities over time. In particular, it is not possible to trace such...
Arend Rensink
IPCO
1992
112views Optimization» more  IPCO 1992»
13 years 11 months ago
The Metric Polytope
In this paper we study enumeration problems for polytopes arising from combinatorial optimization problems. While these polytopes turn out to be quickly intractable for enumeration...
Monique Laurent, Svatopluk Poljak
APAL
2006
73views more  APAL 2006»
13 years 10 months ago
On the parallel between the suplattice and preframe approaches to locale theory
This paper uses the locale theory approach to topology. Two descriptions are given of all locale limits, the first description using suplattice constructions and the second prefra...
Christopher F. Townsend