1474 search results - page 237 / 295 » Using Machine Learning to Focus Iterative Optimization |
235
Voted
POPL
2007
ACM
16 years 2 months ago
2007
ACM
In this paper, we propose a new algorithm for proving the validity or invalidity of a pre/postcondition pair for a program. The algorithm is motivated by the success of the algori...
124
Voted
JSAC
2010
15 years 29 days ago
2010
Abstract—In this paper, we study how to optimize the transmission decisions of nodes aimed at supporting mission-critical applications, such as surveillance, security monitoring,...
110
click to vote
RECSYS
2009
ACM
15 years 9 months ago
2009
ACM
Previous work on using external aggregate rating information showed that this information can be incorporated in several different types of recommender systems and improves their...
138
Voted
LREC
2010
15 years 4 months ago
2010
In recent years, text classification in sentiment analysis has mostly focused on two types of classification, the distinction between objective and subjective text, i.e. subjectiv...
112
click to vote
ICDAR
2003
IEEE
15 years 7 months ago
2003
IEEE
Diagrams are a critical part of virtually all scientific and technical documents. Analyzing diagrams will be important for building comprehensive document retrieval systems. This ...