1670 search results - page 241 / 334 » On Skolemization in constructive theories |
149
click to vote
ICAC
2007
IEEE
16 years 22 days ago
2007
IEEE
—A promising method of automating management tasks in computing systems is to formulate them as control or optimization problems in terms of performance metrics. For an online op...
175
click to vote
ICRA
2007
IEEE
16 years 21 days ago
2007
IEEE
— Quickly adapting the manufacturing system to the production of new or modified products is critical for manufacturers in order to stay competitive. For flexible manufacturing...
180
click to vote
ADBIS
2007
Springer
2007
Springer
Clustering Approach to Generalized Pattern Identification Based on Multi-instanced Objects with DARA
16 years 18 days ago
Clustering is an essential data mining task with various types of applications. Traditional clustering algorithms are based on a vector space model representation. A relational dat...
137
click to vote
ATAL
2007
Springer
16 years 18 days ago
2007
Springer
The interaction and integration of agent technology and data mining presents prominent benefits to solve some of challenging issues in individual areas. For instance, data mining ...
198
click to vote
ATAL
2007
Springer
16 years 18 days ago
2007
Springer
The General Game Playing (GGP) problem is concerned with developing systems capable of playing many different games, even games the system has never encountered before. Successful...