10271 search results - page 628 / 2055 » Computer Science |
158
click to vote
ICALP
2004
Springer
16 years 21 days ago
2004
Springer
This paper studies the problem of matching sequences against regular expressions in order to produce structured values.
180
click to vote
ERSHOV
2003
Springer
16 years 16 days ago
2003
Springer
We present several new algorithms as well as new lower and upper bounds for optimizing functions underlying infinite games pertinent to computer-aided verification.
190
Voted
ICALP
2003
Springer
16 years 16 days ago
2003
Springer
Abstract. We show lower bounds in the cell probe model for the redundancy/query time tradeoff of solutions to static data structure problems.
154
click to vote
SIGCSE
1993
ACM
15 years 11 months ago
1993
ACM
Programming contests can provide a high-profile method for attracting interest in computer science. We describe our philosophy as it pertains to the purpose and merits of program...
201
click to vote
POPL
1990
ACM
15 years 11 months ago
1990
ACM
ical Abstract Machine Introduced in and G. Boudol. The chemical abstract machine. Theoretical Computer Science, 96(1):217