1209 search results - page 91 / 242 » Universal Algebra and Computer Science |
144
Voted
FSTTCS
2009
Springer
15 years 9 months ago
2009
Springer
ABSTRACT. We continue the study of bottom-up unranked tree automata with equality and disequality constraints between direct subtrees. In particular, we show that the emptiness pro...
106
click to vote
BIRTHDAY
2010
Springer
15 years 7 months ago
2010
Springer
Domain Patrick Cousot2,3 , Radhia Cousot1,3 , and Laurent Mauborgne3,4 1 Centre National de la Recherche Scientifique 2 Courant Institute of Mathematical Sciences, New York Univer...
95
Voted
STOC
1992
ACM
15 years 6 months ago
1992
ACM
Paul Beame Joan Lawry Department of Computer Science and Engineering, FR-35 University of Washington Seattle, Washington 98195 Our main result is the demonstration of a Boolean fu...
132
click to vote
STTT
2010
14 years 9 months ago
2010
ion/refinement solvers1 Andreas Bauer , Martin Leucker , Christian Schallhart , Michael Tautschnig Computer Sciences Laboratory, Australian National University Institut f
137
Voted
IPPS
2006
IEEE
2006
IEEE
Parallel morphological processing of hyperspectral image data on heterogeneous networks of computers
15 years 8 months ago
Recent advances in space and computer technologies are revolutionizing the way remotely sensed data is collected, managed and interpreted. The development of efficient techniques ...