1754 search results - page 287 / 351 » Games with Incomplete Information |
COMGEO
2011
ACM
13 years 1 months ago
2011
ACM
ABSTRACT . Categories and Subject Descriptors K. Computing Milieux K.m MISCELLANEOUS General Terms Theory Keywords Cyber-physics, Internet of Things, Quantum computing Cloud Comput...
CORR
2012
Springer
12 years 5 months ago
2012
Springer
The paper describes the refinement algorithm for the Calculus of (Co)Inductive Constructions (CIC) implemented in the interactive theorem prover Matita. The refinement algorithm ...
LPNMR
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. The paper presents INFOMIX a successful application of ASP technology to the domain of Data Integration. INFOMIX is a novel system which supports powerful information int...
CHI
2005
ACM
14 years 10 months ago
2005
ACM
There is an asymmetry in many tangible interfaces: while phicons can be used to manipulate digital information, the reverse is often not possible ? the digital world cannot push b...
IROS
2007
IEEE
14 years 4 months ago
2007
IEEE
— We propose a novel approach for acquisition and development of behaviors through observation in multi-agent environment. Observed behaviors of others give fruitful hints for a ...