1454 search results - page 213 / 291 » Stateful traits and their formalization |
157
click to vote
ICCV
2005
IEEE
16 years 8 months ago
2005
IEEE
In this paper we present a method for the tracking of fluid flows velocity fields. The technique we propose is formalized within sequential Bayesian filter framework. The filter w...
261
click to vote
ICDE
2008
IEEE
16 years 7 months ago
2008
IEEE
In this paper, we propose the first formal privacy analysis of a data anonymization process known as the synthetic data generation, a technique becoming popular in the statistics c...
268
click to vote
ICDE
1997
IEEE
16 years 7 months ago
1997
IEEE
A data warehouse stores integrated information from multiple distributed data sources. In effect, the warehouse stores materialized views over the source data. The problem of ensu...
239
click to vote
GIS
2007
ACM
16 years 7 months ago
2007
ACM
This paper is committed to explore object-oriented methods for the classification of Quickbird images, aiming to support future urban population estimates. The study area concerns...
190
click to vote
DAC
2002
ACM
16 years 7 months ago
2002
ACM
This paper addresses the problem of automatic generation of implementation software from high-level functional specifications in the context of embedded system on chip designs. So...