7049 search results - page 360 / 1410 » Data Abstraction for CSP-OZ |
231
click to vote
IDA
2011
Springer
15 years 1 months ago
2011
Springer
Abstract. The goal of this article is to introduce a collaborative clustering approach to the domain of ubiquitous knowledge discovery. This clustering approach is suitable in peer...
158
click to vote
KDD
2005
ACM
16 years 7 months ago
2005
ACM
Abstract. The application of kernel methods to link analysis is explored. We argue that a family of kernels on graphs provides a unified perspective on the three measures proposed ...
287
click to vote
TPHOL
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract. We give an overview of Agda, the latest in a series of dependently typed programming languages developed in Gothenburg. Agda is based on Martin-L¨of’s intuitionistic t...
175
click to vote
DAGM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We present an improved framework for real-time segmentation and tracking by fusing depth and RGB color data. We are able to solve common problems seen in tracking and seg...
157
click to vote
ESA
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We evaluate the performance of FPT algorithms for the directed feedback vertex set problem (DFVS). We propose several new data reduction rules for DFVS. which can signiï¬...