1508 search results - page 176 / 302 » A Combination Method for Generating Interpolants |
134
click to vote
ISCIS
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. In this paper, we propose a new video watermarking algorithm based on the human visual system (HVS) properties to find effective locations in video sequences for robust ...
140
click to vote
ISMIR
2003
Springer
15 years 10 months ago
2003
Springer
In this paper we examine the retrieval performance of adjacent and concurrent n-grams generated from polyphonic music data. We deploy a method to index polyphonic music using a wo...
147
click to vote
WACV
2002
IEEE
15 years 9 months ago
2002
IEEE
3D models of urban sites with geometry and facade textures are needed for many planning and visualization applications. Approximate 3D wireframe model can be derived from aerial i...
140
click to vote
GI
2009
Springer
15 years 9 months ago
2009
Springer
: Model-checking is a way of testing the correctness of concurrent programs. To do so, a model of the program is proven to match properties and constraints specified by the progra...
128
click to vote
CAISE
2001
Springer
15 years 9 months ago
2001
Springer
Reactive systems are systems whose purpose is to maintain a certain desirable state of affairs in their environment, and include information systems, groupware, workflow systems,...