1116 search results - page 75 / 224 » Applying Predicate Abstraction to Abstract State Machines |
109
click to vote
CAV
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. We address the verification problem of programs manipulating oneselector linked data structures. We propose a new automated approach for checking safety and termination f...
107
Voted
UC
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We propose a novel formulation of the firing squad synchronization problem. In this formulation we may use more than one general state and the general state to be used i...
131
click to vote
ICDM
2005
IEEE
15 years 10 months ago
2005
IEEE
Abstract— Support vector machines are very accurate classifiers and have been widely used in many applications. However, the training and to a lesser extent prediction time of s...
165
click to vote
AWCC
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Because of emergence of Semantic Web, It make possible for machines to understand the meaning of resources on the Web. The widespread availability of machine understandab...
131
click to vote
ML
2006
ACM
15 years 4 months ago
2006
ACM
This paper presents a representation for melodic segment classes and applies it to music data mining. Melody is modeled as a sequence of segments, each segment being a sequenceofno...