Sciweavers

1798 search results - page 129 / 360
» A Tree for All Seasons
Sort
View
COMGEO
2004
ACM
13 years 9 months ago
Proximity drawings in polynomial area and volume
We introduce a novel technique for drawing proximity graphs in polynomial area and volume. Previously known algorithms produce representations whose size increases exponentially w...
Paolo Penna, Paola Vocca
CVPR
2012
IEEE
11 years 11 months ago
Face detection, pose estimation, and landmark localization in the wild
We present a unified model for face detection, pose estimation, and landmark estimation in real-world, cluttered images. Our model is based on a mixtures of trees with a shared p...
Xiangxin Zhu, Deva Ramanan
BSN
2009
IEEE
149views Sensor Networks» more  BSN 2009»
14 years 3 months ago
Optimizing Interval Training Protocols Using Data Mining Decision Trees
— Interval training consists of interl intensity exercises with rest periods. This training well known exercise protocol which helps stre improve one’s cardiovascular fitness. ...
Myung-kyung Suh, Mahsan Rofouei, Ani Nahapetian, W...
FMSP
2000
ACM
177views Formal Methods» more  FMSP 2000»
14 years 1 months ago
DSD: A schema language for XML
XML (eXtensible Markup Language) is a linear syntax for trees, which has gathered a remarkable amount of interest in industry. The acceptance of XML opens new venues for the appli...
Nils Klarlund, Anders Møller, Michael I. Sc...
STACS
1999
Springer
14 years 1 months ago
The Weakness of Self-Complementation
Model checking is a method for the verification of systems with respect to their specifications. Symbolic model-checking, which enables the verification of large systems, procee...
Orna Kupferman, Moshe Y. Vardi