3281 search results - page 61 / 657 » Bases for parametrized iterativity |
131
click to vote
TPHOL
1998
IEEE
15 years 5 months ago
1998
IEEE
We show how extensible records with structural subtyping can be represented directly in Higher-Order Logic (HOL). Exploiting some specific properties of HOL, this encoding turns o...
102
click to vote
IWSAS
2000
Springer
15 years 5 months ago
2000
Springer
To facilitate the design of large-scale, self-adaptive systems, we have developed the Port-Based Adaptable Agent Architecture. This distributed, multiagent architecture allows syst...
125
click to vote
VTC
2007
IEEE
15 years 7 months ago
2007
IEEE
—This paper presents a novel strategy for interference mitigation in an uplink of high reuse cellular networks through distributive processing. It is proposed that the neighborin...
102
click to vote
MICCAI
2002
Springer
16 years 2 months ago
2002
Springer
Through an understanding of the image formation process, diagnostically important facts about the internal structure and composition of the skin lesions can be derived from their c...
125
click to vote
ISBI
2004
IEEE
16 years 2 months ago
2004
IEEE
Wavelet-based statistical analysis methods for fMRI are able to detect brain activity without smoothing the data. Typically, the statistical inference is performed in the wavelet ...