7049 search results - page 38 / 1410 » Data Abstraction for CSP-OZ |
TFS
2008
14 years 11 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...
CAV
2010
Springer
15 years 3 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...
ICCS
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. The high level of abstraction necessary to teach data structures and algorithmic schemes has been more than a hindrance to students. In order to make a proper approach to...
ECCV
2004
Springer
16 years 1 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 ...
AGI
2008
15 years 1 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...