Sciweavers

536 search results - page 108 / 108
» The Optimality of Naive Bayes
Sort
View
EMSOFT
2011
Springer
12 years 5 months ago
From boolean to quantitative synthesis
Motivated by improvements in constraint-solving technology and by the increase of routinely available computational power, partial-program synthesis is emerging as an effective a...
Pavol Cerný, Thomas A. Henzinger