2446 search results - page 22 / 490 » Characterizing the Performance of |
142
click to vote
CCS
2008
ACM
15 years 7 months 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...
143
Voted
INFOCOM
2007
IEEE
15 years 11 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, ...
100
click to vote
CICLING
2007
Springer
15 years 11 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...
112
click to vote
EMNLP
2007
15 years 6 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...
133
click to vote
CASCON
2003
15 years 6 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...