Search Sciweavers | Sciweavers

Java offers the real possibility that most programs can be written in a type-safe language. However, for Java to be broadly useful, it needs additional expressive power. This pape...

Andrew C. Myers, Joseph A. Bank, Barbara Liskov

claim paper

Read More »

176

click to vote

ISER
1995
Springer

157views Robotics» more ISER 1995»

Robotic Perception of Material: Experiments with Shape-Invariant Acoustic Measures of Material Type

15 years 10 months ago

Download www.mzlabs.com

We present an active approach for discriminating different materials by impulsively contacting (hitting) them, and sensing and interpreting the resulting sounds. In theory, the an...

Eric Krotkov, Roberta L. Klatzky, Nina B. Zumel

claim paper

Read More »

147

click to vote

LICS
1995
IEEE

88views Automated Reasoning» more LICS 1995»

A Typed Calculus of Synchronous Processes

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers