1704 search results - page 148 / 341 » Modeling virtualized applications using machine learning tec... |
80
Voted
ICFEM
2004
Springer
15 years 3 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...
132
Voted
MLG
2007
Springer
15 years 4 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...
112
Voted
BMCBI
2006
14 years 10 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...
AAAI
2007
15 years 18 days 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...
AAAI
1996
14 years 11 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...