Sciweavers

9888 search results - page 340 / 1978
» compute 2009
Sort
View
CIE
2009
Springer
15 years 11 months ago
Algorithmic Minimal Sufficient Statistic Revisited
Abstract. We express some criticism about the definition of an algorithmic sufficient statistic and, in particular, of an algorithmic minimal sufficient statistic. We propose anoth...
Nikolay K. Vereshchagin
IEEESCC
2009
IEEE
15 years 5 months ago
Alignment of Choreography Changes in BPEL Processes
Choreography changes performed by one party may affect other parties. The changes and the implication for other parties can be determined. However, the required changes on the orc...
Andreas Wombacher
CIE
2009
Springer
16 years 2 months ago
Stochastic Programs and Hybrid Automata for (Biological) Modeling
We present a technique to associate to stochastic programs written in stochastic Concurrent Constraint Programming a semantics in terms of a lattice of hybrid automata. The aim of ...
Luca Bortolussi, Alberto Policriti
CEC
2009
IEEE
16 years 2 months ago
The Differential Ant-Stigmergy Algorithm applied to dynamic optimization problems
— Many real-world problems are dynamic, requiring an optimization algorithm which is able to continuously track a changing optimum over time. In this paper, we present a stigmerg...
Peter Korosec, Jurij Silc
IWPEC
2009
Springer
16 years 2 months ago
Partitioning into Sets of Bounded Cardinality
Abstract. We show that the partitions of an n-element set into k members of a given set family can be counted in time O((2− )n ), where > 0 depends only on the maximum size am...
Mikko Koivisto