3656 search results - page 301 / 732 » Compact Location Problems |
194
click to vote
ISSTA
1998
ACM
15 years 11 months ago
1998
ACM
Symbolic model checking has proved highly successful for large nite-state systems, in which states can be compactly encoded using binary decision diagrams (BDDs) or their variants...
175
click to vote
HPCN
1998
Springer
15 years 11 months ago
1998
Springer
The execution of an application on a high performance system requires parameters concerning the problem in hand, and those that determine the system mapping, to be specified by a ...
157
click to vote
KDD
1998
ACM
15 years 11 months ago
1998
ACM
This paper explores unexpected results that lie at the intersection of two common themes in the KDD community: large datasets and the goal of building compact models. Experiments ...
156
click to vote
COMPGEOM
1992
ACM
15 years 10 months ago
1992
ACM
A family of sets has the (p, q) property if among any p members of the family some q have a nonempty intersection. It is shown that for every p q d + 1 there is a c = c(p, q, d)...
166
click to vote
CDC
2009
IEEE
15 years 10 months ago
2009
IEEE
In this paper we analyze the problem of estimating a function from different noisy data sets collected by spatially distributed sensors and subject to unknown temporal shifts. We p...