1732 search results - page 189 / 347 » Sequences of Level 1, 2, 3, ..., k , .. |
260
click to vote
MM
2003
ACM
15 years 11 months ago
2003
ACM
In this paper, we describe how a detail-on-demand representation for interactive video is used in video summarization. Our approach automatically generates a hypervideo composed o...
154
click to vote
WCRE
2000
IEEE
15 years 11 months ago
2000
IEEE
We show how hypertext-based program understanding tools eve new levels of abstraction by using inferred type information for cases where the subject software system is written in ...
137
click to vote
IJKL
2006
15 years 6 months ago
2006
: The purpose of this paper is twofold. The first is to present the structure of a course entitled `Strategic Knowledge Management' taught at the MBA level at the DeGroote Sch...
177
click to vote
CSL
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. One-counter processes are pushdown processes over a singleton stack alphabet (plus a stack-bottom symbol). We study the problems of model checking asynchronous products o...
146
click to vote
IWOCA
2009
Springer
15 years 11 months ago
2009
Springer
We investigate the problem of the maximum number of cubic subwords (of the form www) in a given word. We also consider square subwords (of the form ww). The problem of the maximum ...