Sciweavers

AMAI
2006
Springer
13 years 7 months ago
Computational methods for database repair by signed formulae
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...
Ofer Arieli, Marc Denecker, Bert Van Nuffelen, Mau...
AMAI
2006
Springer
13 years 7 months ago
A clausal resolution method for branching-time logic ECTL+
We expand the applicability of the clausal resolution technique to the branching-time temporal logic ECTL
Alexander Bolotov, Artie Basukoski
AMAI
2006
Springer
13 years 7 months ago
An algebraic framework for temporal attribute characteristics
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...
Michael H. Böhlen, Johann Gamper, Christian S...
AIS
2006
Springer
13 years 7 months ago
Computer vision for artists and designers: pedagogic tools and techniques for novice programmers
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 ...
Golan Levin
AIS
2006
Springer
13 years 7 months ago
"Carnivore personal edition": exploring distributed data surveillance
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....
Alexander R. Galloway
AIS
2006
Springer
13 years 7 months ago
Making games for social change
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...
Mary Flanagan
AIS
2006
Springer
13 years 7 months ago
Context enhancement for co-intentionality and co-reference in asynchronous CMC
The regulative and semantic `distance' of electronic conferencing may impede the topical alignment and the unambiguous interpretation of messages, hindering collaborative lear...
J. van der Pol, Wilfried Admiraal, P. Simons
AIS
2006
Springer
13 years 7 months ago
Experimental investigation into influence of negative attitudes toward robots on human-robot interaction
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&#...
Tatsuya Nomura, Takayuki Kanda, Tomohiro Suzuki