Sciweavers

5634 search results - page 263 / 1127
» About Abstract Classes
Sort
View
IVS
2007
100views more  IVS 2007»
15 years 4 months ago
NetLens: iterative exploration of content-actor network data
Networks have remained a challenge for information retrieval and visualization because of the rich set of tasks that users want to accomplish. This paper n abstract Content-Actor ...
Hyunmo Kang, Catherine Plaisant, Bongshin Lee, Ben...
RSS
2007
135views Robotics» more  RSS 2007»
15 years 6 months ago
Learning omnidirectional path following using dimensionality reduction
Abstract— We consider the task of omnidirectional path following for a quadruped robot: moving a four-legged robot along any arbitrary path while turning in any arbitrary manner....
J. Zico Kolter, Andrew Y. Ng
CORR
2004
Springer
177views Education» more  CORR 2004»
15 years 4 months ago
Typestate Checking and Regular Graph Constraints
We introduce regular graph constraints and explore their decidability properties. The motivation for regular graph constraints is 1) type checking of changing types of objects in ...
Viktor Kuncak, Martin C. Rinard
TIT
1998
96views more  TIT 1998»
15 years 4 months ago
Sequential Prediction of Individual Sequences Under General Loss Functions
Abstract— We consider adaptive sequential prediction of arbitrary binary sequences when the performance is evaluated using a general loss function. The goal is to predict on each...
David Haussler, Jyrki Kivinen, Manfred K. Warmuth
ICFP
2006
ACM
16 years 4 months ago
Transactional events
nt programs require high-level abstractions in order to manage complexity and enable compositional reasoning. In this paper, we introduce a novel concurrency abstraction, dubbed t...
Kevin Donnelly, Matthew Fluet