Search Sciweavers | Sciweavers

20441 search results - page 377 / 4089

» Locally Computable Structures

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

Download www.csie.ndhu.edu.tw

Shiow-yang Wu, James C. Browne

claim paper

Read More »

154

click to vote

EWHCI
1993

92views Human Computer Interaction» more EWHCI 1993»

Structuring the Field of HCI: An Empirical Study of Experts' Representations

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers