Sciweavers

2266 search results - page 341 / 454
» How Not to Evaluate a Developmental System
Sort
View
MM
2010
ACM
137views Multimedia» more  MM 2010»
15 years 4 months ago
Self-diagnostic peer-assisted video streaming through a learning framework
Quality control and resource optimization are challenging problems in peer-assisted video streaming systems, due to their large scales and unreliable peer behavior. Such systems a...
Di Niu, Baochun Li, Shuqiao Zhao
CHI
2009
ACM
16 years 5 months ago
Using hands and feet to navigate and manipulate spatial data
We demonstrate how multi-touch hand gestures in combination with foot gestures can be used to perform navigation tasks in interactive systems. The geospatial domain is an interest...
Johannes Schöning, Florian Daiber, Antonio Kr...
POPL
2004
ACM
16 years 5 months ago
Simple relational correctness proofs for static analyses and program transformations
We show how some classical static analyses for imperative programs, and the optimizing transformations which they enable, may be expressed and proved correct using elementary logi...
Nick Benton
ICDM
2007
IEEE
147views Data Mining» more  ICDM 2007»
15 years 11 months ago
Scalable Collaborative Filtering with Jointly Derived Neighborhood Interpolation Weights
Recommender systems based on collaborative filtering predict user preferences for products or services by learning past user-item relationships. A predominant approach to collabo...
Robert M. Bell, Yehuda Koren
CSB
2005
IEEE
167views Bioinformatics» more  CSB 2005»
15 years 10 months ago
SinicView: An Interactive Visualization Tool for Comparison of Multiple Sequence Alignment Results
In the initial stage of sequence analysis, a biologist is first faced with the questions about how to choose the best tool to align sequences of interest and how to analyze and v...
Arthur Chun-Chieh Shih, D. T. Lee, Laurent Lin, Ch...