42388 search results - page 8074 / 8478 » Classification Using Information |
166
click to vote
MIDDLEWARE
2007
Springer
15 years 11 months ago
2007
Springer
Recent research advances in Peer-to-Peer (P2P) computing have enabled the P2P paradigm to be used for developing complex applications beyond file sharing and data storage. These ...
143
click to vote
OOPSLA
2007
Springer
15 years 11 months ago
2007
Springer
Objects often define usage protocols that clients must follow in order for these objects to work properly. Aliasing makes it notoriously difficult to check whether clients and i...
122
click to vote
PSIVT
2007
Springer
15 years 11 months ago
2007
Springer
This paper considers the problem of Bayesian inference in dynamical models with time-varying dimension. These models have been studied in the context of multiple target tracking pr...
166
click to vote
TACAS
2007
Springer
15 years 11 months ago
2007
Springer
We study and provide efficient algorithms for multi-objective model checking problems for Markov Decision Processes (MDPs). Given an MDP, M, and given multiple linear-time (ω-regu...
148
click to vote
TCC
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Secret-sharing schemes are an important tool in cryptography that is used in the construction of many secure protocols. However, the shares’ size in the best known secr...