1247 search results - page 250 / 250 » Reasoning about Function Objects |
QEST
2005
IEEE
14 years 1 hour ago
2005
IEEE
iLTL is a probabilistic temporal logic that can specify properties of multiple discrete time Markov chains (DTMCs). In this paper, we describe two related tools: MarkovEstimator a...
GECCO
2003
Springer
13 years 11 months ago
2003
Springer
The MasterMind game involves decoding a secret code. The classic game is a code of six possible colors in four slots. The game has been analyzed and optimal strategies have been po...