Sciweavers

1209 search results - page 86 / 242
» Universal Algebra and Computer Science
Sort
View
106
Voted
DLT
2009
15 years 10 days ago
The Pumping Lemma for Well-Nested Multiple Context-Free Languages
Seki et al. (1991) proved a rather weak pumping lemma for multiple context-free languages, which says that any infinite m-multiple context-free language contains a string that is p...
Makoto Kanazawa
111
Voted
ICALP
2007
Springer
15 years 8 months ago
Holographic Algorithms: The Power of Dimensionality Resolved
Valiant’s theory of holographic algorithms is a novel methodology to achieve exponential speedups in computation. A fundamental parameter in holographic algorithms is the dimens...
Jin-yi Cai, Pinyan Lu
SIGCSE
2008
ACM
113views Education» more  SIGCSE 2008»
15 years 2 months ago
Multidisciplinary students and instructors: a second-year games course
Computer games are a multi-billion dollar industry and have become an important part of our private and social lives. It is only natural, then, that the technology used to create ...
Nathan R. Sturtevant, H. James Hoover, Jonathan Sc...
COMPGEOM
1995
ACM
15 years 6 months ago
Triangulations Intersect Nicely
Abstract. We show that there is a matching between the edges of any two triangulations of a planar point set such that an edge of one triangulation is matched either to the identic...
Oswin Aichholzer, Franz Aurenhammer, Michael Tasch...
113
Voted
CHI
2009
ACM
16 years 3 months ago
Waterhouse: enabling secure e-mail with social networking
We present Waterhouse, a system for sending and receiving cryptographically protected electronic mail ("secure e-mail"). We show how an existing e-mail interface can be ...
Alex P. Lambert, Stephen M. Bezek, Karrie Karahali...