13734 search results - page 323 / 2747 » Abstractions of data types |
174
click to vote
ICALP
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. We show lower bounds in the cell probe model for the redundancy/query time tradeoff of solutions to static data structure problems.
179
click to vote
TFS
2008
15 years 6 months ago
2008
Abstract--A new approach to the online classification of streaming data is introduced in this paper. It is based on a selfdeveloping (evolving) fuzzy-rule-based (FRB) classifier sy...
162
click to vote
CAV
2010
Springer
15 years 10 months ago
2010
Springer
We address the issue of automatic invariant synthesis for sequential programs manipulating singly-linked lists carrying data over infinite data doe define for that a framework ba...
174
click to vote
ECCV
2004
Springer
16 years 8 months ago
2004
Springer
Abstract. We address the problem of selecting a subset of the most relevant features from a set of sample data in cases where there are multiple (equally reasonable) solutions. In ...
164
click to vote
AGI
2008
15 years 8 months ago
2008
Abstract. We introduce a general framework for reasoning with prioritized data by aggregation of distance functions, study some basic properties of the entailment relations that ar...