Sciweavers

615 search results - page 44 / 123
» A General, Abstract Model of Incremental Dialogue Processing
Sort
View
CORR
2010
Springer
198views Education» more  CORR 2010»
14 years 9 months ago
Space and the Synchronic A-Ram
Space is a spatial programming language designed to exploit the massive parallelism available in a formal model of computation called the Synchronic A-Ram, and physically related ...
Alexander Victor Berka
COLT
2006
Springer
15 years 1 months ago
Online Learning Meets Optimization in the Dual
We describe a novel framework for the design and analysis of online learning algorithms based on the notion of duality in constrained optimization. We cast a sub-family of universa...
Shai Shalev-Shwartz, Yoram Singer
IFM
2000
Springer
104views Formal Methods» more  IFM 2000»
15 years 1 months ago
Structuring Real-Time Object-Z Specifications
This paper presents a means of structuring specifications in real-time Object-Z: an integration of Object-Z with the timed refinement calculus. Incremental modification of classes ...
Graeme Smith, Ian J. Hayes
IROS
2009
IEEE
168views Robotics» more  IROS 2009»
15 years 4 months ago
A stream-based hierarchical anchoring framework
— Autonomous systems situated in the real world often need to recognize, track, and reason about various types of physical objects. In order to allow reasoning at a symbolic leve...
Fredrik Heintz, Jonas Kvarnström, Patrick Doh...
HUMO
2007
Springer
15 years 3 months ago
Modeling Human Locomotion with Topologically Constrained Latent Variable Models
Abstract. Learned, activity-specific motion models are useful for human pose and motion estimation. Nevertheless, while the use of activityspecific models simplifies monocular t...
Raquel Urtasun, David J. Fleet, Neil D. Lawrence