1280 search results - page 132 / 256 » Soft Typing with Conditional Types |
UMUAI
2008
13 years 9 months ago
2008
Abstract. Provision of personalized recommendations to users requires accurate modeling of their interests and needs. This paper proposes a general framework and specific methodolo...
COLING
2002
13 years 9 months ago
2002
: Motivated by a systematic representation of the Chinese aspect forms that explores their intrinsic semantics and temporal logical relations, we are constructing a Chinese aspect ...
BC
1998
13 years 9 months ago
1998
A non-uniform equivalent cable model of membrane voltage changes in branching neuronal trees with active ion channels has been developed. A general branching condition is formulate...
CCR
1998
13 years 9 months ago
1998
This paper reports our experimentation results with TCP Selective Acknowledgments TCP-Sack , which became an Internet Proposed Standard protocol recently. To understand the perfo...
JAMDS
2002
13 years 9 months ago
2002
Abstract. A resource selection probability function is a function that gives the probability that a resource unit (e.g., a plot of land) that is described by a set of habitat varia...