6881 search results - page 144 / 1377 » Motivation |
156
click to vote
ICPR
2008
IEEE
15 years 11 months ago
2008
IEEE
In this paper we use doubly stochastic matrices to establish a link between Birkhoff polytopes and heat kernels on graphs. Based on this analysis we construct a multi-dimensional ...
134
click to vote
ICPR
2008
IEEE
15 years 11 months ago
2008
IEEE
The paper shows how Particle Filters can be used to establish visually consistent partial correspondences between similar features in unrestricted 2D point sets representing shape...
166
click to vote
TPHOL
2008
IEEE
15 years 11 months ago
2008
IEEE
We describe a tutorial that demonstrates the use of the ACL2 theorem prover. We have three goals: to enable a motivated reader to start on a path towards effective use of ACL2; to...
124
click to vote
CEC
2007
IEEE
15 years 11 months ago
2007
IEEE
Abstract—Motivated by neutrality observed in natural evolution often redundant encodings are used in evolutionary algorithms. Many experimental studies have been carried out on t...
150
click to vote
CRV
2007
IEEE
15 years 11 months ago
2007
IEEE
Abstract— We present a formal framework for robotic cooperation in which we use an extension to Petri nets, known as workflow nets, to establish a protocol among mobile agents b...