2841 search results - page 51 / 569 » A Call to Order |
175
Voted
PSYCHNOLOGY
2008
15 years 6 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...
272
click to vote
POPL
1999
ACM
15 years 11 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 ¡...
174
click to vote
IC
2004
15 years 8 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, ...
173
click to vote
AI
2004
Springer
15 years 6 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...
180
click to vote
AINA
2008
IEEE
16 years 1 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,...