3342 search results - page 465 / 669 » Symbolic Robustness Analysis |
135
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Continuing in the steps of Jon Kleinberg's and others celebrated work on decentralized search, we conduct an experimental analysis of destination sampling, a dynamic algorithm...
186
click to vote
CVIU
2008
15 years 6 months ago
2008
This paper presents a novel representation for human actions which encodes the variations in the shape and motion of the performing actor. When an actor performs an action, at eac...
231
click to vote
ENTCS
2008
15 years 6 months ago
2008
Transformation systems such as Stratego/XT provide powerful analysis and transformation frameworks and concise languages for language processing, but instantiating them for every ...
154
click to vote
EOR
2008
15 years 6 months ago
2008
In this paper we present an extension of ant colony optimization (ACO) to continuous domains. We show how ACO, which was initially developed to be a metaheuristic for combinatoria...
155
click to vote
CN
2006
15 years 6 months ago
2006
Internet maps are generally constructed using the traceroute tool from a few sources to many destinations. It appeared recently that this exploration process gives a partial and bi...