Sciweavers

3914 search results - page 511 / 783
» Automating SLA modeling
Sort
View
KDD
1998
ACM
442views Data Mining» more  KDD 1998»
15 years 11 months ago
BAYDA: Software for Bayesian Classification and Feature Selection
BAYDA is a software package for flexible data analysis in predictive data mining tasks. The mathematical model underlying the program is based on a simple Bayesian network, the Na...
Petri Kontkanen, Petri Myllymäki, Tomi Siland...
SAT
2010
Springer
158views Hardware» more  SAT 2010»
15 years 10 months ago
Dynamic Scoring Functions with Variable Expressions: New SLS Methods for Solving SAT
Abstract. We introduce a new conceptual model for representing and designing Stochastic Local Search (SLS) algorithms for the propositional satisfiability problem (SAT). Our model...
Dave A. D. Tompkins, Holger H. Hoos
159
Voted
KBSE
1998
IEEE
15 years 10 months ago
Identifying Pre-Conditions with the Z/EVES Theorem Prover
Starting from a graphical data model (a subset of the OMT object model), a skeleton of formal specification can be generated and completed to express several constraints and provi...
Yves Ledru
VLDB
1997
ACM
121views Database» more  VLDB 1997»
15 years 10 months ago
The Microsoft Repository
TheMicrosoft Repositoryis anobject-orientedrepository thatshipsasacomponentof Visual Basic(Version 5.0). It includesasetof ActiveX interfacesthat adeveloper canuseto defineinforma...
Philip A. Bernstein, Brian Harry, Paul Sanders, Da...
ATAL
2008
Springer
15 years 8 months ago
An approach to online optimization of heuristic coordination algorithms
Due to computational intractability, large scale coordination algorithms are necessarily heuristic and hence require tuning for particular environments. In domains where character...
Jumpol Polvichai, Paul Scerri, Michael Lewis