12289 search results - page 804 / 2458 » computing 2006 |
165
click to vote
IS
2002
15 years 7 months ago
2002
In this paper, we explore the possibility of transforming queries with minimum and maximum predicates into equivalent queries that can be computed more efficiently. The main contr...
181
click to vote
FMSD
1998
15 years 7 months ago
1998
Proving the equivalenceof two Finite State Machines (FSMs) has many applications to synthesis, veri cation, testing, and diagnosis. Building their product machine is a theoretical ...
224
click to vote
IVC
2002
15 years 7 months ago
2002
In this paper we address the problem of producing an enlarged picture from a given digital image (zooming). We propose a method that tries to take into account information about d...
161
click to vote
IVC
2002
15 years 7 months ago
2002
In this paper, we present a novel multi-modal histogram thresholding method in which no a priori knowledge about the number of clusters to be extracted is needed. The proposed met...
187
click to vote
IVC
2002
15 years 7 months ago
2002
Modelling events is one of the key problems in dynamic scene analysis when salient and autonomous visual changes occuring in a scene need to be characterised effectively as meanin...