1116 search results - page 76 / 224 » Applying Predicate Abstraction to Abstract State Machines |
157
click to vote
APPROX
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Scheduling jobs on unrelated parallel machines so as to minimize the makespan is one of the basic, well-studied problems in the area of machine scheduling. In the first ...
140
click to vote
COLING
2008
15 years 5 months ago
2008
We propose a hybrid generative/discriminative framework for semantic parsing which combines the hidden vector state (HVS) model and the hidden Markov support vector machines (HMSV...
129
click to vote
PAKDD
2005
ACM
15 years 9 months ago
2005
ACM
Abstract. We apply a machine learning method to the occupation coding, which is a task to categorize the answers to open-ended questions regarding the respondent’s occupation. Sp...
124
click to vote
ARTMED
1999
15 years 4 months ago
1999
We present a Two-Stage Machine Learning (ML) model as a data mining method to develop practice guidelines and apply it to the problem of dementia staging. Dementia staging in clin...
143
click to vote
ICNC
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. In recent years, support vector machines (SVMs) have become a popular tool for pattern recognition and machine learning. Training a SVM involves solving a constrained qua...