Search Sciweavers | Sciweavers

7535 search results - page 44 / 1507

» A Type System for CHR

click to vote

COOPIS
2003
IEEE

96views Information Technology» more COOPIS 2003»

Static Type-Inference for Trust in Distributed Information Systems

14 years 29 days ago

Download www.cs.ucdavis.edu

Abstract. Decision-makers in critical ﬁelds such as medicine and ﬁnance make use of a wide range of information available over the Internet. Mediation, a data integration techn...

Premkumar T. Devanbu, Michael Gertz, Brian Toone

claim paper

Read More »

click to vote

POPL
2002
ACM

127views Programming Languages» more POPL 2002»

A type system for certified binaries

14 years 8 months ago

Download www.softlab.ntua.gr

Zhong Shao, Bratin Saha, Valery Trifonov, Nikolaos...

claim paper

Read More »

click to vote

MEMBRANE
2009
Springer

195views Applied Computing» more MEMBRANE 2009»

Typed Membrane Systems

14 years 2 months ago

Download www.gcn.us.es

Bogdan Aman, Gabriel Ciobanu

claim paper

Read More »

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

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers