Sciweavers

2163 search results - page 50 / 433
» cases 2004
Sort
View
CLEIEJ
2004
168views more  CLEIEJ 2004»
14 years 9 months ago
Contributions of KDD to the Knowledge Management Process: a Case Study
Knowledge Discovery in Databases (KDD), as any organizational process, is carried out beneath a Knowledge Management (KM) model adopted (even informally) by a corporation. KDD is ...
Paulo de Tarso Costa de Sousa, Hércules Ant...
COMCOM
2004
117views more  COMCOM 2004»
14 years 9 months ago
The case for interdomain dynamic QoS-based service negotiation in the internet
The evolution of the Internet towards a global infrastructure for real time voice and video applications involves providing stringent Quality of Service (QoS) levels. Although som...
Carlos Alberto Kamienski, Djamel Sadok
ICCBR
2005
Springer
15 years 3 months ago
Learning to Win: Case-Based Plan Selection in a Real-Time Strategy Game
While several researchers have applied case-based reasoning techniques to games, only Ponsen and Spronck (2004) have addressed the challenging problem of learning to win real-time ...
David W. Aha, Matthew Molineaux, Marc J. V. Ponsen
CVDB
2004
ACM
15 years 3 months ago
A Case Study on Array Query Optimisation
The development of applications involving multi-dimensional data sets on top of a RDBMS raises several difficulties that are not directly related to the scientific problem being ...
Roberto Cornacchia, Alex van Ballegooij, Arjen P. ...
68
Voted
AMAI
2004
Springer
15 years 3 months ago
Using Automatic Case Splits and Efficient CNF Translation to Guide a SAT-solver when Formally Verifying Out-Of-Order Processors
The paper integrates automatically generated case-splitting expressions, and an efficient translation to CNF, in order to formally verify an out-of-order superscalar processor havi...
Miroslav N. Velev