Sciweavers

136 search results - page 21 / 28
» Incremental Natural Actor-Critic Algorithms
Sort
View
ICFP
2006
ACM
15 years 11 months ago
Simple unification-based type inference for GADTs
Generalized algebraic data types (GADTs), sometimes known as "guarded recursive data types" or "first-class phantom types", are a simple but powerful generaliz...
Simon L. Peyton Jones, Dimitrios Vytiniotis, Steph...
EUROGRAPHICS
2010
Eurographics
15 years 7 months ago
Practical quad mesh simplification
n this paper we present an innovative approach to incremental quad mesh simplification, i.e. the task of producing a low complexity quad mesh starting from a high complexity one. T...
Marco Tarini, Nico Pietroni, Paolo Cignoni, Daniel...
ICRA
2009
IEEE
121views Robotics» more  ICRA 2009»
15 years 6 months ago
Real-time trajectory generation for car-like vehicles navigating dynamic environments
— This paper presents Tiji, a trajectory generation scheme, ie an algorithm that computes a feasible trajectory between a start and a goal state, for a given robotic system. Tiji...
Vivien Delsart, Thierry Fraichard, Luis Martinez
ICMI
2009
Springer
95views Biometrics» more  ICMI 2009»
15 years 6 months ago
Salience in the generation of multimodal referring acts
Pointing combined with verbal referring is one of the most paradigmatic human multimodal behaviours. The aim of this paper is foundational: to uncover the central notions that are...
Paul Piwek
ATAL
2007
Springer
15 years 5 months ago
Enacting protocols by commitment concession
Commitment protocols formalize interactions among autonomous, heterogeneous agents, leaving the agents’ local policies unspecified. This paper studies the problem of agents ena...
Pinar Yolum, Munindar P. Singh