5608 search results - page 998 / 1122 » On the Theory of Matchgate Computations |
106
click to vote
IJCAI
1989
15 years 2 months ago
1989
t ion which is much more abstract than a place vocabulary, the kinematic topology. Kinematic topology does not define qualitative inference rules, but provides a characterization o...
102
click to vote
ATAL
2010
Springer
15 years 2 months ago
2010
Springer
Games are used to evaluate and advance Multiagent and Artificial Intelligence techniques. Most of these games are deterministic with perfect information (e.g. Chess and Checkers)....
CONCUR
2010
Springer
15 years 2 months ago
2010
Springer
Boolean notions of correctness are formalized by preorders on systems. Quantitative measures of correctness can be formalized by realvalued distance functions between systems, wher...
120
click to vote
MM
2010
ACM
15 years 1 months ago
2010
ACM
We revisit one of the most fundamental problems in multimedia that is receiving enormous attention from researchers without making much progress in solving it: the problem of brid...
129
click to vote
ALMOB
2007
15 years 1 months ago
2007
Understanding the protein folding mechanism remains a grand challenge in structural biology. In the past several years, computational theories in molecular dynamics have been empl...