8828 search results - page 1258 / 1766 » Formal methods in practice |
165
click to vote
KDD
2005
ACM
16 years 7 months ago
2005
ACM
We consider a model in which background knowledge on a given domain of interest is available in terms of a Bayesian network, in addition to a large database. The mining problem is...
203
click to vote
KDD
2004
ACM
16 years 7 months ago
2004
ACM
One major problem of existing methods to mine data streams is that it makes ad hoc choices to combine most recent data with some amount of old data to search the new hypothesis. T...
196
click to vote
KDD
2004
ACM
16 years 7 months ago
2004
ACM
Numerous applications of data mining to scientific data involve the induction of a classification model. In many cases, the collection of data is not performed with this task in m...
169
click to vote
CHI
2008
ACM
16 years 7 months ago
2008
ACM
We propose the "ninja cursor" to improve the performance of target acquisition, particularly on large screens. This technique uses multiple distributed cursors to reduce...
181
click to vote
CHI
2007
ACM
16 years 7 months ago
2007
ACM
Comicboarding is a participatory design method that uses specially created comic books to generate engaging, productive brainstorming sessions with children. By leveraging known p...