Sciweavers

14720 search results - page 2917 / 2944
» Interface
Sort
View
CORR
2011
Springer
176views Education» more  CORR 2011»
14 years 6 months ago
Quantitative Synthesis for Concurrent Programs
nt programs, programming abstractions for data parallel programs, software model checking for confidentiality, electronic voting security, synthesis of interface specons for Java ...
Pavol Cerný, Krishnendu Chatterjee, Thomas ...
CSCW
2011
ACM
14 years 6 months ago
Designing incentives for inexpert human raters
The emergence of online labor markets makes it far easier to use individual human raters to evaluate materials for data collection and analysis in the social sciences. In this pap...
Aaron D. Shaw, John J. Horton, Daniel L. Chen
EIS
2011
290views ECommerce» more  EIS 2011»
14 years 6 months ago
Code query by example
Most software engineering techniques that deal with software products customization are based on anticipation: The software designer has to foresee, somehow, the future needs for ...
Sebastien Vaucouleur
IBMRD
2011
112views more  IBMRD 2011»
14 years 6 months ago
Sensor Andrew: Large-scale campus-wide sensing and actuation
—We present Sensor Andrew, a multi-disciplinary campus-wide scalable sensor network that is designed to host a wide range of sensor, actuator and low-power applications. The goal...
Anthony Rowe, Mario Berges, Gaurav Bhatia, Ethan G...
NAR
2011
357views Computer Vision» more  NAR 2011»
14 years 6 months ago
miRGator v2.0 : an integrated system for functional investigation of microRNAs
miRGator is an integrated database of microRNA (miRNA)-associated gene expression, target prediction, disease association and genomic annotation, which aims to facilitate function...
Sooyoung Cho, Yukyung Jun, Sanghyun Lee, Hyung-Seo...
« Prev « First page 2917 / 2944 Last » Next »