Sciweavers

357 search results - page 27 / 72
» Isomorphism via translation
Sort
View
CIKM
1999
Springer
15 years 4 months ago
Semantic Caching via Query Matching for Web Sources
A semantic caching scheme suitable for wrappers wrapping web sources is presented. Since the web sources have typically weaker querying capabilities than conventional databases, e...
Dongwon Lee, Wesley W. Chu
ESA
2006
Springer
139views Algorithms» more  ESA 2006»
15 years 3 months ago
Stochastic Shortest Paths Via Quasi-convex Maximization
Abstract. We consider the problem of finding shortest paths in a graph with independent randomly distributed edge lengths. Our goal is to maximize the probability that the path len...
Evdokia Nikolova, Jonathan A. Kelner, Matthew Bran...
LISP
2002
81views more  LISP 2002»
14 years 11 months ago
Secure Information Flow via Linear Continuations
Security-typed languages enforce secrecy or integrity policies by type-checking. This paper investigates continuation-passing style (CPS) as a means of proving that such languages...
Steve Zdancewic, Andrew C. Myers
MICS
2007
88views more  MICS 2007»
14 years 11 months ago
Inversion of Analytic Functions via Canonical Polynomials: A Matrix Approach
An alternative to Lagrange inversion for solving analytic systems is our technique of dual vector fields. We implement this approach using matrix multiplication that provides a f...
Philip Feinsilver, René Schott
ECOOP
1997
Springer
15 years 4 months ago
Feature-Oriented Programming: A Fresh Look at Objects
We propose a new model for exible composition of objects et of features. Features are similar to (abstract) subclasses, but only provide the core functionality of a (sub)class. Ove...
Christian Prehofer