3395 search results - page 396 / 679 » Designs, Disputes and Strategies |
198
click to vote
ICRA
2009
IEEE
15 years 4 months ago
2009
IEEE
Ball dribbling is a central element of basketball and one main challenge for realizing basketball robots is to achieve the stability of the periodic dribbling task. In this paper t...
184
click to vote
ENTCS
2010
15 years 4 months ago
2010
We present MLSolver, a tool for solving the satisfiability and validity problems for modal fixpoint logics. The underlying technique is based on characterisations of satisfiabilit...
167
click to vote
IJACTAICIT
2010
15 years 4 months ago
2010
Image search engines tend to return a large number of images which the engines consider to be relevant, and such pool of results generally is very large and may be regarded to be ...
168
click to vote
INFORMATICALT
2010
15 years 4 months ago
2010
We present a novel dynamic network interdiction model that accounts for interactions between an interdictor deploying resources on arcs in a digraph and an evader traversing the ne...
202
click to vote
JDIM
2010
15 years 1 months ago
2010
: This paper explores the design, implementation and evaluation of context-aware mobile multimedia services by presenting six case studies on different application domains. The cas...