Sciweavers

73 search results - page 15 / 15
» Recursion and grammars for CS2
Sort
View
CORR
1999
Springer
104views Education» more  CORR 1999»
13 years 4 months ago
A Bootstrap Approach to Automatically Generating Lexical Transfer Rules
We describe a method for automatically generating Lexical Transfer Rules (LTRs) from word equivalences using transfer rule templates. Templates are skeletal LTRs, unspecified for ...
Davide Turcato, Paul McFetridge, Fred Popowich, Ja...
FOCS
2007
IEEE
13 years 11 months ago
On the Complexity of Nash Equilibria and Other Fixed Points (Extended Abstract)
d Abstract) Kousha Etessami LFCS, School of Informatics University of Edinburgh Mihalis Yannakakis Department of Computer Science Columbia University We reexamine what it means to...
Kousha Etessami, Mihalis Yannakakis
JUCS
2007
90views more  JUCS 2007»
13 years 4 months ago
High-level Structured Interactive Programs with Registers and Voices
Abstract: A model (consisting of rv-systems), a core programming language (for developing rv-programs), several specification and analysis techniques appropriate for modeling, pro...
Alexandru Popa, Alexandru Sofronia, Gheorghe Stefa...