5799 search results - page 466 / 1160 » Position Paper |
170
click to vote
SEKE
2007
Springer
16 years 27 days ago
2007
Springer
In this paper, we present an approach to query processing for paraconsistent databases in the presence of integrity constraints. Paraconsistent databases are capable of representi...
198
click to vote
SIGADA
2007
Springer
16 years 27 days ago
2007
Springer
Teaching beginners predicate transformer semantics for imperative languages is not a trivial task. For Computer Science majors, the teaching of the theoretical material must be su...
155
click to vote
STACS
2007
Springer
16 years 27 days ago
2007
Springer
This paper is motivated by the open question whether the union of two disjoint NPcomplete sets always is NP-complete. We discover that such unions retain much of the complexity of...
156
click to vote
TAMC
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. Formal language learning models have been widely investigated in the last four decades. But it was not until recently that the model of learning from corrections was intr...
342
click to vote
UIC
2007
Springer
16 years 27 days ago
2007
Springer
This paper presents an activity recognition approach based on the tracking of a specific human actor’s current object manipulation actions, complemented by two kinds of situation...