Search Sciweavers | Sciweavers

8021 search results - page 57 / 1605

» A Type System for Tom

click to vote

IJCNN
2007
IEEE

98views Neural Networks» more IJCNN 2007»

Nonlinear systems identification via two types of recurrent fuzzy CMAC

14 years 2 months ago

Download www.ctrl.cinvestav.mx

Floriberto Ortiz Rodriguez, Wen Yu, Marco A. Moren...

claim paper

Read More »

click to vote

ETRA
2006
ACM

102views Biometrics» more ETRA 2006»

A comparative usability study of two Japanese gaze typing systems

14 years 1 months ago

Download www.itu.dk

Kenji Itoh, Hirotaka Aoki, John Paulin Hansen

claim paper

Read More »

click to vote

ESOP
2005
Springer

117views Programming Languages» more ESOP 2005»

Instant Polymorphic Type Systems for Mobile Process Calculi: Just Add Reduction Rules and Close

14 years 1 months ago

Download henning.makholm.net

Henning Makholm, J. B. Wells

claim paper

Read More »

click to vote

FCT
2005
Springer

82views Applied Computing» more FCT 2005»

A Type System for Computationally Secure Information Flow

14 years 1 months ago

Download www.cs.ut.ee

Peeter Laud, Varmo Vene

claim paper

Read More »

click to vote

ECOOP
2003
Springer

90views Programming Languages» more ECOOP 2003»

A Type System and Analysis for the Automatic Extraction and Enforcement of Design Information

14 years 29 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers