2446 search results - page 22 / 490 » Characterizing the Performance of |
CCS
2008
ACM
14 years 1 days ago
2008
ACM
We present a new verification algorithm for security protocols that allows for unbounded verification, falsification, and complete characterization. The algorithm provides a numbe...
INFOCOM
2007
IEEE
14 years 4 months ago
2007
IEEE
— Despite the increasing number of WiFi-based Long Distance (WiLD) network deployments, there is a lack of understanding of how WiLD networks perform in practice. In this paper, ...
CICLING
2007
Springer
14 years 4 months ago
2007
Springer
This paper investigates the problem of automatic humour recognition, and provides and in-depth analysis of two of the most frequently observed features of humorous text: human-cent...
EMNLP
2007
13 years 11 months ago
2007
We present a comparative error analysis of the two dominant approaches in datadriven dependency parsing: global, exhaustive, graph-based models, and local, greedy, transition-base...
CASCON
2003
13 years 11 months ago
2003
Electronic commerce servers have a significant presence in today’s Internet. Corporations require good performance for their business processes. To date, little empirical evide...