4814 search results - page 185 / 963 » Combining abstract interpreters |
162
click to vote
BIB
2008
15 years 6 months ago
2008
Biology, chemistry and medicine are faced by tremendous challenges caused by an overwhelming amount of data and the need for rapid interpretation. Computational intelligence (CI) ...
180
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
In this paper, we study the application of sparse principal component analysis (PCA) to clustering and feature selection problems. Sparse PCA seeks sparse factors, or linear combi...
141
click to vote
TGIS
2010
15 years 4 months ago
2010
Interpretation of spatial features often requires combined reasoning over geometry and semantics. We introduce the Space package, an open source SWI-Prolog extension that provides ...
170
click to vote
CSIE
2009
IEEE
15 years 10 months ago
2009
IEEE
Mobile devices are constrained in terms of computational power, battery lifetime and memory sizes. Software development for mobile devices is further complicated by application co...
155
click to vote
PLDI
2012
ACM
13 years 9 months ago
2012
ACM
In this article we present a general method for achieving global static analyzers that are precise, sound, yet also scalable. Our method generalizes the sparse analysis techniques...