5634 search results - page 169 / 1127 » About Abstract Classes |
CADE
2012
Springer
13 years 1 months ago
2012
Springer
Abstract. This paper presents new results on the decidability of inductive validity of conjectures. For these results, a class of term rewrite systems (TRSs) with built-in linear i...
111
click to vote
ICIP
2006
IEEE
16 years 28 days ago
2006
IEEE
We introduce a class of robust non-parametric estimation methods which are ideally suited for the reconstruction of signals and images from noise-corrupted or sparsely collected s...
KDD
2009
ACM
15 years 11 months ago
2009
ACM
This paper addresses Named Entity Mining (NEM), in which we mine knowledge about named entities such as movies, games, and books from a huge amount of data. NEM is potentially use...
103
click to vote
ICDCSW
2007
IEEE
15 years 5 months ago
2007
IEEE
In this paper, we consider the problem of reducing the number of false positives generated by cooperative Intrusion Detection Systems (IDSs) in Mobile Ad hoc Networks (MANETs). We...
FGR
2006
IEEE
15 years 5 months ago
2006
IEEE
This paper presents a novel method for 3D surface reconstruction based on a sparse set of 3D control points. For object classes such as human heads, prior information about the cl...