2914 search results - page 557 / 583 » Learning and Inference with Constraints |
KDD
1999
ACM
14 years 2 months ago
1999
ACM
Managers of electronic commerce sites need to learn as much as possible about their customers and those browsing their virtual premises, in order to maximise the return on marketin...
KDD
1998
ACM
14 years 2 months ago
1998
ACM
In this paper we discuss a data mining framework for constructing intrusion detection models. The key ideas are to mine system audit data for consistent and useful patterns of pro...
DAC
1997
ACM
14 years 2 months ago
1997
ACM
The InfoPad project was started at UC Berkeley in 1992 to investigate the issues involved in providing multimedia information access using a portable, wireless terminal. It quickl...
CHI
1996
ACM
14 years 2 months ago
1996
ACM
We show how to deliver a sophisticated, yet intuitive, interactive application over the web using off-the-shelf web browsers as the interaction medium. This attracts a large user ...
FMCAD
2006
Springer
14 years 1 months ago
2006
Springer
Ario is a solver for systems of linear integer arithmetic logic. Such systems are commonly used in design verification applications and are classified under Satisfiability Modulo T...