1999 search results - page 26 / 400 » Finding Reductions Automatically |
ENTCS
2007
14 years 9 months ago
2007
We propose a compositional technique for efficient verification of networks of parallel processes. It is based on an automatic analysis of LTSs of individual processes (using a f...
CADE
2000
Springer
15 years 2 months ago
2000
Springer
Abstract. aRa is an automatic theorem prover for various kinds of relation algebras. It is based on Gordeev’s Reduction Predicate Calculi for n-variable logic (RPCn) which allow ...
71
Voted
CARTOGRAPHICA
2010
14 years 7 months ago
2010
Shaded relief derived automatically from digital elevation models differs distinctly from traditional manual shading. Particularly at small scales, many small topographic details ...
CHI
2003
ACM
15 years 10 months ago
2003
ACM
Looking for a document in a stack of papers is a difficult job. If the "strata" of the drawer contents is known, then locating will be much easier. Strata Drawer is a ca...
ACSD
2007
IEEE
15 years 4 months ago
2007
IEEE
Today there are many process mining techniques that allow for the automatic construction of process models based on event logs. Unlike synthesis techniques (e.g., based on regions...