3082 search results - page 379 / 617 » Deviation Analysis: A New Use of Model Checking |
165
click to vote
TWC
2008
15 years 6 months ago
2008
A new accurate mathematical analysis is presented for the efficient computation of the spectral efficiency of CDMA downlink wireless communication systems in the presence of multip...
175
click to vote
ICPR
2008
IEEE
16 years 7 months ago
2008
IEEE
In this paper, we propose a generative model-based approach for audio-visual event classification. This approach is based on a new unsupervised learning method using an extended p...
169
click to vote
WSC
2008
15 years 8 months ago
2008
This paper presents an exact approach of calculating float for each activity in linear schedules. It is based on singularity functions, which have been used previously to determin...
191
click to vote
HICSS
2003
IEEE
15 years 11 months ago
2003
IEEE
In this paper we propose a new two-level methodology for assessing countries’/companies’ economic/financial performance. The methodology is based on two major techniques of gr...
195
click to vote
ISPASS
2006
IEEE
16 years 16 days ago
2006
IEEE
Applications in Computer Networks often require high throughput access to large data structures for lookup and classification. Many advanced algorithms exist to speed these searc...