Search Sciweavers | Sciweavers

11808 search results - page 84 / 2362

» Isometries and Computability Structures

130

click to vote

RECOMB
1999
Springer

100views Computational Biology» more RECOMB 1999»

Internal loops in RNA secondary structure prediction

15 years 10 months ago

Download www.ctu.edu.vn

Rune B. Lyngsø, Michael Zuker, Christian N....

claim paper

Read More »

144

click to vote

RTA
1999
Springer

101views Theoretical Computer Science» more RTA 1999»

Strong Normalization of Proof Nets Modulo Structural Congruences

15 years 10 months ago

Download twiki.di.uniroma1.it

Roberto Di Cosmo, Stefano Guerrini

claim paper

Read More »

118

click to vote

SIGGRAPH
1996
ACM

175views Computer Graphics» more SIGGRAPH 1996»

OBBTree: A Hierarchical Structure for Rapid Interference Detection

15 years 10 months ago

Download gamma.cs.unc.edu

Stefan Gottschalk, Ming C. Lin, Dinesh Manocha

claim paper

Read More »

123

click to vote

ICDCS
1994
IEEE

83views Distributed And Parallel Com...» more ICDCS 1994»

A Group Structuring Mechanism for a Distributed Object-Oriented Language

15 years 10 months ago

Download www.cs.washington.edu

Przemyslaw Pardyak, Brian N. Bershad

claim paper

Read More »

131

click to vote

IPPS
1993
IEEE

70views Distributed And Parallel Com...» more IPPS 1993»

Explicit Parallel Structuring for Rule-Based Programming

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers