Search Sciweavers | Sciweavers

18429 search results - page 376 / 3686

» Typing dynamic typing

click to vote

APAL
2005

76views more APAL 2005»

Linear realizability and full completeness for typed lambda-calculi

15 years 6 months ago

Download users.dimi.uniud.it

Samson Abramsky, Marina Lenisa

claim paper

Read More »

101

click to vote

TCS
2008

88views Theoretical Computer Science» more TCS 2008»

A type assignment system for game semantics

15 years 6 months ago

Download users.dimi.uniud.it

Pietro Di Gianantonio, Furio Honsell, Marina Lenis...

claim paper

Read More »

151

click to vote

TCSV
2008

74views more TCSV 2008»

Robust and Accurate Object Tracking Under Various Types of Occlusions

15 years 6 months ago

Download www.cs.cmu.edu

Jiyan Pan, Bo Hu, Jian Qiu Zhang

claim paper

Read More »

154

click to vote

TFS
2008

116views more TFS 2008»

Corrections to "Aggregation Using the Linguistic Weighted Average and Interval Type-2 Fuzzy Sets"

15 years 6 months ago

Download www-scf.usc.edu

Dongrui Wu, Jerry M. Mendel

claim paper

Read More »

click to vote

BIOINFORMATICS
2005

51views more BIOINFORMATICS 2005»

Correlation of amino acid preference and mammalian viral genome type

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers