Sciweavers

3573 search results - page 599 / 715
» Reasoning about Codata
Sort
View
112
Voted
CSL
1998
Springer
15 years 14 days ago
Evaluating spoken dialogue agents with PARADISE: Two case studies
This paper presents PARADISE PARAdigm for DIalogue System Evaluation, a general framework for evaluating and comparing the performance of spoken dialogue agents. The framework d...
Marilyn A. Walker, Diane J. Litman, Candace A. Kam...
79
Voted
ICRA
2010
IEEE
142views Robotics» more  ICRA 2010»
14 years 11 months ago
A quadratic regulator-based heuristic for rapidly exploring state space
Abstract— Kinodynamic planning algorithms like RapidlyExploring Randomized Trees (RRTs) hold the promise of finding feasible trajectories for rich dynamical systems with complex...
Elena Leah Glassman, Russ Tedrake
120
Voted
ICRA
2010
IEEE
126views Robotics» more  ICRA 2010»
14 years 11 months ago
Simulation-based LQR-trees with input and state constraints
— We present an algorithm that probabilistically covers a bounded region of the state space of a nonlinear system with a sparse tree of feedback stabilized trajectories leading t...
Philipp Reist, Russ Tedrake
108
Voted
ISOLA
2010
Springer
14 years 11 months ago
Towards a Connector Algebra
Interoperability of heterogeneous networked systems has yet to reach the maturity required by ubiquitous computing due to the technology-dependent nature of solutions. The Connect ...
Marco Autili, Chris Chilton, Paola Inverardi, Mart...
81
Voted
PUC
2010
99views more  PUC 2010»
14 years 11 months ago
Easy on that trigger dad: a study of long term family photo retrieval
We examine the effects of new technologies for digital photography on people’s longer term storage and access to collections of personal photos. We report an empirical study of p...
Steve Whittaker, Ofer Bergman, Paul Clough