Sciweavers

12015 search results - page 2182 / 2403
» Interactive Algorithms 2005
Sort
View
118
Voted
SCP
2010
172views more  SCP 2010»
14 years 11 months ago
Alternating-time stream logic for multi-agent systems
Constraint automata have been introduced to provide a compositional, operational semantics for the exogenous coordination language Reo, but they can also serve interface specifica...
Sascha Klüppelholz, Christel Baier
105
Voted
TKDE
2010
164views more  TKDE 2010»
14 years 11 months ago
Defeasible Contextual Reasoning with Arguments in Ambient Intelligence
Abstract—The imperfect nature of context in Ambient Intelligence environments and the special characteristics of the entities that possess and share the available context informa...
Antonis Bikakis, Grigoris Antoniou
110
Voted
VR
2010
IEEE
154views Virtual Reality» more  VR 2010»
14 years 11 months ago
On error bound estimation for motion prediction
A collaborative virtual environment (CVE) allows remote users to access and modify shared data through networks, such as the Internet. However, when the users are connected via th...
Rynson W. H. Lau, Kenneth Lee
196
Voted
AUGHUMAN
2010
14 years 10 months ago
On-line document registering and retrieving system for AR annotation overlay
We propose a system that registers and retrieves text documents to annotate them on-line. The user registers a text document captured from a nearly top view and adds virtual annot...
Hideaki Uchiyama, Julien Pilet, Hideo Saito
GAMESEC
2010
128views Game Theory» more  GAMESEC 2010»
14 years 10 months ago
Tracking Games in Mobile Networks
Abstract. Users of mobile networks can change their identifiers in regions called mix zones in order to defeat the attempt of third parties to track their location. Mix zones must ...
Mathias Humbert, Mohammad Hossein Manshaei, Julien...
« Prev « First page 2182 / 2403 Last » Next »