1116 search results - page 183 / 224 » Applying Predicate Abstraction to Abstract State Machines |
MCS
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. One of the most widely applied techniques to deal with multiclass categorization problems is the pairwise voting procedure. Recently, this classical approach has been emb...
ACIVS
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. Feature subset selection is an important subject when training classifiers in Machine Learning (ML) problems. Too many input features in a ML problem may lead to the so-...
74
Voted
PKDD
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. We present a method for applying machine learning algorithms to the automatic classification of astronomy star surveys using time series of star brightness. Currently su...
78
Voted
GLOBECOM
2008
IEEE
15 years 5 months ago
2008
IEEE
Abstract—Over the past few years, wireless sensor networks received tremendous attention for monitoring physical phenomena, such as the temperature field in a given region. Appl...
125
click to vote
ICRA
2008
IEEE
15 years 5 months ago
2008
IEEE
Abstract— We propose a novel online framework for detecting moving shadows in video sequences using statistical learning techniques. In this framework, Support Vector Machines ar...