17920 search results - page 337 / 3584 » Recentering computer science |
139
click to vote
CSR
2007
Springer
16 years 27 days ago
2007
Springer
Abstract It has recently been proved (Je˙z, DLT 2007) that conjunctive grammars (that is, context-free grammars augmented by conjunction) generate some nonregular languages over a...
178
click to vote
ICTCS
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. We consider a call-by-value language, with higher-order functions, records, references to values of arbitrary type, and subtyping. We adapt an intrinsic denotational mode...
202
click to vote
ICALP
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. We present an expected polynomial time algorithm to generate a labeled planar graph uniformly at random. To generate the planar graphs, we derive recurrence formulas that...
157
click to vote
CRYPTOLOGIA
2006
15 years 6 months ago
2006
For a recent student conference, the authors developed a day-long design problem and competition suitable for engineering, mathematics, and science undergraduates. The competition ...