10542 search results - page 1991 / 2109 » A General Notion of Useful Information |
190
click to vote
MIDDLEWARE
2007
Springer
16 years 14 days 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 ...
175
click to vote
OOPSLA
2007
Springer
16 years 14 days 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...
195
click to vote
TACAS
2007
Springer
16 years 13 days 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...
156
click to vote
SIBGRAPI
2006
IEEE
16 years 10 days ago
2006
IEEE
Recent statistics show that breast cancer is a major cause of death among women in all of the world. Hence, early diagnostic with Computer Aided Diagnosis (CAD) systems is a very ...
158
click to vote
ACIVS
2006
Springer
16 years 10 days ago
2006
Springer
Abstract. We present an algorithm for interpolating the visible portions of a point cloud that are sampled from opaque objects in the environment. Our algorithm projects point clou...