4814 search results - page 537 / 963 » Combining abstract interpreters |
172
click to vote
ISBRA
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We demonstrate a set-level approach to the integration of multiple platform gene expression data for predictive classiï¬cation and show its utility for boosting classiï¬...
174
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
—This paper presents a tool for exploring different parallelization options for an application. It can be used to quickly ï¬nd a high-quality match between an application and a ...
188
click to vote
NTMS
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—It is well known that the suitability of many cryptographic algorithms decreases with time. Hence, it is a challenging task to maintain the integrity, authenticity, conï...
174
click to vote
QEST
2009
IEEE
16 years 1 months ago
2009
IEEE
—Symmetry reduction is a technique for combating state-space explosion in model checking. The generic representatives approach to symmetry reduction uses a language-level transla...
152
click to vote
ICRA
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—This paper presents a system for in situ atmospheric sensing using an aerial robot system in the presence of a strong wind ï¬eld. The geostatistical concept of the vari...