2200 search results - page 186 / 440 » The Generalized Pignistic Transformation |
107
click to vote
HYBRID
2009
Springer
15 years 7 months ago
2009
Springer
We show that regarding finite automata (FA) as discrete, time-invariant linear systems over semimodules, allows to: (1) express FA minimization and FA determinization as particula...
97
Voted
ICASSP
2008
IEEE
15 years 7 months ago
2008
IEEE
This paper presents a new system that allows for intuitive control of an additive sound synthesis model from perceptually relevant high-level sonic features. We suggest a general ...
104
click to vote
ATAL
2007
Springer
15 years 7 months ago
2007
Springer
We define a tool-supported design framework that allows to specify an agent goal model and to automatically generate fragments of a BDI agent from it. We devise the design proces...
95
Voted
DNA
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Metabolic P systems, shortly MP systems, are a special class of P systems, introduced for expressing biological metabolism. Their dynamics are computed by metabolic algor...
116
Voted
HASKELL
2006
ACM
15 years 6 months ago
2006
ACM
We introduce the new, improved version of the Haskell Equational Reasoning Assistant, which consists of an Ajax application for rewriting Haskell fragments in their context, and a...