Search Sciweavers | Sciweavers

31686 search results - page 194 / 6338

» Resource typing in Guru

click to vote

IJCNN
2007
IEEE

98views Neural Networks» more IJCNN 2007»

Nonlinear systems identification via two types of recurrent fuzzy CMAC

14 years 3 months ago

Download www.ctrl.cinvestav.mx

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

claim paper

Read More »

click to vote

ESOP
2007
Springer

87views Programming Languages» more ESOP 2007»

Abstract Predicates and Mutable ADTs in Hoare Type Theory

14 years 3 months ago

Download www.eecs.harvard.edu

Aleksandar Nanevski, Amal Ahmed, Greg Morrisett, L...

claim paper

Read More »

click to vote

IFL
2007
Springer

110views Formal Methods» more IFL 2007»

XHaskell - Adding Regular Expression Types to Haskell

14 years 3 months ago

Download www.itu.dk

Martin Sulzmann, Kenny Zhuo Ming Lu

claim paper

Read More »

click to vote

WAIM
2007
Springer

132views Information Technology» more WAIM 2007»

Towards a Type-2 Fuzzy Description Logic for Semantic Search Engine

14 years 3 months ago

Download cs.hust.edu.cn

Ruixuan Li, Xiaolin Sun, Zhengding Lu, Kunmei Wen,...

claim paper

Read More »

click to vote

CSFW
2006
IEEE

92views Security Privacy» more CSFW 2006»

Managing Policy Updates in Security-Typed Languages

14 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers