10412 search results - page 1581 / 2083 » The efficiency of algorithms - misconceptions |
209
Voted
MASS
2010
15 years 4 months ago
2010
Cognitive radio, which enables dynamic access of under-utilized licensed spectrums, is a promising technology for more efficient spectrum utilization. Since cognitive radio enables...
266
Voted
MICAI
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Automatic image annotation refers to the process of automatically labeling an image with a predefined set of keywords. Image annotation is an important step of content-ba...
180
click to vote
SIGSOFT
2010
ACM
15 years 4 months ago
2010
ACM
Concurrent programs are notoriously difficult to debug. We see two main reasons for this: 1) concurrency bugs are often difficult to reproduce, 2) traces of buggy concurrent execu...
186
Voted
SOCIALCOM
2010
15 years 4 months ago
2010
Multiple phenomena often diffuse through a social network, sometimes in competition with one another. Product adoption and political elections are two examples where network diffus...
224
Voted
TACAS
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We present a compositional verification technique for systems that exhibit both probabilistic and nondeterministic behaviour. We adopt an assume-guarantee approach to ver...