26 search results - page 2 / 6 » ActiveOS: Virtualizing Intelligent Memory |
ATAL
2007
Springer
13 years 7 months ago
2007
Springer
For the past few years many new applications are being developed featuring interactive environments populated with autonomous virtual agents capable of acting according to their g...
IADIS
2004
13 years 6 months ago
2004
Inductive reasoning is one of the important characteristics of human intelligence. Researchers have regarded inductive reasoning as one of the seven primary mental abilities that ...
TPHOL
2009
IEEE
13 years 11 months ago
2009
IEEE
Abstract. This paper presents a separation-logic framework for reasoning about low-level C code in the presence of virtual memory. We describe ract, generic Isabelle/HOL framework ...
SAC
2002
ACM
13 years 4 months ago
2002
ACM
This paper describes some extensions added to the continuous simulation language OOCSMP to perform agent-oriented simulation. The extensions are tested by simulating the evolution...
AAAI
2010
13 years 6 months ago
2010
The depth first proof number search (df-pn) is an effective and popular algorithm for solving and-or tree problems by using proof and disproof numbers. This paper presents a simpl...