1350 search results - page 22 / 270 » Reasoning about Staged Computation |
FDG
2009
ACM
15 years 4 months ago
2009
ACM
Designing videogames involves weaving together systems of rules, called game mechanics, which support and structure compelling player experiences. Thus a significant portion of ga...
AAAI
1996
14 years 11 months ago
1996
We present a connectionist architecture that supports almost instantaneous deductive and abductive reasoning. The deduction algorithm responds in few steps for single rule queries...
FAC
2000
14 years 9 months ago
2000
Formal approaches to the design of interactive systems rely on reasoning about properties of the t a very high level of abstraction. Specifications to support such an approach typi...
IADIS
2003
14 years 11 months ago
2003
Distributed data mining (DDM) is the semi-automatic pattern extraction of distributed data sources. The next generation of the data mining studies will be distributed data mining ...
JSW
2008
14 years 9 months ago
2008
--The vast amounts of data about people, things and the environment will require new ways of handling, searching and presenting information. New applications will increasingly be a...