3071 search results - page 554 / 615 » Explanatory Design Theory |
103
click to vote
KDD
2005
ACM
16 years 1 days ago
2005
ACM
Heterogeneous data co-clustering has attracted more and more attention in recent years due to its high impact on various applications. While the co-clustering algorithms for two t...
KDD
2005
ACM
16 years 1 days ago
2005
ACM
Addressed in this paper is the issue of `email data cleaning' for text mining. Many text mining applications need take emails as input. Email data is usually noisy and thus i...
102
click to vote
KDD
2003
ACM
16 years 1 days ago
2003
ACM
A commercial Web page typically contains many information blocks. Apart from the main content blocks, it usually has such blocks as navigation panels, copyright and privacy notice...
110
click to vote
CHI
2005
ACM
16 years 1 days ago
2005
ACM
In this paper we report an ethnographic study of workarounds--informal temporary practices for handling exceptions to normal workflow--in a hospital environment. Workarounds are a...
109
click to vote
CADE
2005
Springer
15 years 12 months ago
2005
Springer
Our general goal is to provide better automation in interactive proof assistants such as Coq. We present an interpreter of proof traces in first-order multi-sorted logic with equal...