1737 search results - page 30 / 348 » On Interpolation in Existence Logics |
176
click to vote
JVCA
2007
15 years 6 months ago
2007
Recently, animations with deforming objects have been frequently used in various computer graphics applications. Morphing of objects is one of the techniques which realize shape t...
170
click to vote
CSFW
2008
IEEE
16 years 16 days ago
2008
IEEE
We present an authorization logic that permits reasoning with explicit time. Following a proof-theoretic approach, we study the meta-theory of the logic, including cut elimination...
141
click to vote
ICCAD
1997
IEEE
15 years 10 months ago
1997
IEEE
Logic replication, the duplication of logic in order to limit communication between partitions, is an effective part of a complete partitioning solution. In this paper we seek a b...
120
click to vote
MLQ
2006
15 years 6 months ago
2006
We define the concept of a logic frame, which extends the concept stract logic by adding the concept of a syntax and an axiom system. In a recursive logic frame the syntax and the...
161
click to vote
FOSSACS
2005
Springer
15 years 11 months ago
2005
Springer
Modal logic has a good claim to being the logic of choice for describing the reactive behaviour of systems modeled as coalgebras. Logics with modal operators obtained from so-calle...