13734 search results - page 475 / 2747 » Abstractions of data types |
199
Voted
ZUM
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. We present a new combination CSP-OZ-DC of three well researched formal techniques for the specification of processes, data and time: CSP [17], Object-Z [36], and Duration...
207
click to vote
DIS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Attribute value taxonomies (AVTs) have been used to perform AVT-guided decision tree learning on partially or totally missing data. In many cases, user-supplied AVTs are ...
175
click to vote
ESWS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. In this paper we describe the work that was done in the Corporate Ontology Grid (COG) project on the querying of existing legacy data sources from the automotive industry...
187
click to vote
GLOBECOM
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract—In this paper, we investigate the problem of online data sharing on social networks from a game theoretic framework. We introduce blacklisting as trigger strategy to eli...
158
click to vote
ECAI
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. This paper proposes a general framework for classifying data streams by exploiting incremental clustering in order to dynamically build and update an ensemble of incremen...