Sciweavers

3819 search results - page 3 / 764
» Simple Easy Terms
Sort
View
SENSYS
2010
ACM
13 years 5 months ago
sMAP: a simple measurement and actuation profile for physical information
As more and more physical information becomes available, a critical problem is enabling the simple and efficient exchange of this data. We present our design for a simple RESTful ...
Stephen Dawson-Haggerty, Xiaofan Jiang, Gilman Tol...
ICFP
2006
ACM
14 years 7 months ago
Simple unification-based type inference for GADTs
Generalized algebraic data types (GADTs), sometimes known as "guarded recursive data types" or "first-class phantom types", are a simple but powerful generaliz...
Simon L. Peyton Jones, Dimitrios Vytiniotis, Steph...
BIRTHDAY
2010
Springer
13 years 7 months ago
Verifying the Modal Logic Cube Is an Easy Task (For Higher-Order Automated Reasoners)
Prominent logics, including quantified multimodal logics, can be elegantly embedded in simple type theory (classical higher-order logic). Furthermore, off-the-shelf reasoning syste...
Christoph Benzmüller
ICANN
2005
Springer
14 years 1 months ago
Short Term Memory and Pattern Matching with Simple Echo State Networks
Two recently proposed approaches to recognize temporal patterns have been proposed by J¨ager with the so called Echo State Network (ESN) and by Maass with the so called Liquid Sta...
Georg Fette, Julian Eggert