3233 search results - page 538 / 647 » Validation Method for Intelligent Systems |
158
click to vote
CMMR
2007
Springer
16 years 16 days ago
2007
Springer
This paper presents a multiple-agent architecture created in Max/ MSP that generates polyphonic rhythmic patterns which continuously evolve and develop in a musically intelligent m...
185
click to vote
GECCO
2007
Springer
16 years 15 days ago
2007
Springer
The Unit Commitment Problem (UCP) is the task of finding an optimal turn on and turn off schedule for a group of power generation units over a given time horizon to minimize ope...
195
click to vote
ILP
2007
Springer
16 years 15 days ago
2007
Springer
Mode declarations are a successful form of language bias in explanatory ILP. But, while they are heavily used in Horn systems, they have yet to be similarly exploited in more expre...
161
click to vote
LPAR
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. We present Zenon, an automated theorem prover for first order classical logic (with equality), based on the tableau method. Zenon is intended to be the dedicated prover ...
141
click to vote
LPAR
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. Experiments show that many inequalities involving exponentials and logarithms can be proved automatically by combining a resolution theorem prover with a decision procedu...