5707 search results - page 372 / 1142 » Symbolic Simulation - Techniques and Applications |
190
click to vote
PEPM
2010
ACM
16 years 4 months ago
2010
ACM
PET is a prototype Partial Evaluation-based Test case generation tool for a subset of Java bytecode programs. It performs white-box test generation by means of two consecutive Par...
233
click to vote
MIR
2010
ACM
16 years 2 months ago
2010
ACM
This paper discusses two sets of automatic musical genre classification experiments. Promising research directions are then proposed based on the results of these experiments. The...
213
click to vote
CAV
1999
Springer
15 years 12 months ago
1999
Springer
Abstract. In using the logic of equality with unininterpreted functions to verify hardware systems, specific characteristics of the formula describing the correctness condition ca...
205
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
This article studies the expressive power of finite automata recognizing sets of real numbers encoded in positional notation. We consider Muller automata as well as the restricted ...
235
click to vote
CI
2005
15 years 7 months ago
2005
Autonomous agents that learn about their environment can be divided into two broad classes. One class of existing learners, reinforcement learners, typically employ weak learning ...