Search Sciweavers | Sciweavers

31686 search results - page 194 / 6338

» Resource typing in Guru

120

click to vote

IJCNN
2007
IEEE

98views Neural Networks» more IJCNN 2007»

Nonlinear systems identification via two types of recurrent fuzzy CMAC

15 years 12 months ago

Download www.ctrl.cinvestav.mx

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

claim paper

Read More »

115

click to vote

ESOP
2007
Springer

87views Programming Languages» more ESOP 2007»

Abstract Predicates and Mutable ADTs in Hoare Type Theory

15 years 12 months ago

Download www.eecs.harvard.edu

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

claim paper

Read More »

134

click to vote

IFL
2007
Springer

110views Formal Methods» more IFL 2007»

XHaskell - Adding Regular Expression Types to Haskell

15 years 11 months ago

Download www.itu.dk

Martin Sulzmann, Kenny Zhuo Ming Lu

claim paper

Read More »

132

click to vote

WAIM
2007
Springer

132views Information Technology» more WAIM 2007»

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

15 years 11 months ago

Download cs.hust.edu.cn

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

claim paper

Read More »

110

click to vote

CSFW
2006
IEEE

92views Security Privacy» more CSFW 2006»

Managing Policy Updates in Security-Typed Languages

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers