Sciweavers

4359 search results - page 515 / 872
» Automated Pipeline Design
Sort
View
CADE
2005
Springer
16 years 7 months ago
Tabling for Higher-Order Logic Programming
We describe the design and implementation of a higher-order tabled logic programming interpreter where some redundant and infinite computation is eliminated by memoizing sub-comput...
Brigitte Pientka
EDBT
2002
ACM
138views Database» more  EDBT 2002»
16 years 6 months ago
DAML+OIL: A Reason-able Web Ontology Language
Ontologies are set to play a key role in the "Semantic Web", extending syntactic interoperability to semantic interoperability by providing a source of shared and precise...
Ian Horrocks
EVOW
2010
Springer
16 years 1 months ago
Evolving Behaviour Trees for the Commercial Game DEFCON
Abstract. Behaviour trees provide the possibility of improving on existing Artificial Intelligence techniques in games by being simple to implement, scalable, able to handle the c...
Chong-U Lim, Robin Baumgarten, Simon Colton
OOPSLA
2009
Springer
16 years 1 months ago
S.P.L.O.T.: software product lines online tools
This paper introduces S.P.L.O.T., a Web-based reasoning and configuration system for Software Product Lines (SPLs). The system benefits from mature logic-based reasoning techniq...
Marcílio Mendonça, Moises Branco, Do...
ACMACE
2009
ACM
16 years 1 months ago
Towards tailoring player experience in physical Wii games: a case study on relaxation
In this study we construct an artificial neural network model of players’ relaxation preferences while playing a physical Wii game. Developed technology will assist game designe...
Patrick Jarnfelt, Sebbe Selvig, Dajana Dimovska