Sciweavers

3406 search results - page 405 / 682
» Computational models of classical conditioning
Sort
View
GECCO
2005
Springer
175views Optimization» more  GECCO 2005»
16 years 3 days ago
Nonlinear feature extraction using a neuro genetic hybrid
Feature extraction is a process that extracts salient features from observed variables. It is considered a promising alternative to overcome the problems of weight and structure o...
Yung-Keun Kwon, Byung Ro Moon
FM
2003
Springer
112views Formal Methods» more  FM 2003»
15 years 11 months ago
Structuring Retrenchments in B by Decomposition
Simple retrenchment is briefly reviewed in the B language of J.-R. Abrial [1] as a liberalisation of classical refinement, for the formal description of application developments ...
Michael Poppleton, Richard Banach
ECSQARU
2009
Springer
15 years 10 months ago
Different Representations of Fuzzy Vectors
Fuzzy vectors were introduced as a description of imprecise quantities whose uncertainty originates from vagueness, not from a probabilistic model. Support functions are a classica...
Jiuzhen Liang, Mirko Navara, Thomas Vetterlein
ICALP
2000
Springer
15 years 10 months ago
The Many Faces of a Translation
First-order translations have recently been characterized as the maps computed by aperiodic single-valued nondeterministic finite transducers (NFTs). It is shown here that this ch...
Pierre McKenzie, Thomas Schwentick, Denis Th&eacut...
EFDBS
2003
15 years 8 months ago
Implementing Mediators through Virtual Updateable Views
Mediators are considered basic architectural units for integration of distributed, heterogeneous information resources. In the paper we propose powerful virtual updateable views as...
Hanna Kozankiewicz, Jacek Leszczylowski, Kazimierz...