5423 search results - page 836 / 1085 » Denial-of-service in automation systems |
185
click to vote
KDD
2002
ACM
16 years 7 months ago
2002
ACM
Web Usage Mining enables new understanding of user goals on the Web. This understanding has broad applications, and traditional mining techniques such as association rules have bee...
152
click to vote
CHI
2006
ACM
16 years 7 months ago
2006
ACM
This paper presents an on-going investigation on interruptions in the office caused by face-to-face interactions between knowledge workers. The study aims to identify opportunitie...
173
click to vote
CADE
2008
Springer
16 years 7 months ago
2008
Springer
Satisfiability Modulo Theories (SMT) solvers have proven highly scalable, efficient and suitable for integrated theory reasoning. The most efficient SMT solvers rely on refutationa...
179
click to vote
CADE
2008
Springer
16 years 7 months ago
2008
Springer
Abstract. We present the first terminating tableau calculus for basic hybrid logic with the difference modality and converse modalities. The language under consideration is basic m...
140
click to vote
CADE
2008
Springer
16 years 7 months ago
2008
Springer
Previous CASC competitions have focused on proving difficult problems on small numbers of axioms. However, typical reasoning applications for expert systems rely on knowledge base...