6740 search results - page 239 / 1348 » Using Classification as a Programming Language |
106
click to vote
PLDI
1999
ACM
15 years 6 months ago
1999
ACM
Whole program paths (WPP) are a new approach to capturing and representing a program’s dynamic—actually executed—control flow. Unlike other path profiling techniques, which ...
130
click to vote
FORTE
2010
15 years 3 months ago
2010
Abstract. Separation logic is a popular specification language for imperative programs where the heap can only be mentioned through pointsto assertions. However, separation logic&#...
152
click to vote
CEC
2007
IEEE
15 years 6 months ago
2007
IEEE
This article, which lies within the data mining framework, proposes a method to build classifiers based on the evolution of rules. The method, named REC (Rule Evolution for Classif...
175
click to vote
ICMCS
2000
IEEE
15 years 5 months ago
2000
IEEE
Video classi cation and segmentation are fundamental steps for e cient accessing, retrieving and browsing large amount of video data. We have developed a scene classi cationscheme...
118
click to vote
NIPS
2000
15 years 3 months ago
2000
An active set strategy is applied to the dual of a simple reformulation of the standard quadratic program of a linear support vector machine. This application generates a fast new...