10392 search results - page 442 / 2079 » Introduction to Computer Science |
183
click to vote
WG
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. We consider broadcasting on asynchronous anonymous totally unoriented n
169
Voted
RTA
1997
Springer
15 years 11 months ago
1997
Springer
Abstract. We investigate conditions under which con uence and or termination are preserved for constructor-sharing and hierarchical combinations of rewrite systems, one of which is...
194
click to vote
CTRS
1992
15 years 11 months ago
1992
ded abstract of this paper is published in the proceedings of the 3rd International Workshop on Conditional Term Rewriting Systems, Pont- -Mousson, 1992 1
163
Voted
FOCS
1992
IEEE
15 years 11 months ago
1992
IEEE
The problem of evaluating the sign of the determinant of a small matrix arises in many geometric algorithms. Given an n
153
Voted
FOCS
1990
IEEE
15 years 11 months ago
1990
IEEE
The first algebraic average-case complete problem is presented. It is arguably the simplest natural average-case complete problem to date.