3740 search results - page 548 / 748 » A Fast Skeletonization Method |
TACAS
2009
Springer
14 years 5 months ago
2009
Springer
Abstract. Directed model checking is a well-established technique that is tailored to fast detection of system states that violate a given safety property. This is achieved by inï¬...
CEC
2009
IEEE
14 years 5 months ago
2009
IEEE
Abstract—In the real world, many applications are nonstationary optimization problems. This requires that optimization algorithms need to not only ï¬nd the global optimal soluti...
P2P
2009
IEEE
14 years 5 months ago
2009
IEEE
Distributed systems such as Peer-to-Peer overlays have been shown to efï¬ciently support the processing of range queries over large numbers of participating hosts. In such system...
ICRA
2009
IEEE
14 years 5 months ago
2009
IEEE
Sound source localization is an important function in robot audition. The existing works perform sound source localization using static microphone arrays. This work proposes a fram...
IROS
2009
IEEE
14 years 5 months ago
2009
IEEE
— When children learn to grasp a new object, they often know several possible grasping points from observing a parent’s demonstration and subsequently learn better grasps by tr...