2477 search results - page 367 / 496 » Parallelizing Functional Programs by Generalization |
141
click to vote
CIE
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We prove a uniformly computable version of de Finetti’s theorem on exchangeable sequences of real random variables. In the process, we develop machinery for computably ...
138
click to vote
DOCENG
2009
ACM
15 years 11 months ago
2009
ACM
In this article, we introduce a new problem: the construction of multi-structured documents. We first offer an overview of existing solutions to the representation of such docum...
132
click to vote
ICRA
2008
IEEE
15 years 11 months ago
2008
IEEE
—The aim of this paper is to enable a programmer to easily employ external sensors for flexible robot manipulation. We describe a general approach to determine the relation betwe...
112
click to vote
ICTAI
2008
IEEE
15 years 11 months ago
2008
IEEE
In this paper, we develop heuristics for finding good starting points when solving large-scale nonlinear constrained optimization problems (COPs). We focus on nonlinear programmi...
141
click to vote
CP
2007
Springer
15 years 10 months ago
2007
Springer
We propose a new top down search-based algorithm for compiling AND/OR Multi-Valued Decision Diagrams (AOMDDs), as representations of the optimal set of solutions for constraint opt...