1564 search results - page 15 / 313 » Extensions to the Estimation Calculus |
ICCAD
2004
IEEE
15 years 8 months ago
2004
IEEE
78
Voted
ISPW
2006
IEEE
15 years 5 months ago
2006
IEEE
VLDB
1998
ACM
15 years 3 months ago
1998
ACM
106
click to vote
LACL
1998
Springer
15 years 3 months ago
1998
Springer
Abstract. The paper proposes a type logical reformulation of Jacobson's ([9]) treatment of anaphoric dependencies in Categorial Grammar. To this end, the associative Lambek Ca...
FUIN
2010
14 years 9 months ago
2010
We study the notion of solvability in the resource calculus, an extension of the -calculus modelling resource consumption. Since this calculus is non-deterministic, two different ...