3742 search results - page 582 / 749 » On the Use of Formal Techniques for Validation |
149
click to vote
VLSID
2008
IEEE
16 years 6 months ago
2008
IEEE
With increasing adoption of Electronic System Level (ESL) tools, effective design and validation time has reduced to a considerable extent. Cosimulation is found to be a principal...
155
click to vote
RECOMB
2007
Springer
16 years 6 months ago
2007
Springer
With the increasing availability of experimental data on gene-gene and protein-protein interactions, modeling of gene regulatory networks has gained a special attention lately. To ...
272
click to vote
VLDB
2009
ACM
16 years 6 months ago
2009
ACM
Top-k queries on large multi-attribute data sets are fundamental operations in information retrieval and ranking applications. In this article, we initiate research on the anytime ...
151
click to vote
SIGMOD
2003
ACM
16 years 6 months ago
2003
ACM
To ensure high data quality, data warehouses must validate and cleanse incoming data tuples from external sources. In many situations, clean tuples must match acceptable tuples in...
224
click to vote
ICDE
2010
IEEE
16 years 6 months ago
2010
IEEE
The Voronoi diagram is an important technique for answering nearest-neighbor queries for spatial databases. In this paper, we study how the Voronoi diagram can be used on uncertain...