293 search results - page 48 / 59 » Advances in Probabilistic Model Checking |
129
click to vote
MLDM
2007
Springer
15 years 5 months ago
2007
Springer
Advances in wireless and mobile technology flood us with amounts of moving object data that preclude all means of manual data processing. The volume of data gathered from position...
107
click to vote
INFOCOM
1995
IEEE
15 years 3 months ago
1995
IEEE
In communication networks, a large number of alarms exist to signal any abnormal behavior of the network. As network faults typically result in a number of alarms, correlating the...
CIDR
2009
15 years 25 days ago
2009
We present the design and development of a data stream system that captures data uncertainty from data collection to query processing to final result generation. Our system focuse...
130
click to vote
CORR
2007
Springer
14 years 11 months ago
2007
Springer
Information integration applications, such as mediators or mashups, that require access to information resources currently rely on users manually discovering and integrating them ...
ICRA
2006
IEEE
15 years 5 months ago
2006
IEEE
— Free-space dilation is an effective approach for narrow passage sampling, a well-recognized difficulty in probabilistic roadmap (PRM) planning. Key to this approach are method...