5718 search results - page 421 / 1144 » Modeling Rule Precision |
155
click to vote
DSN
2005
IEEE
16 years 14 days ago
2005
IEEE
Self-propagating codes, called worms, such as Code Red, Nimda, and Slammer, have drawn significant attention due to their enormous adverse impact on the Internet. There is a grea...
172
click to vote
SIGIR
2005
ACM
16 years 12 days ago
2005
ACM
This paper develops a general, formal framework for modeling term dependencies via Markov random fields. The model allows for arbitrary text features to be incorporated as eviden...
165
click to vote
CIKM
2005
Springer
16 years 11 days ago
2005
Springer
The quality of document content, which is an issue that is usually ignored for the traditional ad hoc retrieval task, is a critical issue for Web search. Web pages have a huge var...
182
Voted
HVC
2005
Springer
16 years 11 days ago
2005
Springer
We present several algorithms for simultaneous SAT (propositional satisfiability) based model checking of safety properties. More precisely, we focus on Bounded Model Checking and ...
178
click to vote
ICFEM
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. We present a “memory-model-sensitive” approach to validating correctness properties for multithreaded programs. Our key insight is that by specifying both the inter-t...