7049 search results - page 38 / 1410 » Data Abstraction for CSP-OZ |
TFS
2008
13 years 10 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
14 years 2 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
14 years 5 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
15 years 8 days 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
13 years 12 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...