4403 search results - page 130 / 881 » Galois Theory of Algorithms |
143
click to vote
ATAL
2007
Springer
16 years 15 days ago
2007
Springer
This paper proposes a context-dependent case-based mechanism for selecting negotiation partners with the focus on the adaptation of similarity relations to a specific context. Th...
186
click to vote
COSIT
1999
Springer
15 years 10 months ago
1999
Springer
We extend the theory about terminological default reasoning by using a logical base language that can represent spatioterminological phenomena. Based on this description logic lang...
156
click to vote
HYBRID
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. The theory of formal verification is one of the main approaches to hybrid system analysis. Decidability questions for verification algorithms are obtained by constructi...
161
click to vote
VLDB
1989
ACM
15 years 10 months ago
1989
ACM
In this paper, we introduce Quasi Serializability, a correctness criterion for concurrency control in heterogeneous distributed database environments. A global history is quasi se...
181
click to vote
LANMR
2004
15 years 7 months ago
2004
We recently proposed a definition of a language for nonmonotonic reasoning based on intuitionistic logic. Our main idea is a generalization of the notion of answer sets for arbitr...