4098 search results - page 184 / 820 » Sound mobility models |
ICASSP
2011
IEEE
14 years 8 months ago
2011
IEEE
152
click to vote
PERVASIVE
2011
Springer
14 years 7 months ago
2011
Springer
We contribute a method for approximating users’ interruptibility costs to use for experience sampling and validate the method in an application that learns when to automatically ...
119
click to vote
LICS
1999
IEEE
15 years 8 months ago
1999
IEEE
We present a new approach to introducing an extensional propositional equality in Intensional Type Theory. Our construction is based on the observation that there is a sound, inte...
128
click to vote
LICS
1994
IEEE
15 years 8 months ago
1994
IEEE
: We give a semantics for a typed object calculus, an extension of System F with object subsumption and method override. We interpret the calculus in a per model, proving the sound...
150
click to vote
UAI
2001
15 years 5 months ago
2001
We present a propositional logic to reason about the uncertainty of events, where the uncertainty is modeled by a set of probability measures assigning an interval of probability ...