Search Sciweavers | Sciweavers

8

CORR
2010
Springer

143views Education» more CORR 2010»

Expressiveness of Generic Process Shape Types

13 years 4 months ago

METAI is a generic process calculus that can be instantiated by supplying rewriting rules defining an operational semantics to make numerous process calculi such as the -calculus,...

Jan Jakubuv, J. B. Wells

claim paper

Read More »

13

click to vote

POPL
1997
ACM

115views Programming Languages» more POPL 1997»

Shape Types

13 years 8 months ago

Download pop-art.inrialpes.fr

Type systems currently available for imperative languages are too weak to detect a signiﬁcant class of programming errors. For example, they cannot express the property that a l...

Pascal Fradet, Daniel Le Métayer

claim paper

Read More »

14

click to vote

ISER
1995
Springer

157views Robotics» more ISER 1995»

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

13 years 8 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 »

9

click to vote

SCALESPACE
2009
Springer

180views Computer Vision» more SCALESPACE 2009»

Fast Shape from Shading for Phong-Type Surfaces

13 years 9 months ago

Download www.mia.uni-saarland.de

Oliver Vogel, Michael Breuß, Thomas Leichtwe...

claim paper