12981 search results - page 2123 / 2597 » Model Checking (Abstract) |
174
Voted
ATAL
2011
Springer
14 years 6 months ago
2011
Springer
Recent work in communications and business modeling emphasizes a commitment-based view of interaction. By abstracting away from implementation-level details, commitments can poten...
195
click to vote
CEC
2011
IEEE
14 years 6 months ago
2011
IEEE
Abstract—Memetics is a new science that has attracted increasing attentions in the recent decades. Beyond the formalism of simple hybrids, adaptive hybrids and memetic algorithms...
202
click to vote
EDOC
2011
IEEE
14 years 6 months ago
2011
IEEE
Abstract—Open Web-based and social platforms dramatically influence models of work. Today, there is an increasing interest in outsourcing tasks to crowdsourcing environments tha...
386
click to vote
EMMCVPR
2011
Springer
14 years 6 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...
227
click to vote
GLOBE
2011
Springer
14 years 6 months ago
2011
Springer
Abstract. Distributed or peer-to-peer storage solutions rely on the introduction of redundant data to be fault-tolerant and to achieve high reliability. One way to introduce redund...