8228 search results - page 401 / 1646 » Structural Logical Relations |
204
click to vote
AAAI
2011
14 years 6 months ago
2011
A general game player automatically learns to play arbitrary new games solely by being told their rules. For this purpose games are specified in the game description language GDL...
199
click to vote
AAAI
2012
13 years 9 months ago
2012
Temporal Action Logics (TAL) is a class of temporal logics for reasoning about actions. We present a reformulation of TAL in Answer Set Programming (ASP), and discuss some synergi...
203
click to vote
COMPLIFE
2005
Springer
16 years 11 days ago
2005
Springer
During the last few years new functionalities of RNA have been discovered, renewing the need for computational tools for their analysis. To this respect, multiple sequence alignmen...
169
click to vote
DIGRA
2003
Springer
16 years 2 days ago
2003
Springer
We present a structural framework to describe games in terms of components. The components are divided into four major areas: meta-structure, bounding, narrative and objective. Th...
102
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
We state an elementary inequality for the structure from motion problem for m cameras and n points. This structure from motion inequality relates space dimension, camera parameter...