1961 search results - page 251 / 393 » PicoDBMS: Validation and Experience |
171
click to vote
CAV
2009
Springer
16 years 7 months ago
2009
Springer
We describe a Markov chain Monte Carlo (MCMC)-based algorithm for sampling solutions to mixed Boolean/integer constraint problems. The focus of this work differs in two points from...
177
click to vote
KDD
2003
ACM
16 years 7 months ago
2003
ACM
DNA microarray provides a powerful basis for analysis of gene expression. Data mining methods such as clustering have been widely applied to microarray data to link genes that sho...
151
click to vote
CHI
2007
ACM
16 years 7 months ago
2007
ACM
We investigate pointing at graphical targets of arbitrary shapes. We first describe a previously proposed probabilistic Fitts' law model [7] which, unlike previous models tha...
144
click to vote
CHI
2006
ACM
16 years 7 months ago
2006
ACM
We present an interactive method for cropping photographs given minimal information about the location of important content, provided by eye tracking. Cropping is formulated in a ...
146
click to vote
CHI
2005
ACM
16 years 7 months ago
2005
ACM
This paper presents an exploration of user interfaces, persuasive interfaces and feedback techniques in the domain of the sink. Waterbot is a system to inform and motivate behavio...