3951 search results - page 208 / 791 » Automatic amortized analysis |
198
click to vote
MOVEP
2000
15 years 9 months ago
2000
We survey principles of model checking techniques for the automatic analysis of reactive systems. The use of model checking is exemplified by an analysis of the Needham-Schroeder p...
165
click to vote
ACL
2003
15 years 7 months ago
2003
This position paper argues for an interactive approach to text understanding. The proposed model extends an existing semantics-based text authoring system by using the input text ...
157
Voted
ICDAR
2011
IEEE
14 years 5 months ago
2011
IEEE
—This paper presents a new method to split an image into chromatic and achromatic zones. The proposed algorithm is dedicated to document images. It is robust to the color noise i...
143
click to vote
AIMS
2009
Springer
16 years 20 days ago
2009
Springer
Network monitoring plays an important role in network management. Through the analysis of network parameters (e.g., flow throughput), managers can observe network behavior and mak...
145
click to vote
GLOBECOM
2008
IEEE
16 years 16 days ago
2008
IEEE
—This paper provides a queueing analysis for the slotted Aloha network. We assume the use of an exponential backoff protocol. Most prior work on slotted Aloha focuses on the anal...