1704 search results - page 148 / 341 » Modeling virtualized applications using machine learning tec... |
113
Voted
ICFEM
2004
Springer
15 years 8 months ago
2004
Springer
We present a novel approach for verifying safety properties of finite state machines communicating over unbounded FIFO channels that is based on applying machine learning techniqu...
183
Voted
MLG
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. We revisit an application developed originally using Inductive Logic Programming (ILP) by replacing the underlying Logic Program (LP) description with Stochastic Logic Pr...
154
Voted
BMCBI
2006
15 years 2 months ago
2006
Background: Multicategory Support Vector Machines (MC-SVM) are powerful classification systems with excellent performance in a variety of data classification problems. Since the p...
132
Voted
AAAI
2007
15 years 5 months ago
2007
Accurately locating users in a wireless environment is an important task for many pervasive computing and AI applications, such as activity recognition. In a WiFi environment, a m...
108
Voted
AAAI
1996
15 years 4 months ago
1996
Rule induction research implicitly assumes that after producing the rules from a dataset, these rules will be used directly by an expert system or a human user. In real-life appli...