68 search results - page 7 / 14 » 2006 and 2007 Max-SAT Evaluations: Contributed Instances |
ALGORITHMICA
2006
14 years 11 months ago
2006
Classification is a key problem in machine learning/data mining. Algorithms for classification have the ability to predict the class of a new instance after having been trained on...
COR
2007
14 years 11 months ago
2007
An NP-hard production–distribution problem for one product over a multi-period horizon is investigated. The aim is to minimize total cost taking production setups, inventory lev...
CEC
2007
IEEE
15 years 6 months ago
2007
IEEE
— Shared grammar evolution (SGE) is a novel scheme for representing and evolving a population of variablelength programs as a shared set of grammatical productions. Productions t...
ECML
2007
Springer
15 years 5 months ago
2007
Springer
We introduce a modified Kalman filter that performs robust, real-time outlier detection, without the need for manual parameter tuning by the user. Systems that rely on high quali...
95
Voted
FUIN
2007
14 years 11 months ago
2007
Abstract. Approximate Petri nets (AP-nets) can be used for the knowledge representation and approximate reasoning. The AP-net model is defined on the basis of the rough set approa...