5034 search results - page 765 / 1007 » A Content-Centric Development Process Model |
169
click to vote
BIRTHDAY
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. State-of-the-art proof presentation systems suffer from several deficiencies. First, they simply present the proofs without motivating why the proof is done as it is do...
190
click to vote
WABI
2005
Springer
16 years 5 hour ago
2005
Springer
Abstract. Traditional sequence comparison by alignment applies a mutation model comprising two events, substitutions and indels (insertions or deletions) of single positions (SI). ...
164
click to vote
ITS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. There have been several attempts to automate knowledge acquisition for ITSs that teach procedural tasks. The goal of our project is to automate the acquisition of domain ...
161
click to vote
KDD
2004
ACM
15 years 12 months ago
2004
ACM
Detection of space-time clusters is an important function in various domains (e.g., epidemiology and public health). The pioneering work on the spatial scan statistic is often use...
162
click to vote
ICDAR
2003
IEEE
15 years 11 months ago
2003
IEEE
In this paper we propose a parallel approach for the Kmeans Vector Quantization (VQ) algorithm used in a twostage Hidden Markov Model (HMM)-based system for recognizing handwritte...