3951 search results - page 83 / 791 » Automatic amortized analysis |
113
click to vote
ISW
2001
Springer
15 years 8 months ago
2001
Springer
We present the adaptation of our model for the validation of key distribution and authentication protocols to address specific needs of protocols for electronic commerce. The two ...
152
click to vote
COMPSAC
1999
IEEE
15 years 8 months ago
1999
IEEE
This paper presents a generic approach to statically analyze Java programs in order to detect potential errors (bugs). We discuss a framework that supports our approach and carrie...
124
click to vote
HCI
2009
15 years 2 months ago
2009
Producing caption for the deaf and hearing impaired is a labor intensive task. We implemented a software tool, named SmartCaption, for assisting the caption production process usin...
ICPR
2008
IEEE
15 years 10 months ago
2008
IEEE
In this paper, we propose a new method to reconstruct high resolution images from structured illumination microscopy. It consists of estimating the illumination pattern parameters...
109
click to vote
KCAP
2005
ACM
15 years 10 months ago
2005
ACM
Knowledge-mapping tools enable users to quickly identify relevant information and expertise. This paper discusses a number of natural-language phenomena that limit the performance...