3446 search results - page 290 / 690 » A Reasoning Algorithm for pD* |
263
click to vote
ICNP
2009
IEEE
16 years 1 months ago
2009
IEEE
—Future 4G cellular networks are featured with high data rate and improved coverage, which will enable realtime video multicast and broadcast services. Scalable video coding is v...
193
click to vote
FM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Predictive analysis aims at detecting concurrency errors during runtime by monitoring a concrete execution trace of a concurrent program. In recent years, various models ...
178
click to vote
CAV
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. STP is a decision procedure for the satisfiability of quantifier-free formulas in the theory of bit-vectors and arrays that has been optimized for large problems encoun...
164
click to vote
ISVC
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. Floating mines are a significant threat to the safety of ships in theatres of military or terrorist conflict. Automating mine detection is difficult, due to the unpredict...
169
click to vote
SGAI
2007
Springer
16 years 21 days ago
2007
Springer
Novelty detection is a machine learning technique which identifies new or unknown information in large data sets. We present our current work on the construction of a new novelty...