2909 search results - page 128 / 582 » Consistency of the theory of contexts |
178
click to vote
FOIKS
2008
Springer
15 years 8 months ago
2008
Springer
Abstract In this paper we present a new rule-based approach for consistency preserving view updating in deductive databases. Based on rule transformations performed during schema d...
163
click to vote
DAGSTUHL
2004
15 years 7 months ago
2004
One aim of tool integration is designing an integrated development environment that accesses the data/models of different tools and keeps them consistent throughout a project bein...
161
click to vote
TLCA
2009
Springer
16 years 27 days ago
2009
Springer
Abstract. Programming languages theory is full of problems that reduce to proving the consistency of a logic, such as the normalization of typed lambda-calculi, the decidability of...
152
click to vote
KR
2004
Springer
15 years 11 months ago
2004
Springer
Causation is defined recursively: event e is the cause of condition φ in context c iff e is the only sufficient cause of φ in c, and removing e from c either removes φ from c...
124
click to vote
NIME
2004
Springer
15 years 11 months ago
2004
Springer
The choice of mapping strategies to effectively map controller variables to sound synthesis algorithms is examined. Specifically, we look at continuous mappings that have a geom...