2909 search results - page 71 / 582 » Consistency of the theory of contexts |
145
click to vote
UC
2009
Springer
16 years 22 days ago
2009
Springer
Some physical aspects related to the limit operations of the Thomson lamp are discussed. Regardless of the formally unbounded and even infinite number of “steps” involved, the...
146
click to vote
WSFM
2007
Springer
16 years 9 days ago
2007
Springer
A fundamental promise of service oriented architecture (SOA) lies in the ease of integrating sharable information, processes, and other resources through interactions among the sha...
187
click to vote
ER
1993
Springer
15 years 10 months ago
1993
Springer
Two major problems in schema integration are to identify correspondences between different conceptual schemas and to verify that the proposed correspondences are consistent with th...
154
click to vote
REX
1991
15 years 9 months ago
1991
Abstract. We consider an optimal-reachability problem for a timed automaton with respect to a linear cost function which results in a weighted timed automaton. Our solution to this...
160
click to vote
AAAI
2000
15 years 7 months ago
2000
There are a number of frameworks for modelling argumentation in logic. They incorporate formal representation of individual arguments and techniques for comparing conflicting argu...