13306 search results - page 357 / 2662 » Theoretical Computer Science |
151
click to vote
ACSE
1998
ACM
15 years 11 months ago
1998
ACM
This paper describes a joint project between Massey and Waikato Universities to investigate the potential of ATM in providing telepresence in distance education situations. In 199...
203
click to vote
RTA
2010
Springer
15 years 10 months ago
2010
Springer
In earlier work, we have shown that for confluent term rewrite systems (TRSs for short), innermost polynomial runtime complexity induces polytime computability of the functions de...
166
click to vote
CSR
2008
Springer
15 years 8 months ago
2008
Springer
Versus the customary preconditioners, our weakly random ones are generated more readily and for a much larger class of input matrices. Furthermore our preconditioners have a wider...
168
click to vote
TCS
2008
15 years 6 months ago
2008
Several mathematical distances between probabilistic languages have been investigated in the literature, motivated by applications in language modeling, computational biology, syn...
152
click to vote
CAD
2008
Springer
15 years 6 months ago
2008
Springer
Curves on surfaces play an important role in computer-aided geometric design. Because of the considerably high degree of exact curves on surfaces, approximation algorithms are pre...