Sciweavers

4880 search results - page 82 / 976
» Manuals as Structured Programs
Sort
View
106
Voted
ICALP
2007
Springer
15 years 8 months ago
A Framework for Dynamizing Succinct Data Structures
Ankur Gupta, Wing-Kai Hon, Rahul Shah, Jeffrey Sco...
120
Voted
ICALP
2003
Springer
15 years 7 months ago
Problems on RNA Secondary Structure Prediction and Design
We describe several computational problems on prediction and design of RNA molecules.
Anne Condon
109
Voted
ICLP
2010
Springer
15 years 6 months ago
Focused Proof Search for Linear Logic in the Calculus of Structures
The proof-theoretic approach to logic programming has benefited from the
Nicolas Guenot
CLIN
2004
15 years 4 months ago
Phases and Complexity in Phrase Structure Building
The Minimalist Program (Chomsky 1995
Christiano Chesi
107
Voted
TSE
2002
70views more  TSE 2002»
15 years 2 months ago
The Effectiveness of Control Structure Diagrams in Source Code Comprehension Activities
T. Dean Hendrix, James H. Cross II, Saeed Maghsood...