6168 search results - page 155 / 1234 » Research methods for HCI |
168
click to vote
ICAD
2004
15 years 7 months ago
2004
This paper argues for a special focus on the use of dynamic human interaction to explore datasets while they are being transformed into sound. We describe why this is a special ca...
166
click to vote
FTRTFT
1998
Springer
15 years 10 months ago
1998
Springer
A controversial issue in the formal methods community is the degree to which mathematical sophistication and theorem proving skills should be needed to apply a formal method. A fun...
146
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: The Golden Spike data set has been used to validate a number of methods for summarizing Affymetrix data sets, sometimes with seemingly contradictory results. Much less...
122
click to vote
IPMI
2007
Springer
16 years 7 months ago
2007
Springer
Diffeomorphic image registration, where images are aligned using diffeomorphic warps, is a popular subject for research in medical image analysis. We introduce a novel algorithm fo...
161
click to vote
SIGMOD
2002
ACM
16 years 6 months ago
2002
ACM
Clustering results validation is an important topic in the context of pattern recognition. We review approaches and systems in this context. In the first part of this paper we pre...