13383 search results - page 2321 / 2677 » Abstractions from proofs |
169
click to vote
CP
2011
Springer
14 years 4 months ago
2011
Springer
Abstract. In this paper we present a model for the carpet cutting problem in which carpet shapes are cut from a rectangular carpet roll with a fixed width and sufficiently long le...
152
click to vote
DCOSS
2011
Springer
14 years 4 months ago
2011
Springer
—Modular software, in which strongly-separated units of functionality can be independently added to and removed from a node’s running software, offers a promising approach to e...
129
click to vote
DSN
2011
IEEE
14 years 4 months ago
2011
IEEE
Abstract—Application-level protocols used for object delivery, such as HTTP, are built atop TCP/IP and inherit its hostabstraction. Given that these services are replicated for s...
315
click to vote
EMMCVPR
2011
Springer
14 years 4 months ago
2011
Springer
Abstract. The Mumford-Shah model has been one of the most powerful models in image segmentation and denoising. The optimization of the multiphase Mumford-Shah energy functional has...
138
click to vote
EUROPAR
2011
Springer
14 years 4 months ago
2011
Springer
Abstract. Grid information systems play a central role in today’s production Grid infrastructures, enabling the discovery of a range of information about the Grid services that e...