3951 search results - page 554 / 791 » Automatic amortized analysis |
193
click to vote
NPAR
2004
ACM
16 years 2 days ago
2004
ACM
ssionism”, (bottom row) “Abstract”, “Pointillism”, “Flower” and “Abstract” styles. Figure 3 shows some of the brush strokes used. We present techniques for trans...
186
click to vote
UIST
2004
ACM
16 years 1 days ago
2004
ACM
This paper presents an approach for tracking paper documents on the desk over time and automatically linking them to the corresponding electronic documents using an overhead video...
175
click to vote
DAGM
2004
Springer
16 years 1 days ago
2004
Springer
This paper proposes a system for model based human motion estimation. We start with a human model generation system, which uses a set of input images to automatically generate a f...
191
click to vote
SERA
2004
Springer
15 years 12 months ago
2004
Springer
NuEditor is a tool suite supporting specification and verification of software requirements written in NuSCR. NuSCR extends SCR (Software Cost Reduction) notation that has been us...
278
click to vote
PLDI
2003
ACM
15 years 12 months ago
2003
ACM
In prior work [15] we studied a language construct restrict that allows programmers to specify that certain pointers are not aliased to other pointers used within a lexical scope....