Sciweavers

4965 search results - page 224 / 993
» A Simple Abstraction for Data Modeling
Sort
View
COCOON
2005
Springer
16 years 3 days ago
Finding Longest Increasing and Common Subsequences in Streaming Data
In this paper, we present algorithms and lower bounds for the Longest Increasing Subsequence (LIS) and Longest Common Subsequence (LCS) problems in the data streaming model. For t...
David Liben-Nowell, Erik Vee, An Zhu
INFOCOM
1995
IEEE
15 years 10 months ago
Usage-Based Pricing of Packet Data Generated by a Heterogeneous User Population
Usage-based pricing of offered traffic to a data network can be an effective technique for congestion control. To gain insight into the benejits usage-based pricing offers, we pro...
Michael L. Honig, Kenneth Steiglitz
KES
2006
Springer
15 years 6 months ago
Integrated Document Browsing and Data Acquisition for Building Large Ontologies
Named entities (e.g., "Kofi Annan", "Coca-Cola", "Second World War") are ubiquitous in web pages and other types of document and often provide a simpl...
Felix Weigel, Klaus U. Schulz, Levin Brunner, Edua...
DATESO
2006
103views Database» more  DATESO 2006»
15 years 8 months ago
CellStore - the Vision of Pure Object Database
Abstract. This paper describes a vision of CellStore, a kind of universal database system, which would be capable of storing and operating on several different data models
Jan Vraný
APLAS
2010
ACM
15 years 6 months ago
Verification of Tree-Processing Programs via Higher-Order Model Checking
Abstract. We propose a new method to verify that a higher-order, treeprocessing functional program conforms to an input/output specification. Our method reduces the verification pr...
Hiroshi Unno, Naoshi Tabuchi, Naoki Kobayashi