Sciweavers

3819 search results - page 3 / 764
» Simple Easy Terms
Sort
View
89
Voted
SENSYS
2010
ACM
14 years 9 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...
82
Voted
ICFP
2006
ACM
15 years 11 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...
97
Voted
BIRTHDAY
2010
Springer
14 years 12 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
80
Voted
ICANN
2005
Springer
15 years 5 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