5722 search results - page 328 / 1145 » the future of experimental research |
237
click to vote
SGAI
2010
Springer
15 years 4 months ago
2010
Springer
This paper presents work on using hierarchical long term memory to reduce the memory requirements of nearest sequence memory (NSM) learning, a previously published, instance-based ...
215
click to vote
NFM
2011
15 years 1 months ago
2011
Abstract. Event-B is a formal method for modeling and verifying consistency of systems. In formal methods such as Event-B, refinement is the process of enriching or modifying an a...
236
click to vote
CDC
2010
IEEE
14 years 10 months ago
2010
IEEE
— Preview Control design is proposed in order to reduce the settling time of Dual-Stage Actuators (DSA’s). It is shown that a significantly better performance is achieved by e...
167
click to vote
CHI
2011
ACM
14 years 10 months ago
2011
ACM
This paper presents computationally and physically augmented desktop objects - “Things that hover” - that is capable of moving autonomously on desktop, and discusses about tec...
196
click to vote
IJON
2011
14 years 10 months ago
2011
We introduce a machine learning based classifier that identifies free radio channels for cognitive radio. The architecture is designed for nanoscale implementation, under nanosc...