Sciweavers

10414 search results - page 1817 / 2083
» An efficient algorithm for Co-segmentation
Sort
View
MVA
1992
159views Computer Vision» more  MVA 1992»
15 years 5 months ago
Qualitative Visual Interpretation of 3d Hand Gestures Using Motion Parallax
We present an efficient and geometrically intuitive algorithm to reliably interpret the image velocities of moving objects in 3D. It is well known that in a small neighbourhood th...
Roberto Cipolla, Yasukazu Okamoto, Yoshinori Kuno
WCE
2007
15 years 5 months ago
QoS-aware Multicast Ad hoc On-Demand Distance Vector Routing
—Ad hoc networking will become a major technology for wireless connectivity beside the multimedia necessity within the next few years. There are too many applications where one-t...
Vida Lashkari B. O., Mehdi Dehghan
AIPS
2009
15 years 5 months ago
Navigation Planning in Probabilistic Roadmaps with Uncertainty
Probabilistic Roadmaps (PRM) are a commonly used class of algorithms for robot navigation tasks where obstacles are present in the environment. We examine the situation where the ...
Michael Kneebone, Richard Dearden
127
Voted
ATAL
2010
Springer
15 years 5 months ago
Resource-bounded alternating-time temporal logic
Many problems in AI and multi-agent systems research are most naturally formulated in terms of the abilities of a coalition of agents. There exist several excellent logical tools ...
Natasha Alechina, Brian Logan, Nguyen Hoang Nga, A...
125
Voted
BIRTHDAY
2010
Springer
15 years 5 months ago
DKAL and Z3: A Logic Embedding Experiment
Yuri Gurevich and Itay Neeman proposed the Distributed Knowledge Authorization Language, DKAL, as an expressive, yet very succinctly expressible logic for distributed authorization...
Sergio Mera, Nikolaj Bjørner
« Prev « First page 1817 / 2083 Last » Next »