Search Sciweavers | Sciweavers

3273 search results - page 6 / 655

» types 2007

Voted

BIOCOMP
2006

111views Bioinformatics» more BIOCOMP 2006»

Abstracted Stochastic Analysis of Type 1 Pili Expression in E.coli

15 years 5 months ago

Download ww1.ucmss.com

Hiroyuki Kuwahara, Chris J. Myers, Michael S. Samo...

claim paper

Read More »

120

Voted

CATS
2006

105views Applied Computing» more CATS 2006»

Compositional Type Systems for Stack-Based Low-Level Languages

15 years 5 months ago

Download www.cs.ioc.ee

Ando Saabas, Tarmo Uustalu

claim paper

Read More »

103

Voted

DAGSTUHL
2006

120views Software Engineering» more DAGSTUHL 2006»

Explaining Data Type Reduction in the Shape Analysis Framework

15 years 5 months ago

Download drops.dagstuhl.de

Björn Wachter

claim paper

Read More »

Voted

DAGSTUHL
2003

133views Software Engineering» more DAGSTUHL 2003»

XML: Model, Schemas, Types, Logics, and Queries

15 years 5 months ago

Download www.clairgrove.com

Nils Klarlund, Thomas Schwentick, Dan Suciu

claim paper

Read More »

Voted

EUSFLAT
2003

87views Fuzzy Logic» more EUSFLAT 2003»

From fuzzy type theory to fuzzy intensional logic

15 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers