4814 search results - page 615 / 963 » Combining abstract interpreters |
168
click to vote
AUSAI
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Spectral co-clustering is a generic method of computing coclusters of relational data, such as sets of documents and their terms. Latent semantic analysis is a method of ...
165
click to vote
CDC
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract— A design scheme of the finite-time tracking controller is given for a general class of nonholonomic systems including extended chained systems, extended power systems,...
126
click to vote
ICPR
2010
IEEE
15 years 10 months ago
2010
IEEE
Abstract--This paper extends the transition method for binarization based on transition pixels, a generalization of edge pixels. This method originally computes transition threshol...
170
click to vote
ECTEL
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. The following article presents a Mash-Up Personal Learning Environment called ReMashed that recommends learning resources from emerging information of a Learning Network....
155
click to vote
DLOG
2007
15 years 9 months ago
2007
Abstract. To make ABox reasoning scalable for large ABoxes in description logic (DL) knowledge bases, we develop a method for partitioning the ABox so that specific kinds of reaso...