3819 search results - page 3 / 764 » Simple Easy Terms |
115
click to vote
SENSYS
2010
ACM
14 years 11 months ago
2010
ACM
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 ...
110
Voted
ICFP
2006
ACM
16 years 1 months ago
2006
ACM
Generalized algebraic data types (GADTs), sometimes known as "guarded recursive data types" or "first-class phantom types", are a simple but powerful generaliz...
124
click to vote
BIRTHDAY
2010
Springer
15 years 2 months ago
2010
Springer
Prominent logics, including quantified multimodal logics, can be elegantly embedded in simple type theory (classical higher-order logic). Furthermore, off-the-shelf reasoning syste...
ICANN
2005
Springer
15 years 7 months ago
2005
Springer
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...
89
Voted
DEXAW
2002
IEEE
15 years 6 months ago
2002
IEEE