Sciweavers

6740 search results - page 706 / 1348
» Using Classification as a Programming Language
Sort
View
VL
2003
IEEE
136views Visual Languages» more  VL 2003»
16 years 4 days ago
The effects of graphical and textual visualisations in multi-representational debugging environments
The effects of graphical and textual visualisations in a multi-representational debugging environment were investigated in computing students who used a software debugging environ...
Pablo Romero, Benedict du Boulay, Rudi Lutz, Richa...
IFIP
2010
Springer
15 years 11 months ago
A Face Attention Technique for a Robot Able to Interpret Facial Expressions
Automatic facial expressions recognition using vision is an important subject towards human-robot interaction. Here is proposed a human face focus of attention technique and a faci...
Carlos Simplício, José Augusto Prado...
GI
2009
Springer
15 years 11 months ago
Taming Selective Strictness
Abstract: Free theorems establish interesting properties of parametrically polymorphic functions, solely from their types, and serve as a nice proof tool. For pure and lazy functio...
Daniel Seidel, Janis Voigtländer
PPDP
2001
Springer
15 years 11 months ago
Trust in the Pi-Calculus
We introduce a new system of trust analysis for concurrent and distributed systems using the π-calculus[13, 14, 15] as a modelling tool. A Type system using boolean annotations g...
Mark Hepburn, David Wright
JMLR
2012
13 years 9 months ago
SpeedBoost: Anytime Prediction with Uniform Near-Optimality
We present SpeedBoost, a natural extension of functional gradient descent, for learning anytime predictors, which automatically trade computation time for predictive accuracy by s...
Alexander Grubb, Drew Bagnell