Sciweavers

14098 search results - page 2404 / 2820
» Crowd computer interaction
Sort
View
CONSTRAINTS
2008
182views more  CONSTRAINTS 2008»
15 years 7 months ago
Constraint Programming in Structural Bioinformatics
Bioinformatics aims at applying computer science methods to the wealth of data collected in a variety of experiments in life sciences (e.g. cell and molecular biology, biochemistry...
Pedro Barahona, Ludwig Krippahl
CORR
2008
Springer
97views Education» more  CORR 2008»
15 years 7 months ago
Voice-controlled Debugging of Spreadsheets
Developments in Mobile Computing are putting pressure on the software industry to research new modes of interaction that do not rely on the traditional keyboard and mouse combinat...
Derek Flood, Kevin McDaid
CORR
2008
Springer
91views Education» more  CORR 2008»
15 years 7 months ago
Taming Modal Impredicativity: Superlazy Reduction
Pure, or type-free, Linear Logic proof nets are Turing complete once cut-elimination is5 considered as computation. We introduce modal impredicativity as a new form of impredicati...
Ugo Dal Lago, Luca Roversi, Luca Vercelli
CPHYSICS
2008
79views more  CPHYSICS 2008»
15 years 7 months ago
Atmospheric MUons from PArametric formulas: a fast GEnerator for neutrino telescopes (MUPAGE)
Abstract. Neutrino telescopes are opening new opportunities in observational high energy astrophysics. In these detectors, atmospheric muons from primary cosmic ray interactions in...
G. Carminati, M. Bazzotti, A. Margiotta, M. Spurio
EAAI
2008
257views more  EAAI 2008»
15 years 7 months ago
Recognition of facial expressions using Gabor wavelets and learning vector quantization
Facial expression recognition has potential applications in different aspects of day-to-day life not yet realized due to absence of effective expression recognition techniques. Th...
Shishir Bashyal, Ganesh K. Venayagamoorthy
« Prev « First page 2404 / 2820 Last » Next »