5608 search results - page 204 / 1122 » On the Theory of Matchgate Computations |
92
Voted
CONCUR
2009
Springer
15 years 8 months ago
2009
Springer
Theories identifying well-formed systems of processes—those that are free of communication errors and enjoy strong properties such as deadlock freedom—are based either on sessi...
IJCAI
1989
15 years 3 months ago
1989
Model-based revision of knowledge bases ex pressed as first-order theories was shown in [Winslett 88b] to be useful as a means of de scribing and reasoning about the effects o...
148
click to vote
CONTENT
2001
Springer
15 years 6 months ago
2001
Springer
This paper looks at existing computer games and virtual environments from the perspective of film theory and practice. From this, we will draw conclusions about the ways in which ...
ICRA
1999
IEEE
15 years 6 months ago
1999
IEEE
There has been an increasing interest in developing computational theories of autonomous robots. However the previous work has focused on intelligent modifications to internal com...
ITICSE
2006
ACM
15 years 7 months ago
2006
ACM
Teaching computer science to children is a major priority in most countries in the world. Nevertheless, Computer Science curricula do not seem to address the children’s world, c...