Sciweavers

535 search results - page 46 / 107
» Insertion and Expansion Operations for
Sort
View
SIAMCO
2008
103views more  SIAMCO 2008»
14 years 11 months ago
Perturbation Methods in Stability and Norm Analysis of Spatially Periodic Systems
We consider systems governed by partial differential equations with spatially periodic coefficients over unbounded domains. These spatially periodic systems are considered as pertu...
Makan Fardad, Bassam Bamieh
SPAA
2009
ACM
16 years 11 days ago
Dynamic external hashing: the limit of buffering
Hash tables are one of the most fundamental data structures in computer science, in both theory and practice. They are especially useful in external memory, where their query perf...
Zhewei Wei, Ke Yi, Qin Zhang
CORR
2000
Springer
132views Education» more  CORR 2000»
14 years 11 months ago
Uniform semantic treatment of default and autoepistemic logics
We revisit the issue of epistemological and semantic foundations for autoepistemic and default logics, two leading formalisms in nonmonotonic reasoning. We develop a general seman...
Marc Denecker, Victor W. Marek, Miroslaw Truszczyn...
ICDE
2004
IEEE
124views Database» more  ICDE 2004»
16 years 1 months ago
Authenticating Query Results in Edge Computing
Edge computing pushes application logic and the underlying data to the edge of the network, with the aim of improving availability and scalability. As the edge servers are not nec...
HweeHwa Pang, Kian-Lee Tan
ICIP
2009
IEEE
16 years 26 days ago
Efficient Motion Compensated Frame Rate Upconversion Using Multiple Interpolations And Median Filtering
Methods for motion compensated frame rate upconversion exploit motion in order to generate interpolated frames that are temporally located between the available original frames of...