3166 search results - page 285 / 634 » Translation By Structural Correspondences |
189
click to vote
PADL
2004
Springer
16 years 2 days ago
2004
Springer
We describe the design and implementation of a program generator that can produce extensions of Fortran that are specialized to support the programming of particular applications. ...
200
Voted
SGAI
2004
Springer
16 years 2 days ago
2004
Springer
We exploit the combinatorial structure of conceptual graphs in order to obtain faster execution time when computing projection, which is a core generalisation-specialisation relat...
185
click to vote
TYPES
2004
Springer
16 years 2 days ago
2004
Springer
We present four constructions for standard equipment which can be generated for every inductive datatype: case analysis, structural recursion, no confusion, acyclicity. Our constru...
184
click to vote
CSB
2003
IEEE
16 years 19 hour ago
2003
IEEE
DNA microarray technology provides a broad snapshot of the state of the cell by measuring the expression levels of thousands of genes simultaneously. Visualization techniques can ...
169
click to vote
ICDCSW
2003
IEEE
16 years 12 hour ago
2003
IEEE
In this paper, we present the results of our work that seeks to negotiate the gap between low-level features and highlevel concepts in the domain of video shot detection. We intro...