230 search results - page 1 / 46 » Type Derivation Using the Projection Operation |
EDBT
1994
ACM
13 years 10 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 10 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 7 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 10 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...