2841 search results - page 51 / 569 » A Call to Order |
PSYCHNOLOGY
2008
14 years 9 months ago
2008
This paper presents an overview of a study of 24 people who used an augmented reality game called TimeWarp. The paper initially discusses the game and evaluation methods chosen, i...
121
click to vote
POPL
1999
ACM
15 years 2 months ago
1999
ACM
hought of as abstract interpretation for the heap How we talk about the heap Program var X points to U that has an N field pointing to V We use first order predicate logic ¡...
IC
2004
14 years 11 months ago
2004
As networked virtual environments gain increasing interest and acceptance in the field of Internet applications, a lot of effort is drawn in the optimization of their performance, ...
AI
2004
Springer
14 years 9 months ago
2004
Springer
Qualitative choice logic (QCL) is a propositional logic for representing alternative, ranked options for problem solutions. The logic adds to classical propositional logic a new c...
AINA
2008
IEEE
15 years 4 months ago
2008
IEEE
In this paper we proposed a weighted suffix tree and find out it can improve the Intrusion Detection System (IDS). We firstly focus on the analysis of computer kernel system call,...