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 7 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 11 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

14 years 3 hour 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 12 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 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers