4270 search results - page 679 / 854 » A Permutation Approach to Validation |
156
click to vote
ENTCS
2006
15 years 6 months ago
2006
Consistency checking in the CSP B approach verifies that an individual controller process, defined using a sequential non-divergent subset of CSP, never calls a B operation outsid...
188
click to vote
IJCV
2008
15 years 6 months ago
2008
The recent development of Sequential Monte Carlo methods (also called particle filters) has enabled the definition of efficient algorithms for tracking applications in image sequen...
159
click to vote
FUIN
2006
15 years 6 months ago
2006
Parametric polymorphism constrains the behavior of pure functional programs in a way that allows the derivation of interesting theorems about them solely from their types, i.e., vi...
173
click to vote
IJRR
2008
15 years 6 months ago
2008
Designing distributed controllers for self-reconfiguring modular robots has been consistently challenging. We have developed a reinforcement learning approach which can be used bo...
169
click to vote
CN
2007
15 years 6 months ago
2007
In this paper, we develop a rigorous, unified framework based on ordinary differential equations (ODEs) to study epidemic routing and its variations. These ODEs can be derived a...