2273 search results - page 165 / 455 » On the Expressiveness and Complexity of ATL |
MICS
2010
14 years 5 months ago
2010
This paper provides methods to decide whether a given analytic function of several complex variables is a linear combination of finitely many given analytic functions with coeffic...
90
Voted
ACL
2011
14 years 1 months ago
2011
We cast the word alignment problem as maximizing a submodular function under matroid constraints. Our framework is able to express complex interactions between alignment component...
103
Voted
DLOG
2011
14 years 1 months ago
2011
We propose an extension of SROIQ with nominal schemas which can be used like “variable nominal concepts” within axioms. This feature allows us to express arbitrary DL-safe rule...
CHI
2001
ACM
15 years 10 months ago
2001
ACM
The DataTiles system integrates the benefits of two major interaction paradigms: graphical and physical user interfaces. Tagged transparent tiles are used as modular construction ...
142
click to vote
SIGMOD
2008
ACM
15 years 10 months ago
2008
ACM
We propose to demonstrate SGL, a language and system for writing computer games using data management techniques. We will demonstrate a complete game built using the system, and s...