2312 search results - page 340 / 463 » An algorithmic approach to knowledge evolution |
163
click to vote
ICGI
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. We present an exact algorithm for identification of deterministic finite automata (DFA) which is based on satisfiability (SAT) solvers. Despite the size of the low level ...
136
click to vote
IPPS
2010
IEEE
15 years 3 months ago
2010
IEEE
Document clustering plays an important role in data mining systems. Recently, a flocking-based document clustering algorithm has been proposed to solve the problem through simulat...
163
click to vote
ICIP
2009
IEEE
15 years 3 months ago
2009
IEEE
This paper presents a bottom-up tracking algorithm for surveillance applications where speed and reliability in the case of multiple matches and occlusions are major concerns. The...
168
click to vote
SIGMOD
2011
ACM
14 years 8 months ago
2011
ACM
A surprising query result is often an indication of errors in the query or the underlying data. Recent work suggests using causal reasoning to find explanations for the surprisin...
206
click to vote
CEC
2011
IEEE
14 years 5 months ago
2011
IEEE
Abstract—Protein structure prediction is the problem of finding the functional conformation of a protein given only its amino uence. The HP lattice model is an abstract formulat...