3116 search results - page 125 / 624 » Positively dependent types |
136
click to vote
INFFUS
2006
15 years 4 months ago
2006
The bipolar view in preference modeling distinguishes between negative and positive preferences. Negative preferences correspond to what is rejected, considered unacceptable, whil...
148
click to vote
COMPUTER
1998
15 years 4 months ago
1998
ER ABSTRACTIONS ter service uses several abstractions— including resource, resource dependencies, and resource groups—to simplify both the cluster service itself and user-visib...
107
click to vote
LICS
1987
IEEE
15 years 7 months ago
1987
IEEE
The Edinburgh Logical Framework (LF) provides a means to define (or present) logics. It is based on a general treatment of syntax, rules, and proofs by means of a typed -calculus ...
181
click to vote
ICCV
2007
IEEE
15 years 6 months ago
2007
IEEE
Development of multiple camera based vision systems for analysis of dynamic objects such as humans is challenging due to occlusions and similarity in the appearance of a person wi...
133
click to vote
TLCA
2007
Springer
15 years 10 months ago
2007
Springer
We present a size-aware type system for first-order shapely function definitions. Here, a function definition is called shapely when the size of the result is determined exactly...