9284 search results - page 187 / 1857 » Knowledge State Algorithms |
153
click to vote
STOC
2006
ACM
16 years 6 months ago
2006
ACM
We prove that every problem in NP that has a zero-knowledge proof also has a zero-knowledge proof where the prover can be implemented in probabilistic polynomial time given an NP ...
194
click to vote
MICCAI
2007
Springer
16 years 7 months ago
2007
Springer
We present a novel automatic multiscale algorithm applied to segmentation of anatomical structures in brain MRI. The algorithm which is derived from algebraic multigrid, uses a gra...
159
click to vote
GECCO
2009
Springer
16 years 27 days ago
2009
Springer
Software testing can be re-formulated as a search problem, hence search algorithms (e.g., Genetic Algorithms) can be used to tackle it. Most of the research so far has been of emp...
152
click to vote
PKDD
2007
Springer
16 years 13 days ago
2007
Springer
Most knowledge discovery processes are biased since some part of the knowledge structure must be given before extraction. We propose a framework that avoids this bias by supporting...
165
click to vote
EDM
2009
15 years 4 months ago
2009
This paper presents several methods to automatically detecting students' mental models in MetaTutor, an intelligent tutoring system that teaches students self-regulatory proce...