Visual trackan,g cou,ld be treeted as a param,eter estim.ation. problem, of target representastionbased on observations in im,age sequ.ences. A rich,er target represen,tation, wou...
Very large interactive wall displays do not lend themselves to use with traditional interaction modalities such as mice and keyboards. It is necessary that we develop new interact...
David England, Eva Hornecker, Chris Roast, Pablo R...
Higher-order recursion schemes are systems of rewrite rules on typed non-terminal symbols, which can be used to define infinite trees. The Global Modal Mu-Calculus Model Checking...
Multiagent environments are often not cooperative nor collaborative; in many cases, agents have conflicting interests, leading to adversarial interactions. This paper presents a ...
Inon Zuckerman, Sarit Kraus, Jeffrey S. Rosenschei...
Numerous real-time applications such computer games or flight simulators require non-repetitive high-resolution texturing on large landscapes. We propose an algorithm which proce...