1916 search results - page 129 / 384 » Reasoning with class algebra |
108
Voted
AML
2008
15 years 27 days ago
2008
The basic motivation behind this work is to tie together various computational complexity classes, whether over different domains such as the naturals or the reals, or whether def...
124
click to vote
IJAC
2006
15 years 23 days ago
2006
There is a well-known correspondence between varieties of algebras and fully invariant congruences on the appropriate term algebra. A special class of varieties are those which ar...
94
Voted
GIS
2000
ACM
15 years 18 days ago
2000
ACM
Traditionally, the classes in thematic maps have been treated as crisp sets, using classical set theory. In this formulation, map classes are assumed to be mutually exclusive and e...
175
Voted
POPL
2003
ACM
16 years 1 months ago
2003
ACM
We present a generic aproach to the static analysis of concurrent programs with procedures. We model programs as communicating pushdown systems. It is known that typical dataflow ...
118
click to vote
DM
2007
15 years 22 days ago
2007
Switch-setting games like Lights Out are typically modelled as a graph, where the vertices represent switches and lamps, and the edges capture the switching rules. We generalize t...