3082 search results - page 573 / 617 » Deviation Analysis: A New Use of Model Checking |
ISM
2005
IEEE
15 years 5 months ago
2005
IEEE
Hazard detection and prevention of natural and manmade disasters at critical civil infrastructure is becoming increasingly important. Recent events, such as earthquakes and terror...
ITCC
2005
IEEE
15 years 5 months ago
2005
IEEE
We propose a Web recommendation system based on a maximum entropy model. Under the maximum entropy principle, we can combine multiple levels of knowledge about users’ navigation...
119
click to vote
SAC
2005
ACM
15 years 5 months ago
2005
ACM
In this paper, we describe a new approach for mining concept associations from large text collections. The concepts are short sequences of words that occur frequently together acr...
SIGIR
2005
ACM
15 years 5 months ago
2005
ACM
The bottleneck for dictionary-based cross-language information retrieval is the lack of comprehensive dictionaries, in particular for many different languages. We here introduce a...
CCS
2005
ACM
15 years 5 months ago
2005
ACM
Indirection-based overlay networks (IONs) are a promising approach for countering distributed denial of service (DDoS) attacks. Such mechanisms are based on the assumption that at...