2200 search results - page 224 / 440 » The Generalized Pignistic Transformation |
115
Voted
BIB
2002
15 years 26 days ago
2002
The process of building a new database relevant to some field of study in biomedicine involves transforming, integrating, and cleansing multiple data sources, as well as adding ne...
101
click to vote
HVC
2005
Springer
15 years 6 months ago
2005
Springer
Testing forms a critical part of the development process for large-scale software, and there is growing need for automated tools that can read, represent, analyze, and transform th...
107
click to vote
CDC
2009
IEEE
15 years 5 months ago
2009
IEEE
Abstract— Q-learning is a technique used to compute an optimal policy for a controlled Markov chain based on observations of the system controlled using a non-optimal policy. It ...
101
click to vote
EDOC
2004
IEEE
15 years 4 months ago
2004
IEEE
In this paper we introduce a logical viewpoint on architectures. The logical viewpoint is based on the distinction between symbolic and semantic models of architectures. The core ...
96
Voted
NJC
2006
15 years 29 days ago
2006
Abstract. General purpose theorem provers provide advanced facilities for proving properties about specifications, and may therefore be a valuable tool in formal program developmen...