2995 search results - page 253 / 599 » On multi-avoidance of generalized patterns |
TACAS
2012
Springer
12 years 6 months ago
2012
Springer
Abstract. The pairwise reachability problem for a multi-threaded program asks, given control locations in two threads, whether they can be simultaneously reached in an execution of...
CVPR
2012
IEEE
12 years 1 months ago
2012
IEEE
A large number of vision applications rely on matching keypoints across images. The last decade featured an arms-race towards faster and more robust keypoints and association algo...
WWW
2009
ACM
14 years 11 months ago
2009
ACM
Existing keyword suggestion tools from various search engine companies could automatically suggest keywords related to the advertisers' products or services, counting in simp...
ECOOP
2007
Springer
14 years 5 months ago
2007
Springer
We present MJ: a language for specifying general classes whose members are produced by iterating over members of other classes. We call this technique “class morphing” or just ...
IROS
2006
IEEE
14 years 4 months ago
2006
IEEE
—Robot imitation is a useful and promising alternative to robot programming. Robot imitation involves two crucial issues. The first is how a robot can imitate a human whose phys...