536 search results - page 44 / 108 » AI techniques in modelling, assignment, problem solving and ... |
138
click to vote
AI
2005
Springer
14 years 11 months ago
2005
Springer
Maximum Boolean satisfiability (max-SAT) is the optimization counterpart of Boolean satisfiability (SAT), in which a variable assignment is sought to satisfy the maximum number of...
IICAI
2003
15 years 1 months ago
2003
Computational Musicology is a new and emerging field which draws heavily from Computer Science, particularly Artificial Intelligence. Western Music has been under the gaze of thi...
IDA
2000
Springer
14 years 11 months ago
2000
Springer
The discovery of characteristic rules is a well-known data mining task and has lead to several successful applications. However, because of the descriptive nature of characteristic...
102
click to vote
AIR
2004
14 years 11 months ago
2004
Ensuring truthfulness amongst self-interested agents bidding against one another in an auction can be computationally expensive when prices are determined using the Vickrey-Clarke-...
GECCO
2008
Springer
15 years 27 days ago
2008
Springer
This paper proposes the incremental Bayesian optimization algorithm (iBOA), which modifies standard BOA by removing the population of solutions and using incremental updates of t...