1524 search results - page 218 / 305 » Game Relations and Metrics |
182
click to vote
LICS
2006
IEEE
16 years 13 days ago
2006
IEEE
We prove that the modal mu-calculus model-checking problem for (ranked and ordered) node-labelled trees that are generated by order-n recursion schemes (whether safe or not, and w...
155
click to vote
WG
2005
Springer
15 years 12 months ago
2005
Springer
We review the concepts of hypertree decomposition and hypertree width from a graph theoretical perspective and report on a number of recent results related to these concepts. We al...
172
click to vote
MM
2004
ACM
15 years 12 months ago
2004
ACM
We introduce a novel approach to the creation of Virtual Reality Art installations, which supports the design of alternative worlds, in which laws of Physics can be redefined to i...
149
click to vote
CHINZ
2007
ACM
15 years 10 months ago
2007
ACM
Research has been done into improving the means by which we organise and manage information. The usefulness of 2D versus 3D interfaces and environments has also been debated and e...
180
click to vote
JACM
2006
15 years 6 months ago
2006
"Experts algorithms" constitute a methodology for choosing actions repeatedly, when the rewards depend both on the choice of action and on the unknown current state of t...