125 search results - page 3 / 25 » Combining Theories with Shared Set Operations |
98
Voted
COLCOM
2007
IEEE
15 years 6 months ago
2007
IEEE
—During collaborative writing each author works on a copy of the shared document. These copies are then merged to produce the final document. This asynchronous work is supported...
120
click to vote
FROCOS
2007
Springer
15 years 5 months ago
2007
Springer
We offer a transition system representing a high-level but detailed architecture for SMT solvers that combine a propositional SAT engine with solvers for multiple disjoint theorie...
108
click to vote
VSTTE
2012
Springer
13 years 7 months ago
2012
Springer
Motivated by the problem of deciding verification conditions for the verification of functional programs, we present new decision procedures for automated reasoning about functio...
106
click to vote
CSL
2010
Springer
15 years 22 days ago
2010
Springer
Our goal is to identify families of relations that are useful for reasoning about software. We describe such families using decidable quantifier-free classes of logical constraints...
115
click to vote
SIAMAM
2002
14 years 11 months ago
2002
A new morphological multiscale method in 3D image processing is presented which combines the image processing methodology based on nonlinear diffusion equations and the theory of g...