Sciweavers

348 search results - page 39 / 70
» Offline firewall analysis
Sort
View
SAS
1997
Springer
111views Formal Methods» more  SAS 1997»
14 years 1 months ago
Fast and Effective Procedure Inlining
is an important optimization for programs that use procedural abstraction. Because inlining trades code size for execution speed, the effectiveness of an inlining algorithm is det...
Oscar Waddell, R. Kent Dybvig
ESANN
2008
13 years 11 months ago
Phase transitions in Vector Quantization
Abstract. We study Winner-Takes-All and rank based Vector Quantization along the lines of the statistical physics of off-line learning. Typical behavior of the system is obtained w...
Aree Witoelar, Anarta Ghosh, Michael Biehl
ACL
2006
13 years 11 months ago
TwicPen: Hand-held Scanner and Translation Software for non-Native Readers
TwicPen is a terminology-assistance system for readers of printed (ie. off-line) material in foreign languages. It consists of a hand-held scanner and sophisticated parsing and tr...
Eric Wehrli
INTERACT
2003
13 years 11 months ago
DriftCatcher: The Implicit Social Context of Email
: This work uses Artificial Intelligence (AI) in an electronic communication interface to improve people’s ability to focus on important communications. Many social cues that all...
Andrea Lockerd, Ted Selker
SODA
1994
ACM
88views Algorithms» more  SODA 1994»
13 years 11 months ago
Optimal Prediction for Prefetching in the Worst Case
Response time delays caused by I/O are a major problem in many systems and database applications. Prefetching and cache replacement methods are attracting renewed attention because...
P. Krishnan, Jeffrey Scott Vitter