Sciweavers

2372 search results - page 82 / 475
» is 2012
Sort
View
SIAMCOMP
2012
13 years 8 months ago
Local Versus Global Properties of Metric Spaces
d Abstract) Sanjeev Arora∗ L´aszl´o Lov´asz† Ilan Newman‡ Yuval Rabani§ Yuri Rabinovich¶ Santosh Vempala Motivated by applications in combinatorial optimization, we ini...
Sanjeev Arora, László Lovász,...
CONCUR
2012
Springer
13 years 8 months ago
Decidability Problems for Actor Systems
We introduce a nominal actor-based language and study its expressive power. We have identified the presence/absence of fields as a relevant feature: the dynamic creation of names...
Frank S. de Boer, Mahdi Mahdi Jaghoori, Cosimo Lan...
MMS
2012
13 years 8 months ago
Mixed reality web service platform
This paper presents a Web service platform for building augmented and mixed reality solutions. The platform, MRS-WS, allows clients to create, retrieve and modify augmented reality...
Petri Selonen, Petros Belimpasakis, Yu You, Timo P...
AAAI
2012
13 years 8 months ago
Width and Complexity of Belief Tracking in Non-Deterministic Conformant and Contingent Planning
It has been shown recently that the complexity of belief tracking in deterministic conformant and contingent planning is exponential in a width parameter that is often bounded and...
Blai Bonet, Hector Geffner
AAAI
2012
13 years 8 months ago
Computing Game-Theoretic Solutions and Applications to Security
The multiagent systems community has adopted game theory as a framework for the design of systems of multiple self-interested agents. For this to be effective, efficient algorith...
Vincent Conitzer