1008 search results - page 56 / 202 » Canonicity! |
138
click to vote
JFP
2007
15 years 2 months ago
2007
The LF logical framework codifies a methodology for representing deductive systems, such as programming languages and logics, within a dependently typed λ-calculus. In this meth...
118
Voted
BMCBI
2006
15 years 2 months ago
2006
Background: The neighbor-joining method by Saitou and Nei is a widely used method for constructing phylogenetic trees. The formulation of the method gives rise to a canonical (n3)...
ICCV
2007
IEEE
16 years 4 months ago
2007
IEEE
We formulate the problem of scene summarization as selecting a set of images that efficiently represents the visual content of a given scene. The ideal summary presents the most i...
133
Voted
ICPR
2002
IEEE
16 years 3 months ago
2002
IEEE
Although human action recognition has been the subject of much research in the past, the issue of viewpoint invariance has received scarce attention. In this paper, we present an ...
113
Voted
DAC
2005
ACM
16 years 3 months ago
2005
ACM
Recent study shows that the existing first order canonical timing model is not sufficient to represent the dependency of the gate delay on the variation sources when processing an...