4770 search results - page 748 / 954 » Flexible Type Analysis |
164
click to vote
CHI
2006
ACM
16 years 7 months ago
2006
ACM
The design of tools for creative activities affects the creative processes and output of users. In this paper we consider how an understanding of creative interaction can inform t...
194
click to vote
CHI
2002
ACM
16 years 6 months ago
2002
ACM
This paper proposes a transformation of the Cognitive Walkthrough (CW), a theory-based usability inspection method that has proven useful in designing applications that support us...
198
click to vote
RECOMB
2006
Springer
16 years 6 months ago
2006
Springer
We have combined four different types of functional genomic data to create high coverage protein interaction networks for 11 microbes. Our integration algorithm naturally handles s...
192
click to vote
CADE
2002
Springer
16 years 6 months ago
2002
Springer
Abstract. We investigate the combination of propositional SAT checkers with domain-specific theorem provers as a foundation for bounded model checking over infinite domains. Given ...
196
click to vote
SIGMOD
2004
ACM
16 years 6 months ago
2004
ACM
The detection of correlations between different features in a set of feature vectors is a very important data mining task because correlation indicates a dependency between the fe...