466 search results - page 30 / 94 » Critical Reasoning |
133
click to vote
CRITICAL
2005
15 years 4 months ago
2005
In traditional computer games, it is not uncommon for the game world to be inhabited by numerous computergenerated characters, Non-Player Characters (NPCs). In pervasive games, pl...
120
Voted
CORR
2008
Springer
15 years 2 months ago
2008
Springer
This article introduces a fully automated verification technique that permits to analyze real-time systems described using a continuous notion of time and a mixture of operational...
118
click to vote
BIB
2006
15 years 2 months ago
2006
This article is a critical review of computational techniques used to model, analyse and simulate signalling networks. We propose a conceptual framework, and discuss the role of s...
114
Voted
JAR
2006
15 years 2 months ago
2006
Using automated reasoning techniques, we tackle the niche activity of proving that a program is free from run-time exceptions. Such a property is particularly valuable in high inte...
139
click to vote
COMMA
2006
15 years 3 months ago
2006
In this paper we present a novel approach for combining Case-Based Reasoning (CBR) and Argumentation. This approach involves 1) the use of CBR for evaluating the arguments submitt...