2558 search results - page 444 / 512 » Model Composition Contracts |
127
Voted
ICC
2009
IEEE
15 years 1 months ago
2009
IEEE
In this paper we describe a model for calculating the aggregate interference encountered by primary receivers in the presence of randomly placed cognitive radios (CRs). We show tha...
165
Voted
ICDAR
2009
IEEE
15 years 1 months ago
2009
IEEE
In this paper, an approach based on the combination of discrete Hidden Markov Models (HMMs) in the ROC space is proposed to improve the performance of off-line signature verificat...
131
Voted
CVPR
2005
IEEE
16 years 5 months ago
2005
IEEE
We address the problem of regional color transfer between two natural images by probabilistic segmentation. We use a new Expectation-Maximization (EM) scheme to impose both spatia...
121
click to vote
WWW
2005
ACM
16 years 4 months ago
2005
ACM
We present a design for verification approach to developing reliable web services. We focus on composite web services which consist of asynchronously communicating peers. Our goal...
220
Voted
POPL
2006
ACM
16 years 4 months ago
2006
ACM
Virtual classes are class-valued attributes of objects. Like virtual methods, virtual classes are defined in an object's class and may be redefined within subclasses. They re...