8555 search results - page 148 / 1711 » Property Based Coordination |
130
Voted
CVIU
2006
15 years 4 months ago
2006
In this paper, we present a new color image segmentation scheme based on unsupervised pixel classification that works even when there is not a one-to-one correspondence between th...
134
click to vote
ENTCS
2006
15 years 4 months ago
2006
The application of formal methods to analog and mixed signal circuits requires efficient methods tructing abstractions of circuit behaviors. This paper concerns the verification o...
112
click to vote
FSS
2010
15 years 2 months ago
2010
In this paper, we attempt a systematic study of QL-implications. Towards this end, firstly, we investigate the conditions under which a QL-operation becomes a fuzzy implication w...
124
click to vote
MJ
2008
15 years 2 months ago
2008
We study the electronic and transport properties of heterostructures formed by armchair graphene nanoribbons with intersections of finite length. We describe the system by a tight...
128
click to vote
IGARSS
2010
15 years 2 months ago
2010
Korea Institute of Geoscience and Mineral Resources (KIGAM) and Kangwon National University (KNU) ground-based synthetic aperture radar (GB-SAR) team has been developed a fully po...