8917 search results - page 1198 / 1784 » Abstraction in Algorithm Animation |
213
Voted
CORR
2012
Springer
14 years 3 months ago
2012
Springer
Abstract—This study considers an orthogonal frequencydivision multiple-access (OFDMA)-based multi-user two-way relay network where multiple mobile stations (MSs) communicate with...
231
click to vote
INFOCOM
2012
IEEE
13 years 10 months ago
2012
IEEE
Abstract— We consider a wireless broadcast station that transmits packets to multiple users. The packet requests for each user may overlap, and some users may already have certai...
226
Voted
CADE
2012
Springer
13 years 10 months ago
2012
Springer
We propose a word level, bounded model checking (BMC) algorithm based on translation into the effectively propositional fragment (EPR) of firstorder logic. This approach to BMC al...
210
click to vote
ICBA
2004
Springer
16 years 26 days ago
2004
Springer
Abstract. This paper details the results of a face verification competition [2] held in conjunction with the First International Conference on Biometric Authentication. The contes...
188
click to vote
DAC
2003
ACM
16 years 8 months ago
2003
ACM
Design and validation of mixed-signal integrated systems require evel model abstractions. Generalized Volterra series based models have been successfully applied for analog and RF...