206 search results - page 8 / 42 » Probabilistic Analysis of Large Finite State Machines |
146
click to vote
VOSS
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. This paper describes symbolic techniques for the construction, representation and analysis of large, probabilistic systems. Symbolic approaches derive their efficiency by...
EVOW
2003
Springer
15 years 4 months ago
2003
Springer
Abstract. Many evolutionary algorithm applications involve either fitness functions with high time complexity or large dimensionality (hence very many fitness evaluations will typi...
105
click to vote
VALUETOOLS
2006
ACM
15 years 5 months ago
2006
ACM
This paper proposes the modeling of technical systems and their behavior by means of Unified Modeling Language (UML) State Machines and the extending UML Profile for Schedulabil...
105
click to vote
TEC
2008
14 years 11 months ago
2008
Fingerprinting is a technique for generating a representation-independent functional signature for a game playing agent. Fingerprints can be used to compare agents across represent...
109
Voted
FASE
2006
Springer
15 years 3 months ago
2006
Springer
Techniques for inferring a regular language, in the form of a finite automaton, from a sufficiently large sample of accepted and nonaccepted input words, have been employed to cons...