7988 search results - page 1273 / 1598 » A Useful Undecidable Theory |
225
click to vote
IE
2007
15 years 9 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...
209
click to vote
IE
2007
15 years 9 months ago
2007
The concept of dramatic level is crucial for a model of dramatic flow. We present a framework to maintain optimal dramatic flow in an interactive 3D environment where both linea...
231
click to vote
FPGA
2008
ACM
15 years 9 months ago
2008
ACM
We present an in-depth analysis of the Xilinx bitstream format. The information gathered in this paper allows bitstream compilation and decompilation. While not actually compromis...
204
click to vote
AAAI
2010
15 years 9 months ago
2010
Belief revision performs belief change on an agent's beliefs when new evidence (either of the form of a propositional formula or of the form of a total pre-order on a set of ...
188
click to vote
AGI
2008
15 years 9 months ago
2008
AI has many techniques and tools at its disposal, yet seems to be lacking some special "juice" needed to create a true being. We propose that the missing ingredients are ...