2200 search results - page 183 / 440 » The Generalized Pignistic Transformation |
120
click to vote
EUROMICRO
2009
IEEE
15 years 4 months ago
2009
IEEE
SaveCCM is a domain specific component model developed specifically for safety-critical hard real-time embedded systems in the vehicular domain. This paper expands the scope of Sa...
123
click to vote
GECCO
2006
Springer
15 years 4 months ago
2006
Springer
When Genetic Programming is used to evolve arithmetic functions it often operates by composing them from a fixed collection of elementary operators and applying them to parameters...
102
Voted
CHARME
2005
Springer
15 years 2 months ago
2005
Springer
Abstract. Automatic formal verification techniques generally require exponential resources with respect to the number of primary inputs of a netlist. In this paper, we present sev...
DLS
2008
15 years 2 months ago
2008
Parsing Expression Grammar (PEG) is a recognition-based foundation for describing syntax that renewed interest in top-down parsing approaches. Generally, the implementation of PEG...
92
Voted
ACL
2008
15 years 2 months ago
2008
Parse-tree paths are commonly used to incorporate information from syntactic parses into NLP systems. These systems typically treat the paths as atomic (or nearly atomic) features...