3353 search results - page 358 / 671 » Laver and set theory |
172
click to vote
ASWEC
2008
IEEE
16 years 1 months ago
2008
IEEE
Viewpoint-based conceptual modeling is concerned with the identification of a complete and coherent set of software models that have been developed with the involvement of variou...
181
click to vote
BIBE
2008
IEEE
16 years 1 months ago
2008
IEEE
—A new method is introduced for joining vessel segments together to form a vessel graph. Using a reference image set from the Sunderland Eye Infirmary, we analysed the retinal b...
170
click to vote
DATE
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper presents a method for static performance analysis of SoC architectures. The method is based on a network calculus theory known as LR servers. This network calculus is e...
162
click to vote
IAT
2008
IEEE
16 years 1 months ago
2008
IEEE
Auctions are pervasive in today’s society and provide a variety of real markets. This article facilitates a strategic choice between a set of available trading strategies by int...
153
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
Component forensics is an emerging methodology for forensic analysis that aims at estimating the algorithms and parameters in each component of a digital device. This paper propos...