Search Sciweavers | Sciweavers

13306 search results - page 87 / 2662

» Theoretical Computer Science

click to vote

SCCC
1997
IEEE

77views Theoretical Computer Science» more SCCC 1997»

Hyperstories: A Model to Specify and Design Interactive Educational Stories

15 years 2 months ago

Download www.dcc.uchile.cl

Mauricio Lumbreras, Jaime Sánchez

claim paper

Read More »

click to vote

FOCS
1996
IEEE

83views Theoretical Computer Science» more FOCS 1996»

Sampling According to the Multivariate Normal Density

15 years 2 months ago

Download research.microsoft.com

Ravi Kannan, Guangxing Li

claim paper

Read More »

click to vote

STACS
1997
Springer

93views Theoretical Computer Science» more STACS 1997»

Efficient Scaling-Invariant Checking of Timed Bisimulation

15 years 2 months ago

Download www.iis.nsk.su

Carsten Weise, Dirk Lenzkes

claim paper

Read More »

click to vote

TLCA
1997
Springer

101views Theoretical Computer Science» more TLCA 1997»

Typed Intermediate Languages for Shape Analysis

15 years 2 months ago

Download www.disi.unige.it

Gianna Bellè, Eugenio Moggi

claim paper

Read More »

click to vote

MFCS
1993
Springer

115views Theoretical Computer Science» more MFCS 1993»

Completeness Results for Linear Logic on Petri Nets

15 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers