8555 search results - page 1342 / 1711 » Property Based Coordination |
208
click to vote
SCALESPACE
2009
Springer
16 years 2 months ago
2009
Springer
In the recent decades the ROF model (total variation (TV) minimization) has made great successes in image restoration due to its good edge-preserving property. However, the non-diï...
216
click to vote
SEMWEB
2009
Springer
16 years 2 months ago
2009
Springer
OWL Ontology language can be very expressive. This could provide difficulty in ontology understanding process. We belief, that an ontology visualization equipped with intuitive int...
199
click to vote
SPIN
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. We present a new decision procedure for detecting property violations in pushdown models for concurrent programs that use lock-based synchronization, where each thread’...
208
click to vote
SSS
2009
Springer
16 years 2 months ago
2009
Springer
The emergence of large-scale distributed applications based on many-to-many communication models, e.g., broadcast and decentralized group communication, has an important impact on ...
166
click to vote
ASPDAC
2009
ACM
16 years 2 months ago
2009
ACM
— 1In this paper, we will present a placement method for analog circuits. We consider both common centroid and 1-D symmetry constraints, which are the two most common types of pl...