2287 search results - page 223 / 458 » Making it Real |
139
click to vote
DAC
2004
ACM
16 years 5 months ago
2004
ACM
Bounded Model Checking (BMC) relies on solving a sequence of highly correlated Boolean satisfiability (SAT) problems, each of which corresponds to the existence of counter-example...
141
click to vote
ICML
2009
IEEE
16 years 5 months ago
2009
IEEE
In many real-world domains, undirected graphical models such as Markov random fields provide a more natural representation of the dependency structure than directed graphical mode...
156
click to vote
ICML
2007
IEEE
16 years 5 months ago
2007
IEEE
In many prediction tasks, selecting relevant features is essential for achieving good generalization performance. Most feature selection algorithms consider all features to be a p...
111
click to vote
ICML
2003
IEEE
16 years 5 months ago
2003
IEEE
In many real world applications, active selection of training examples can significantly reduce the number of labelled training examples to learn a classification function. Differ...
125
click to vote
SIGSOFT
2005
ACM
16 years 5 months ago
2005
ACM
The growing popularity of aspect-oriented languages, such as AspectJ, and of corresponding design approaches, makes it important to learn how best to modularize programs in which ...