3233 search results - page 537 / 647 » Validation Method for Intelligent Systems |
185
click to vote
ICPR
2004
IEEE
16 years 7 months ago
2004
IEEE
Soccer, one of the popular sports around the world, is often broadcasted on TV, and various researches have done on soccer scene images such as strategy analysis, scene recovery, ...
154
click to vote
KDD
2006
ACM
16 years 6 months ago
2006
ACM
We study the mining of interesting patterns in the presence of numerical attributes. Instead of the usual discretization methods, we propose the use of rank based measures to scor...
154
click to vote
WOLLIC
2009
Springer
16 years 28 days ago
2009
Springer
Abstract. The newly developed behavioral approach to the algebraization of logics extends the applicability of the methods of algebraic logic to a wider range of logical systems, n...
153
click to vote
IWANN
2009
Springer
16 years 27 days ago
2009
Springer
Parallel computing has become an important research field in the last years. The availability of hardware and the success of grid computing have motivated this interest. In this pa...
185
click to vote
LOPSTR
2009
Springer
16 years 27 days ago
2009
Springer
We show how to combine the two most powerful approaches for automated termination analysis of logic programs (LPs): the direct approach which operates directly on LPs and the trans...