16430 search results - page 660 / 3286 » On Computable Tree Functions |
223
click to vote
ICRA
2006
IEEE
16 years 1 months ago
2006
IEEE
— A distributed feedback control architecture that guarantees collision avoidance and destination convergence for multiple sphere world holonomic agents is presented. The well es...
188
click to vote
SIGIR
2005
ACM
16 years 23 days ago
2005
ACM
We study the problem of offering publish/subscribe functionality on top of structured overlay networks using data models and languages from IR. We show how to achieve this by ext...
185
click to vote
CSL
2005
Springer
16 years 23 days ago
2005
Springer
We give a Natural Deduction formulation of an adaptation of G¨odel’s functional (Dialectica) interpretation to the extraction of (more) efficient programs from (classical) proof...
192
click to vote
ACMDIS
2004
ACM
16 years 20 days ago
2004
ACM
Design representations in user-centered design serve intentions for directing design process and communication functions for enlisting interdisciplinary participation. To disentan...
202
click to vote
ISORC
2003
IEEE
16 years 15 days ago
2003
IEEE
SMIL is a markup language which enables us to describe multimedia contents. This paper proposes a design model of SMIL browser functionality for mobile terminals whose resources a...