Sciweavers

742 search results - page 24 / 149
» Classical conditioning
Sort
View
CORR
2008
Springer
130views Education» more  CORR 2008»
13 years 8 months ago
Standard Logics Are Valuation-Nonmonotonic
It has recently been discovered that both quantum and classical propositional logics can be modelled by classes of nonorthomodular and thus non-distributive lattices that properly...
Mladen Pavicic, Norman D. Megill
CAV
2008
Springer
80views Hardware» more  CAV 2008»
13 years 10 months ago
Ranking Automata and Games for Prioritized Requirements
Requirements of reactive systems are usually specified by classifying system executions as desirable and undesirable. To specify prioritized requirements, we propose to associate a...
Rajeev Alur, Aditya Kanade, Gera Weiss
CP
2007
Springer
14 years 2 months ago
Constraint Symmetry for the Soft CSP
We introduce a definition of constraint symmetry for soft CSPs, based on the definition of constraint symmetry for classical CSPs. We show that the constraint symmetry group of a...
Barbara M. Smith, Stefano Bistarelli, Barry O'Sull...
EUROCAST
2003
Springer
134views Hardware» more  EUROCAST 2003»
14 years 1 months ago
Volumetric Texture Description and Discriminant Feature Selection for MRI
This paper considers the problem of texture description and feature selection for the classification of tissues in 3D Magnetic Resonance data. Joint statistical measures like grey...
Abhir Bhalerao, Constantino Carlos Reyes-Aldasoro
SIAMCO
2008
161views more  SIAMCO 2008»
13 years 8 months ago
Controllability and Observability of Second Order Descriptor Systems
We analyze controllability and observability conditions for second order descriptor systems and show how the classical conditions for first order systems can be generalized to this...
Philip Losse, Volker Mehrmann