Search Sciweavers | Sciweavers

828 search results - page 2 / 166

» types 2000

click to vote

IJIS
2000

73views more IJIS 2000»

Fuzzy types: A new concept of type for managing vague structures

13 years 4 months ago

Download hera.ugr.es

Nicolás Marín, Olga Pons, Marí...

claim paper

Read More »

click to vote

ICRA
2000
IEEE

163views Robotics» more ICRA 2000»

The Anthropomorphic Biped Robot BIP2000

13 years 8 months ago

Download www.cs.cmu.edu

This paper describes the progress of the BIP2000 project. This project, in which four laboratories are involved for 4 years, as uimed at the realization of the lower part of an an...

Bernard Espiau, Philippe Sardain

claim paper

Read More »

click to vote

ICDCS
2000
IEEE

85views Distributed And Parallel Com...» more ICDCS 2000»

Contract Type Sequencing for Reallocative Negotiation

13 years 9 months ago

Download www.cs.cmu.edu

Martin Andersson, Tuomas Sandholm

claim paper

Read More »

click to vote

LICS
2000
IEEE

85views Automated Reasoning» more LICS 2000»

Resource-Bounded Continuity and Sequentiality for Type-Two Functionals

13 years 9 months ago

Download math.ucsd.edu

Samuel R. Buss, Bruce M. Kapron

claim paper

Read More »

click to vote

LICS
2000
IEEE

90views Automated Reasoning» more LICS 2000»

Imperative Programming with Dependent Types

13 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers