Sciweavers

2372 search results - page 82 / 475
» is 2012
Sort
View
SIAMCOMP
2012
13 years 10 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,...
341
Voted
CONCUR
2012
Springer
13 years 10 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 10 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 10 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 10 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