1116 search results - page 148 / 224 » Applying Predicate Abstraction to Abstract State Machines |
ECAI
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. This paper presents an approach for reasoning about action and change which appeals to the principle of Occam’s razor— roughly stating that the simplest explanations ...
FOSSACS
2004
Springer
15 years 4 months ago
2004
Springer
Labelled Markov processes (LMPs) are automata whose transitions are given by probability distributions. In this paper we present a ‘universal’ LMP as the spectrum of a commutat...
103
click to vote
GECCO
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. In practical applications evaluating a fitness function is frequently subject to noise, i. e., the “true fitness” is disturbed by some random variations. Evolutiona...
HYBRID
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. The problem of maintaining the crankshaft speed of an automotive engine within a given set interval (idle speed control), is formalized as a constrained control problem u...
102
click to vote
PCM
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. In this paper, a new sign-wise tied mixture HMM (SWTMHMM) is proposed and applied in vision-based sign language recognition (SLR). In the SWTMHMM, the mixture densities o...