293 search results - page 51 / 59 » Advances in Probabilistic Model Checking |
GLOBECOM
2007
IEEE
15 years 6 months ago
2007
IEEE
— NetFlow is a solution to make an in-depth traffic analysis possible in IP networks. Most of the telecommunication operators have already deployed it, or intend to do so, for n...
112
click to vote
GLOBECOM
2007
IEEE
15 years 6 months ago
2007
IEEE
— Recent studies indicate the presence of a significant amount of idle licensed spectrum, in different time periods and geographic locations. Prompted by the latest regulatory ch...
116
click to vote
SASN
2005
ACM
15 years 5 months ago
2005
ACM
Pairwise key establishment is a fundamental service provided in secure sensor networks. However, due to resource constraints, establishing pairwise keys is not a trivial task. Rec...
CDC
2009
IEEE
15 years 4 months ago
2009
IEEE
— We consider decision making in a Markovian setup where the reward parameters are not known in advance. Our performance criterion is the gap between the performance of the best ...
134
click to vote
NIPS
2007
15 years 1 months ago
2007
In online handwriting recognition the trajectory of the pen is recorded during writing. Although the trajectory provides a compact and complete representation of the written outpu...