8828 search results - page 1563 / 1766 » Formal methods in practice |
166
click to vote
TIP
2010
15 years 2 months ago
2010
In this paper we model the components of the compressive sensing (CS) problem, i.e., the signal acquisition process, the unknown signal coefficients and the model parameters for ...
136
Voted
TVCG
2010
15 years 2 months ago
2010
—This paper presents the first practical method for “origamizing” or obtaining the folding pattern that folds a single sheet of material into a given polyhedral surface with...
190
Voted
VL
2010
IEEE
15 years 2 months ago
2010
IEEE
Most spreadsheets, like other software, change over time. A frequently occurring scenario is the repeated reuse and adaptation of spreadsheets from one project to another. If seve...
139
Voted
VTC
2010
IEEE
15 years 2 months ago
2010
IEEE
—Cellular networks operating with a frequency reuse factor of one are often interference-limited. For that reason, base station (BS) cooperation techniques aiming at mitigating t...
141
Voted
WINET
2010
15 years 2 months ago
2010
This paper proposes a secure encrypted-data aggregation scheme for wireless sensor networks. Our design for data aggregation eliminates redundant sensor readings without using encr...