3820 search results - page 441 / 764 » Bounded Model Debugging |
237
click to vote
ICDE
2008
IEEE
16 years 5 months ago
2008
IEEE
Scientific and intelligence applications have special data handling needs. In these settings, data does not fit the standard model of short coded records that had dominated the dat...
232
Voted
ICDE
2006
IEEE
16 years 5 months ago
2006
IEEE
We introduce a new domain-independent framework for formulating and efficiently evaluating similarity queries over historical data, where given a history as a sequence of timestam...
149
Voted
DAC
2004
ACM
16 years 4 months ago
2004
ACM
Current technology trends have led to the growing impact of both inter-die and intra-die process variations on circuit performance. While it is imperative to model parameter varia...
153
click to vote
PODS
2001
ACM
16 years 4 months ago
2001
ACM
We consider the complexity of join problems, focusing on equijoins, spatial-overlap joins, and set-containment joins. We use a graph pebbling model to characterize these joins com...
132
click to vote
PERCOM
2007
ACM
16 years 3 months ago
2007
ACM
In this paper, we study the static path planning problem with wireless sensor network localization as the primary objective. We consider a model in which sensors are assumed to be...