1116 search results - page 188 / 224 » Applying Predicate Abstraction to Abstract State Machines |
137
click to vote
ECAIW
2008
Springer
15 years 27 days ago
2008
Springer
Abstract. Procedural knowledge in medicine uses to come expressed as isolated sentences in Clinical Practice Guidelines (CPG) that describe how to act in front of specific health-c...
ECIR
2008
Springer
15 years 17 days ago
2008
Springer
Abstract. We present results of a new approach to detect destructive article revisions, so-called vandalism, in Wikipedia. Vandalism detection is a one-class classification problem...
77
Voted
ESANN
2006
15 years 15 days ago
2006
Abstract. Response surfaces are a powerful tool for both classification and regression as they are able to model many different phenomena and construct complex boundaries between c...
101
click to vote
ECAI
2010
Springer
15 years 6 days ago
2010
Springer
Abstract. Machine learning techniques are increasingly being applied to problems in the domain of information retrieval and text mining. In this paper we present an application of ...
103
click to vote
AAECC
2007
Springer
14 years 11 months ago
2007
Springer
Abstract. We present new performance models and a new, more compact data structure for cache blocking when applied to the sparse matrixvector multiply (SpM×V) operation, y ← y +...