Search Sciweavers | Sciweavers

31686 search results - page 173 / 6338

» Resource typing in Guru

108

click to vote

SIGECOM
2008
ACM

129views ECommerce» more SIGECOM 2008»

Characterizing truthful mechanisms with convex type spaces

15 years 4 months ago

Download www.sigecom.org

Aaron Archer, Robert Kleinberg

claim paper

Read More »

click to vote

SIGIR
2008
ACM

76views Information Technology» more SIGIR 2008»

How to cope with questions typed by dyslexic users

15 years 4 months ago

Download lia.univ-avignon.fr

Laurianne Sitbon, Patrice Bellot

claim paper

Read More »

click to vote

APAL
2005

76views more APAL 2005»

Linear realizability and full completeness for typed lambda-calculi

15 years 4 months ago

Download users.dimi.uniud.it

Samson Abramsky, Marina Lenisa

claim paper

Read More »

click to vote

TCS
2008

88views Theoretical Computer Science» more TCS 2008»

A type assignment system for game semantics

15 years 4 months ago

Download users.dimi.uniud.it

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

claim paper

Read More »

122

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 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers