AMAI
2006
Springer
13 years 11 months ago
2006
Springer
AMAI
2006
Springer
13 years 11 months ago
2006
Springer
We introduce a simple and practical method for repairing inconsistent databases. Given a possibly inconsistent database, the idea is to properly represent the underlying problem, i...
AMAI
2006
Springer
13 years 11 months ago
2006
Springer
We expand the applicability of the clausal resolution technique to the branching-time temporal logic ECTL
AMAI
2006
Springer
13 years 11 months ago
2006
Springer
Most real-world database applications manage temporal data, i.e., data with associated time references that capture a temporal aspect of the data, typically either when the data i...
AIS
2006
Springer
13 years 11 months ago
2006
Springer
Abstract This article attempts to demystify computer vision for novice programmers through a survey of new applications in the arts, system design considerations, and contemporary ...
AIS
2006
Springer
13 years 11 months ago
2006
Springer
The goal of this paper is to offer, in straight forward terms, some practical insight into distributed data surveillance. I will use the software project Carnivore as a case study....
AIS
2006
Springer
13 years 11 months ago
2006
Springer
This paper provides an overview of creating games for change from within an academic context, focusing specifically on the development of educational computer games for middle scho...
AIS
2006
Springer
13 years 11 months ago
2006
Springer
The regulative and semantic `distance' of electronic conferencing may impede the topical alignment and the unambiguous interpretation of messages, hindering collaborative lear...
AIS
2006
Springer
13 years 11 months ago
2006
Springer
Negative attitudes toward robots are considered as one of psychological factors preventing humans from interacting with robots in daily life. To verify their influence on humans&#...
AIS
2006
Springer
13 years 11 months ago
2006
Springer