1636 search results - page 186 / 328 » Type-Theoretic Functional Semantics |
160
click to vote
APLAS
2010
ACM
15 years 4 months ago
2010
ACM
We consider the problem of specifying data structures with complex sharing in a manner that is both declarative and results in provably correct code. In our approach, abstract data...
132
click to vote
CGF
2010
15 years 4 months ago
2010
Symmetry is one of the most important properties of a shape, unifying form and function. It encodes semantic information on one hand, and affects the shape's aesthetic value ...
131
Voted
CORR
2002
Springer
15 years 3 months ago
2002
Springer
This paper describes the LDL++ system and the research advances that have enabled its design and development. We begin by discussing the new nonmonotonic and nondeterministic cons...
235
click to vote
ICDE
2003
IEEE
16 years 5 months ago
2003
IEEE
We present a technique for refining the design of relational storage for XML data based on XML key propagation. Three algorithms are presented: one checks whether a given function...
227
click to vote
ICDE
1998
IEEE
16 years 5 months ago
1998
IEEE
Traditional Event-Condition-Action triggers (active database rules) include a Boolean predicate as a trigger condition. We propose fuzzy triggers whereby fuzzy inference is utiliz...