18429 search results - page 136 / 3686 » Typing dynamic typing |
101
Voted
ISCI
2007
15 years 4 months ago
2007
In this state-of-the-art paper, important advances that have been made during the past five years for both general and interval type-2 fuzzy sets and systems are described. Inter...
132
click to vote
ENTCS
2002
15 years 4 months ago
2002
We study the partial algebra of typed terms with an associative commutative and idempotent operator (typed AC-terms). The originality lies in the representation of the typing poli...
157
click to vote
CORR
2002
Springer
15 years 4 months ago
2002
Springer
We illustrate the use of intersection types as a semantic tool for showing properties of the lattice of -theories. Relying on the notion of easy intersection type theory we succes...
104
click to vote
JOT
2010
15 years 3 months ago
2010
This paper extends the idea of co-types (described in a companion paper) to include the concept of adjustment hierarchies. An adjustment hierarchy provides a parallel hierarchy to...
186
Voted
INLG
2010
Springer
15 years 2 months ago
2010
Springer
We present a framework for reformulating sentences by applying transfer rules on a typed dependency representation. We specify a list of operations that the framework needs to sup...