5608 search results - page 253 / 1122 » On the Theory of Matchgate Computations |
182
click to vote
CAV
2009
Springer
15 years 10 months ago
2009
Springer
We consider the decision problem for quantifier-free formulas whose atoms are linear inequalities interpreted over the reals or rationals. This problem may be decided using satisf...
188
click to vote
IE
2007
15 years 8 months ago
2007
How can we help people design well-formed and innovative games? The design Patterns of Christopher Alexander is one methodology that has been proposed to assist in the design of w...
175
click to vote
SIROCCO
2008
15 years 8 months ago
2008
We consider the problem of computing -approximate Nash equilibria in network congestion games. The general problem is known to be PLS-complete for every > 0, but the reductions...
176
click to vote
AAAI
2006
15 years 8 months ago
2006
We summarize the continuous thread of research we have conducted over the past thirty years on human-computer collaboration. This research reflects many of the themes and issues i...
167
click to vote
WSCG
2004
15 years 8 months ago
2004
A method based on computer vision technologies is presented to achieve the function that the simulated motion in sport simulation system and the motion in sport video are presente...