Sciweavers

825 search results - page 45 / 165
» interactions 2011
Sort
View
CHI
2011
ACM
14 years 4 months ago
HeatWave: thermal imaging for surface user interaction
We present HeatWave, a system that uses digital thermal imaging cameras to detect, track, and support user interaction on arbitrary surfaces. Thermal sensing has had limited exami...
Eric Larson, Gabe Cohn, Sidhant Gupta, Xiaofeng Re...
114
Voted
SIGIR
2011
ACM
14 years 3 months ago
The economics in interactive information retrieval
Searching is inherently an interactive process usually requiring numerous iterations of querying and assessing in order to find the desired amount of relevant information. Essent...
Leif Azzopardi
HISB
2011
99views more  HISB 2011»
14 years 3 days ago
Quantitative Modeling the Saccharomyces cerevisiae FLR1 Regulatory Network Using an S-System Formalism
—We address the problem of finding a mathematical model for the genetic network regulating the stress response of the yeast Saccharomyces cerevisiae to the fungicide mancozeb. A...
Dulce Calçada, Susana Vinga, Ana T. Freitas...
118
Voted
IJDMB
2011
129views more  IJDMB 2011»
14 years 3 months ago
Modelling gene and protein regulatory networks with Answer Set Programming
: Recently, many approaches to model regulatory networks have been proposed in the systems biology domain, however the task is far from being solved. In this paper we propose an an...
Timur Fayruzov, Jeroen Janssen, Dirk Vermeir, Chri...
CPP
2011
98views more  CPP 2011»
14 years 8 days ago
Automatically Verifying Typing Constraints for a Data Processing Language
Abstract. In this paper we present a new technique for automatically verifying typing constraints in the setting of Dminor, a first-order data processing language with refinement...
Michael Backes, Catalin Hritcu, Thorsten Tarrach