1102 search results - page 59 / 221 » Generalizing Updates: From Models to Programs |
IAT
2006
IEEE
15 years 6 months ago
2006
IEEE
We present a universal mechanism that can be combined with existing trust models to extend their capabilities towards efficient modelling of the situational (contextdependent) tr...
120
Voted
ICIP
2004
IEEE
16 years 1 months ago
2004
IEEE
We present an iterative algorithm for robustly estimating the egomotion and refining and updating a coarse, noisy and partial depth map using a depth based parallax model and brig...
188
click to vote
POPL
2006
ACM
16 years 17 days ago
2006
ACM
We describe a novel method for verifying programs that manipulate linked lists, based on two new predicates that characterize reachability of heap cells. These predicates allow re...
106
click to vote
AAAI
2000
15 years 1 months ago
2000
We present a general, consistency-based framework for belief change. Informally, in revising K by , we begin with and incorporate as much of K as consistently possible. Formally, ...
122
click to vote
UM
2005
Springer
15 years 5 months ago
2005
Springer
We develop a novel user-centric modeling technology, which can dynamically describe and update a person's expertise profile. In an enterprise environment, the technology can e...