3362 search results - page 252 / 673 » A definition of subjective possibility |
155
click to vote
3DPVT
2006
IEEE
16 years 22 days ago
2006
IEEE
We present a probabilistic framework for correspondence and egomotion. First, we suggest computing probability distributions of correspondence. This has the advantage of being rob...
173
click to vote
AVSS
2006
IEEE
16 years 22 days ago
2006
IEEE
We model the performance of a speaker recognition system used for surveillance to prioritize a large number of candidate speakers in search of a single target speaker. It is assum...
137
click to vote
DATE
2006
IEEE
16 years 22 days ago
2006
IEEE
We consider lock-free synchronization for dynamic embedded real-time systems that are subject to resource overloads and arbitrary activity arrivals. We model activity arrival beha...
204
click to vote
ACL2
2006
ACM
16 years 19 days ago
2006
ACM
Several users have had problems using equivalence-based rewriting in ACL2 because the ACL2 rewriter caches its results. We describe this problem in some detail, together with a pa...
163
click to vote
ASSETS
2006
ACM
16 years 19 days ago
2006
ACM
As ASSETS attendees, we are clearly interested in promoting accessibility in computing. One way to do this is to teach courses on the topic. Most such courses are aimed at upper-l...