Sciweavers

7535 search results - page 44 / 1507
» A Type System for CHR
Sort
View
125
Voted
COOPIS
2003
IEEE
15 years 8 months ago
Static Type-Inference for Trust in Distributed Information Systems
Abstract. Decision-makers in critical fields such as medicine and finance make use of a wide range of information available over the Internet. Mediation, a data integration techn...
Premkumar T. Devanbu, Michael Gertz, Brian Toone
189
Voted
POPL
2002
ACM
16 years 3 months ago
A type system for certified binaries
Zhong Shao, Bratin Saha, Valery Trifonov, Nikolaos...
108
Voted
MEMBRANE
2009
Springer
15 years 10 months ago
Typed Membrane Systems
Bogdan Aman, Gabriel Ciobanu
IJCNN
2007
IEEE
15 years 9 months ago
Nonlinear systems identification via two types of recurrent fuzzy CMAC
Floriberto Ortiz Rodriguez, Wen Yu, Marco A. Moren...
ETRA
2006
ACM
102views Biometrics» more  ETRA 2006»
15 years 9 months ago
A comparative usability study of two Japanese gaze typing systems
Kenji Itoh, Hirotaka Aoki, John Paulin Hansen