4555 search results - page 442 / 911 » Deductive Algorithmic Knowledge |
172
click to vote
TPCD
1994
15 years 6 months ago
1994
Theorem proving techniques are particularly well suited for reasoning about arithmetic above the bit level and for relating di erent f abstraction. In this paper we show how a non-...
129
Voted
WCE
2007
15 years 5 months ago
2007
—Moving object detection is very important for video surveillance. In this paper, we present a new real time motion detection algorithm that is based on the integration of accumu...
136
click to vote
CLEF
2010
Springer
15 years 5 months ago
2010
Springer
This paper describes the participation of Idiap-MULTI to the Robot Vision Task at imageCLEF 2010. Our approach was based on a discriminative classification algorithm using multiple...
155
Voted
GECCO
2008
Springer
15 years 5 months ago
2008
Springer
This paper presents an efficient hybrid feature selection model based on Support Vector Machine (SVM) and Genetic Algorithm (GA) for large healthcare databases. Even though SVM an...
145
click to vote
BIOSYSTEMS
2007
15 years 4 months ago
2007
This paper develops an algorithm that extracts explanatory rules from microarray data, which we treat as time series, using genetic programming (GP) and fuzzy logic. Reverse polis...