6355 search results - page 199 / 1271 » From Logic to Games |
172
click to vote
TACAS
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. Synthesis is the automated construction of a system from its specification. The system has to satisfy its specification in all possible environments. Modern systems oft...
167
click to vote
TOOLS
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract. Virtual machines (VMs) emulating hardware devices are generally implemented in low-level languages for performance reasons. This results in unmaintainable systems that ar...
176
click to vote
CVPR
1997
IEEE
15 years 10 months ago
1997
IEEE
We present an incremental system that builds accurate CAD models of objects from multiple range images. Using a hybrid of surface mesh and volumetric representations, the system c...
156
click to vote
ICDIM
2007
IEEE
15 years 10 months ago
2007
IEEE
In this position paper we analyze the benefits of enabling virtual communities to self-organize and introduce a novel research direction for providing incentives, required in this...
163
click to vote
COMMA
2008
15 years 8 months ago
2008
In this paper we describe PADUA, a protocol designed to enable agents to debate an issue drawing arguments not from a knowledge base of facts, rules and priorities but directly fro...