1521 search results - page 147 / 305 » Efficient Design Validation Based on Cultural Algorithms |
ICPR
2006
IEEE
15 years 11 months ago
2006
IEEE
We present a novel multi-object tracking algorithm based on multiple hypotheses about the trajectories of the objects. Our work is inspired by Reid's multiple hypothesis trac...
WWW
2009
ACM
15 years 10 months ago
2009
ACM
In this paper, we propose a novel approach for composing existing web services to satisfy the correctness constraints to the design, including freeness of deadlock and unspecified...
JNW
2006
14 years 10 months ago
2006
Distributed hash tables (DHTs) can be used as the basis of a resilient lookup service in unstable environments: local routing tables are updated to reflected changes in the network...
HYBRID
2003
Springer
15 years 3 months ago
2003
Springer
This paper presents the qualitative heterogeneous control framework, a methodology for the design of a controlled hybrid system based on attractors and transitions between them. Th...
WAE
2001
14 years 11 months ago
2001
Geometric algorithms are based on geometric objects such as points, lines and circles. The term Kernel refers to a collection of representations for constant-size geometric objects...