742 search results - page 32 / 149 » Classical conditioning |
CHARME
2003
Springer
14 years 1 months ago
2003
Springer
This paper shows how classic inductive assertions can be used in conjunction with an operational semantics to prove partial correctness properties of programs. The method imposes o...
ICASSP
2011
IEEE
13 years 11 days ago
2011
IEEE
The Independent Component Analysis (ICA) model is extended to the case where the components are not necessarily independent: depending on the value a hidden latent process at the ...
ICRA
2009
IEEE
14 years 3 months ago
2009
IEEE
Abstract— In this paper, we describe the design of a deformable robot with a tensegrity structure that can crawl and we show the results of experiments showing the ability of the...
IIR
2010
13 years 10 months ago
2010
Recommender systems are intelligent applications that help on-line users to tackle information overload by providing recommendations of relevant items. Collaborative Filtering (CF...
CDC
2008
IEEE
14 years 3 months ago
2008
IEEE
Abstract— This paper presents necessary and sufficient conditions for null controllability of discrete-time linear systems subject to both input and state constraints. The class...