3951 search results - page 528 / 791 » Automatic amortized analysis |
159
click to vote
DAS
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. Most e-mail readers spend a non-trivial amount of time regularly deleting junk e-mail (spam) messages, even as an expanding volume of such e-mail occupies server storage ...
146
click to vote
DSMML
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. This paper summarizes some of the current research challenges arising from multi-channel sequence processing. Indeed, multiple real life applications involve simultaneous...
141
click to vote
ISOLA
2004
Springer
16 years 1 days ago
2004
Springer
As safety critical systems increase in size and complexity, the need for efficient tools to verify their reliability grows. In this paper we present a tool that helps engineers des...
175
click to vote
PADL
2004
Springer
16 years 22 hour ago
2004
Springer
We describe the current status of and provide performance results for a prototype compiler of Prolog to C, ciaocc. ciaocc is novel in that it is designed to accept different kinds...
134
click to vote
ICDAR
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper discusses a scalable solution for integrating legacy illustrated parts drawings into a Class IV Interactive Electronic Technical Manual (IETM) [1,2]. An IETM is an inte...