Sciweavers

4513 search results - page 216 / 903
» Modeling with a Sense of Purpose
Sort
View
ATVA
2009
Springer
116views Hardware» more  ATVA 2009»
16 years 1 months ago
Don't Know for Multi-valued Systems
This paper studies abstraction and refinement techniques in the setting of multi-valued model checking for the μ-calculus. Two dimensions of abstrace identified and studied: Abs...
Alarico Campetelli, Alexander Gruler, Martin Leuck...
BC
2005
88views more  BC 2005»
15 years 6 months ago
Threading neural feedforward into a mechanical spring: How biology exploits physics in limb control
A solution is proposed of the hitherto unsolved problem as to how neural feedforward through inverse modelling and negative feedback realised by a mechanical spring can be combined...
Karl-Theodor Kalveram, Thomas Schinauer, Steffen B...
JMLR
2000
134views more  JMLR 2000»
15 years 6 months ago
Learning with Mixtures of Trees
This paper describes the mixtures-of-trees model, a probabilistic model for discrete multidimensional domains. Mixtures-of-trees generalize the probabilistic trees of Chow and Liu...
Marina Meila, Michael I. Jordan
MIR
2010
ACM
200views Multimedia» more  MIR 2010»
16 years 1 months ago
Controlling your TV with gestures
Vision-based user interfaces enable natural interaction modalities such as gestures. Such interfaces require computationally intensive video processing at low latency. We demonstr...
Ming-yu Chen, Lily B. Mummert, Padmanabhan Pillai,...
NOSSDAV
2009
Springer
16 years 1 months ago
SLIPstream: scalable low-latency interactive perception on streaming data
A critical problem in implementing interactive perception applications is the considerable computational cost of current computer vision and machine learning algorithms, which typ...
Padmanabhan Pillai, Lily B. Mummert, Steven W. Sch...