2588 search results - page 228 / 518 » Applications of Kolmogorov complexity to computable model th... |
198
click to vote
DEBS
2008
ACM
15 years 7 months ago
2008
ACM
Availability of an overlay network is a necessary condition for event delivery in event based systems. The availability of the overlay links depends on the underlying physical net...
189
click to vote
ECCV
2002
Springer
16 years 8 months ago
2002
Springer
We propose Markov chain Monte Carlo sampling methods to address uncertainty estimation in disparity computation. We consider this problem at a postprocessing stage, i.e. once the d...
202
click to vote
TPHOL
2007
IEEE
16 years 27 days ago
2007
IEEE
Formal, modular, and mechanized verification of realistic systems code is desirable but challenging. Verification of machine context management (a basis of multi-tasking) is one ...
195
click to vote
SENSYS
2006
ACM
16 years 17 days ago
2006
ACM
Introducing mobile data sinks into wireless sensor networks (WSNs) improves the energy efficiency and the network lifetime, and is demanded for many application scenarios, such a...
184
Voted
SACMAT
2009
ACM
15 years 11 months ago
2009
ACM
The role-based access control (RBAC) model has proven to be cost effective to reduce the complexity and costs of access permission management. To maximize the advantages offered...