Sciweavers

1564 search results - page 15 / 313
» Extensions to the Estimation Calculus
Sort
View
ISPW
2006
IEEE
15 years 11 months ago
COCOMO-U: An Extension of COCOMO II for Cost Estimation with Uncertainty
Da Yang, Yuxiang Wan, Zinan Tang, Shujian Wu, Mei ...
LACL
1998
Springer
15 years 10 months ago
Anaphora and Quantification in Categorial Grammar
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...
Gerhard Jäger
FUIN
2010
111views more  FUIN 2010»
15 years 3 months ago
Linearity, Non-determinism and Solvability
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 ...
Michele Pagani, Simona Ronchi Della Rocca