4075 search results - page 726 / 815 » Modeling Distributed Algorithm Using B |
154
click to vote
RSS
2007
15 years 5 months ago
2007
— Recent progress in the algorithm as well as the processor power have made the dynamics simulation of complex kinematic chains more realistic in various fields such as human mo...
136
click to vote
DAGSTUHL
2004
15 years 5 months ago
2004
Subgroup discovery aims at finding interesting subsets of a classified example set that deviates from the overall distribution. The search is guided by a so-called utility function...
157
click to vote
IJCAI
2001
15 years 5 months ago
2001
A new, general approach is described for approximate inference in first-order probabilistic languages, using Markov chain Monte Carlo (MCMC) techniques in the space of concrete po...
134
click to vote
GECCO
2008
Springer
15 years 5 months ago
2008
Springer
Modularity and symmetry are two properties observed in almost every engineering and biological structure. The origin of these properties in nature is still unknown. Yet, as engine...
133
click to vote
CCR
2008
15 years 4 months ago
2008
The well-accepted wisdom is that TCP's exponential backoff mechanism, introduced by Jacobson 20 years ago, is essential for preserving the stability of the Internet. In this ...