439 search results - page 19 / 88 » Choiceless Computation and Symmetry |
ICVS
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Most visual Simultaneous Localization And Mapping (SLAM) methods use interest points as landmarks in their maps of the environment. Often the interest points are detected...
B
2007
Springer
15 years 3 months ago
2007
Springer
Symmetry reduction is an established method for limiting the amount of states that have to be checked during exhaustive model checking. The idea is to only verify a single represen...
AMAI
2010
Springer
14 years 7 months ago
2010
Springer
Abstract We present a new approximate verification technique for falsifying the invariants of B models. The technique employs symmetry of B models induced by the use of deferred se...
78
Voted
ICPR
2008
IEEE
15 years 4 months ago
2008
IEEE
Most clustering algorithms operate by optimizing (either implicitly or explicitly) a single measure of cluster solution quality. Such methods may perform well on some data sets bu...
CIG
2006
IEEE
15 years 3 months ago
2006
IEEE
— Intelligent agents in games and simulators often operate in environments subject to symmetric transformations that produce new but equally legitimate environments, such as reï¬...