682 search results - page 91 / 137 » Game Development Using Design-by-Contract |
APAL
2008
13 years 10 months ago
2008
We develop and study the complexity of propositional proof systems of varying strength extending resolution by allowing it to operate with disjunctions of linear equations instead ...
AAI
2005
13 years 9 months ago
2005
Virtual environments are now becoming a promising new technology to be used in the development of interactive learning environments for children. Perhaps triggered by the success ...
TROB
2008
13 years 9 months ago
2008
Affordances encode relationships between actions, objects and effects. They play an important role on basic cognitive capabilities such as prediction and planning. We address the p...
CN
1998
13 years 9 months ago
1998
We introduce a method for predicting the network traffic that will be generated by Collaborative Virtual Environment applications with varying numbers of participants. Statistical...
PAMI
2007
13 years 9 months ago
2007
—We develop a new graph-theoretic approach for pairwise data clustering which is motivated by the analogies between the intuitive concept of a cluster and that of a dominant set ...