Sciweavers

1992 search results - page 44 / 399
» Model Based Testing with Labelled Transition Systems
Sort
View
NIPS
2003
15 years 3 months ago
Learning a World Model and Planning with a Self-Organizing, Dynamic Neural System
We present a connectionist architecture that can learn a model of the relations between perceptions and actions and use this model for behavior planning. State representations are...
Marc Toussaint
ECML
2007
Springer
15 years 8 months ago
On Phase Transitions in Learning Sparse Networks
In this paper we study the identification of sparse interaction networks as a machine learning problem. Sparsity means that we are provided with a small data set and a high number...
Goele Hollanders, Geert Jan Bex, Marc Gyssens, Ron...
JLP
2010
155views more  JLP 2010»
14 years 9 months ago
Compositional semantics of spiking neural P systems
The aim of the paper is to give a formal compositional semantics for Spiking Neural P systems (SNP systems) by following the Structural Operational Semantics (SOS) approach. A pro...
Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo ...
IFSA
2007
Springer
158views Fuzzy Logic» more  IFSA 2007»
15 years 8 months ago
Fuzziness and Performance: An Empirical Study with Linguistic Decision Trees
Abstract. Generally, there are two main streams of theories for studying uncertainties. One is probability theory and the other is fuzzy set theory. One of the basic ideas of fuzzy...
Zengchang Qin, Jonathan Lawry
HASE
2007
IEEE
15 years 8 months ago
Model-Checker-Based Testing of LTL Specifications
Luis García, Steve Roach