3635 search results - page 397 / 727 » Algorithms for Energy Saving |
174
click to vote
TACAS
2007
Springer
16 years 1 months ago
2007
Springer
This paper studies the effect of bisimulation minimisation in model checking of monolithic discrete-time and continuous-time Markov chains as well as variants thereof with rewards...
161
click to vote
VTC
2006
IEEE
16 years 26 days ago
2006
IEEE
Multiple antennas at the transmitter and the receiver have the potential to either increase the data rate through spatial multiplexing or enhance the quality of transmission throu...
172
click to vote
CEC
2005
IEEE
16 years 15 days ago
2005
IEEE
Many retailers run loyalty card schemes for their customers offering incentives in the form of money off coupons. The total value of the coupons depends on how much the customer ha...
185
click to vote
ICMCS
2005
IEEE
16 years 14 days ago
2005
IEEE
This paper presents an experimental implementation of a low-complexity speaker recognition algorithm working in the compressed speech domain. The goal is to perform speaker modeli...
170
click to vote
IBPRIA
2005
Springer
16 years 12 days ago
2005
Springer
We describe a fast algorithm for Gabor filtering, specially designed for multi-scale image representations. Our proposal is based on three facts: first, Gabor functions can be de...