4944 search results - page 964 / 989 » A Framework for Adaptive Visualization |
110
click to vote
KDD
2004
ACM
16 years 26 days ago
2004
ACM
Essentially all data mining algorithms assume that the datagenerating process is independent of the data miner's activities. However, in many domains, including spam detectio...
105
Voted
CHI
2003
ACM
16 years 25 days ago
2003
ACM
This research is based on the realization that the desktop computing paradigm is not appropriate for television, because it is adapted to fundamentally different user aspirations ...
201
Voted
POPL
2004
ACM
16 years 23 days ago
2004
ACM
We present a framework for the certification of compilation and of compiled programs. Our approach uses a symbolic transfer functions-based representation of programs, so as to ch...
113
Voted
CADE
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. First order logic provides a convenient formalism for describing a wide variety of verification conditions. Two main approaches to checking such conditions are pure first...
187
click to vote
VLDB
2007
ACM
16 years 21 days ago
2007
ACM
The networked and increasingly ubiquitous nature of today's data management services mandates assurances to detect and deter malicious or faulty behavior. This is particularly...