1960 search results - page 29 / 392 » The Logic of Large Enough |
109
click to vote
BIRTHDAY
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. A paraconsistent logic is a logic which allows non-trivial inconsistent theories. One of the oldest and best known approaches to the problem of designing useful paraconsi...
148
click to vote
CSI
2007
15 years 1 months ago
2007
The Reference Model of Open Distributed Processing (RM-ODP) is a joint standardization effort by ITU-T and ISO/IEC for the specification of large open distributed systems. RM-ODP ...
112
click to vote
JUCS
2006
15 years 1 months ago
2006
: In this paper we describe a technique for monitoring and checking temporal logic assertions augmented with real-time and time-series constraints, or Metric Temporal Logic Series ...
119
click to vote
AVBPA
2005
Springer
15 years 7 months ago
2005
Springer
In this paper, we propose a new scheme that a user enrolls his fingerprint images sequentially captured by rolling and sliding his finger, thus continuously contacting on the sen...
FOSSACS
2006
Springer
15 years 5 months ago
2006
Springer
We take the point of view that, if transition systems are coalgebras for a functor T, then an adequate logic for these transition systems should arise from the `Stone dual' L ...