6597 search results - page 131 / 1320 » Orderings and Types in Databases |
117
click to vote
CALCO
2007
Springer
15 years 9 months ago
2007
Springer
We discuss the treatment of initial datatypes and final process types in the wide-spectrum language HasCASL. In particular, we present specifications that illustrate how datatype...
144
click to vote
ICMCS
2006
IEEE
15 years 9 months ago
2006
IEEE
Content-based classification of audio data is an important problem for various applications such as overall analysis of audio-visual streams, boundary detection of video story se...
164
Voted
IFIP
2004
Springer
15 years 8 months ago
2004
Springer
Pure Pattern Type Systems (P2 TS) combine in a unified setting the capabilities of rewriting and λ-calculus. Their type systems, adapted from Barendregt’s λ-cube, are especial...
127
Voted
CSL
2006
Springer
15 years 7 months ago
2006
Springer
Based on natural deduction, Pure Type Systems (PTS) can express a wide range of type theories. In order to express proof-search in such theories, we introduce the Pure Type Sequent...
136
click to vote
FUIN
2010
15 years 22 days ago
2010
Abstract. Writing dependently typed functional programs that capture non-trivial program properties, such as those involving membership, ordering and non-linear arithmetic, is diff...