13784 search results - page 404 / 2757 » On Computing Functions with Uncertainty |
163
click to vote
COCO
2007
Springer
16 years 28 days ago
2007
Springer
We study the link between the complexity of a polynomial and that of its coefficient functions. Valiant’s theory is a good setting for this, and we start by generalizing one of V...
213
click to vote
FOSSACS
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. We introduce an extension of Hoare logic for call-by-value higherorder functions with ML-like local reference generation. Local references may be generated dynamically an...
204
click to vote
ICRA
2006
IEEE
16 years 24 days 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...
166
Voted
SIGIR
2005
ACM
16 years 9 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...
168
click to vote
CSL
2005
Springer
16 years 9 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...