17983 search results - page 104 / 3597 » Set Types and Applications |
109
click to vote
IFIP
2004
Springer
15 years 8 months ago
2004
Springer
Abstract We propose an alternative notion of asymptotic behaviors for the study of type2 computational complexity. Since the classical asymptotic notion (for all but finitely many...
111
Voted
IRI
2009
IEEE
15 years 9 months ago
2009
IEEE
In this paper we describe an approach to build XML schemas in a collaborative way. The approach is based on computing intersection between sequences of type terms built over const...
121
Voted
EACL
2003
ACL Anthology
15 years 4 months ago
2003
ACL Anthology
This paper provides a method for generating compact and efficient code to implement the enforcement of a description in typed feature logic. It does so by viewing information abo...
131
Voted
JCSS
2002
15 years 2 months ago
2002
A database programming language is a programming language extended with database operations. In this paper we extend a core functional language with explicitly labeled tuples and ...
108
click to vote
CLA
2006
15 years 4 months ago
2006
Type signatures are common in modern linguistic theories. Their construction and maintenance is intricate, and therefore, an automatic induction method is desirable. In the present...