553 search results - page 91 / 111 » Learning Meets Verification |
GLOBECOM
2009
IEEE
14 years 4 months ago
2009
IEEE
— In this paper, we provide a lower and upper bound for the number of degrees of freedom (DOF) of B multipleinput single-output (MISO) broadcast channels (BC) where each base sta...
ETFA
2008
IEEE
14 years 4 months ago
2008
IEEE
We present a method for fine grain QoS control of multimedia applications. This method takes as input an application software composed of actions. The execution times are unknown...
ICDM
2008
IEEE
14 years 4 months ago
2008
IEEE
To cope with concept drift, we paired a stable online learner with a reactive one. A stable learner predicts based on all of its experience, whereas a reactive learner predicts ba...
ICNS
2008
IEEE
14 years 4 months ago
2008
IEEE
: Traffic distribution forecasting is an essential step in network planning for packet-switching networks. It is frequently necessary to forecast and develop an optimal network con...
AH
2008
Springer
14 years 4 months ago
2008
Springer
The motivation behind many Information Retrieval systems is to identify and present relevant information to people given their current goals and needs. Learning about user preferen...