1143 search results - page 109 / 229 » Mental models of recursion |
ICIP
2006
IEEE
14 years 10 months ago
2006
IEEE
This paper studies linear prediction algorithms for packet-delay modeling. A detailed examination of the delay traces collected from video streams encoded at different bitrates, s...
TPHOL
2007
IEEE
14 years 3 months ago
2007
IEEE
This paper concerns the formal semantics of programming languages, and the specification and verification of software. We are interested in the verification of real programs, wr...
RECOMB
2001
Springer
14 years 1 months ago
2001
Springer
Previous divide-and-conquer segmentation analyses of DNA sequences do not provide a satisfactory stopping criterion for the recursion. This paper proposes that segmentation be con...
AUSAI
2006
Springer
13 years 11 months ago
2006
Springer
Estimating the structure of the human face is a long studied and difficult task. In this paper we present a new method for estimating facial structure from only a minimal number o...
ACL
2006
13 years 10 months ago
2006
This paper presents a new web mining scheme for parallel data acquisition. Based on the Document Object Model (DOM), a web page is represented as a DOM tree. Then a DOM tree align...