Sciweavers

755 search results - page 124 / 151
» Compiler generation from structural architecture description...
Sort
View
162
Voted
PAMI
2008
182views more  PAMI 2008»
15 years 3 months ago
A Hierarchical Compositional Model for Face Representation and Sketching
This paper presents a hierarchical-compositional model of human faces, as a three-layer AND-OR graph to account for the structural variabilities over multiple resolutions. In the A...
Zijian Xu, Hong Chen, Song Chun Zhu, Jiebo Luo
144
Voted
PEPM
2009
ACM
16 years 17 days ago
Bidirectional data-flow analyses, type-systematically
We show that a wide class of bidirectional data-flow analyses and program optimizations based on them admit declarative descriptions in the form of type systems. The salient feat...
Maria João Frade, Ando Saabas, Tarmo Uustal...
138
Voted
PLDI
2004
ACM
15 years 9 months ago
Jedd: a BDD-based relational extension of Java
In this paper we present Jedd, a language extension to Java that supports a convenient way of programming with Binary Decision Diagrams (BDDs). The Jedd language abstracts BDDs as...
Ondrej Lhoták, Laurie J. Hendren
118
Voted
NAR
2000
132views more  NAR 2000»
15 years 3 months ago
The Eukaryotic Promoter Database (EPD)
The Eukaryotic Promoter Database (EPD) is an annotated non-redundant collection of experimentally characterised eukaryotic POL II promoters. The underlying definition of a promote...
Rouaïda Cavin Périer, Viviane Praz, Th...
166
Voted
ICIP
2006
IEEE
16 years 5 months ago
A Profile Hidden Markov Model Framework for Modeling and Analysis of Shape
In this paper we propose a new framework for modeling 2D shapes. A shape is first described by a sequence of local features (e.g., curvature) of the shape boundary. The resulting ...
Rui Huang, Vladimir Pavlovic, Dimitris N. Metaxas