3228 search results - page 363 / 646 » Computationally Sound Proofs |
134
click to vote
AISC
1994
Springer
15 years 8 months ago
1994
Springer
This paper investigates some soundness conditions which have to be fulfilled in systems with coercions and generic operators. A result of Reynolds on unrestricted generic operators...
102
click to vote
LILOG
1989
15 years 8 months ago
1989
We propose a theory for reasoning about actions based on order-sorted predicate logic where one can consider an elaborate taxonomy of objects. We are interested in the projection ...
149
click to vote
APLAS
2007
ACM
15 years 8 months ago
2007
ACM
: An Extended Abstract Alwen Tiu Computer Sciences Laboratory Australian National University Abstract. A notion of open bisimulation is formulated for the spi calculus, an extensio...
128
click to vote
CLEANDB
2006
ACM
15 years 7 months ago
2006
ACM
We consider the Entity Resolution (ER) problem (also known as deduplication, or merge-purge), in which records determined to represent the same real-world entity are successively ...
137
click to vote
VISUALIZATION
2000
IEEE
15 years 7 months ago
2000
IEEE
The techniques for reducing the size of a volume dataset by preserving both the geometrical/topological shape and the information encoded in an attached scalar field are attractin...