3136 search results - page 287 / 628 » Comparison of Clique-Listing Algorithms |
147
click to vote
ATVA
2005
Springer
16 years 4 days ago
2005
Springer
This work extends the game-based framework of µ-calculus model checking to the multi-valued setting. In multi-valued model checking a formula is interpreted over a Kripke structur...
186
click to vote
CSCLP
2005
Springer
16 years 4 days ago
2005
Springer
Problems that can be sampled randomly are a good source of test suites for comparing quality of constraint satisfaction techniques. Quasigroup problems are representatives of struc...
162
click to vote
DAWAK
2005
Springer
16 years 4 days ago
2005
Springer
To preserve private information while providing thorough analysis is one of the significant issues in OLAP systems. One of the challenges in it is to prevent inferring the sensitiv...
156
click to vote
ECML
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. Ensemble learning is a powerful learning approach that combines multiple classifiers to improve prediction accuracy. An important decision while using an ensemble of cla...
157
Voted
EVOW
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. Experiments are described which use genetic algorithms operating on the parameter settings of an FM synthesizer, with the aim of mimicking known synthesized sounds. The w...