230 search results - page 1 / 46 » Type Derivation Using the Projection Operation |
EDBT
1994
ACM
13 years 9 months ago
1994
ACM
ENTCS
2006
13 years 5 months ago
2006
In this paper we introduce a new approach to formalizing certain type operations in type theory. Traditionally, many type constructors in type theory are independently axiomatized...
ITCC
2000
IEEE
13 years 9 months ago
2000
IEEE
Using the operational matrix of an orthogonal function to perform integration for solving, identifying and optimizing a linear dynamic system has several advantages: (1) the metho...
NAACL
2007
13 years 6 months ago
2007
Dependency analysis of natural language gives rise to non-projective structures. The constraint of well-nestedness on dependency trees has been recently shown to give a good fit ...
ICPR
2000
IEEE
13 years 9 months ago
2000
IEEE
This work is intended to give some ideas to extract motion information from an image sequence. A directional energy is defined in terms of the 1-D Hermite transform coefficients o...