Search Sciweavers | Sciweavers

4880 search results - page 82 / 976

» Manuals as Structured Programs

110

click to vote

ICALP
2007
Springer

105views Programming Languages» more ICALP 2007»

A Framework for Dynamizing Succinct Data Structures

15 years 9 months ago

Download www.cs.duke.edu

Ankur Gupta, Wing-Kai Hon, Rahul Shah, Jeffrey Sco...

claim paper

Read More »

125

click to vote

ICALP
2003
Springer

112views Programming Languages» more ICALP 2003»

Problems on RNA Secondary Structure Prediction and Design

15 years 8 months ago

Download people.cs.ubc.ca

We describe several computational problems on prediction and design of RNA molecules.

Anne Condon

claim paper

Read More »

112

click to vote

ICLP
2010
Springer

132views Automated Reasoning» more ICLP 2010»

Focused Proof Search for Linear Logic in the Calculus of Structures

15 years 7 months ago

Download drops.dagstuhl.de

The proof-theoretic approach to logic programming has beneﬁted from the

Nicolas Guenot

claim paper

Read More »

104

click to vote

CLIN
2004

130views Computational Linguistics» more CLIN 2004»

Phases and Complexity in Phrase Structure Building

15 years 4 months ago

Download www.ciscl.unisi.it

The Minimalist Program (Chomsky 1995

Christiano Chesi

claim paper

Read More »

108

click to vote

TSE
2002

70views more TSE 2002»

The Effectiveness of Control Structure Diagrams in Source Code Comprehension Activities

15 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers