14704 search results - page 2345 / 2941 » computer 2007 |
188
Voted
QEST
2007
IEEE
16 years 1 months ago
2007
IEEE
Our productivity centered performance tuning framework for HPC applications comprises of three main components: (1) a versatile source code, performance metrics, and performance d...
208
Voted
WACV
2007
IEEE
16 years 1 months ago
2007
IEEE
Visual categorization is fundamentally important for autonomous mobile robots to get intelligence such as novel object acquisition and topological place recognition. The main dif...
215
click to vote
EUROPAR
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Hyperspectral imagery is a new type of high-dimensional image data which is now used in many Earth-based and planetary exploration applications. Many efforts have been d...
181
click to vote
ICTAC
2007
Springer
16 years 1 months ago
2007
Springer
LTL cannot express the whole class of ω-regular languages and several extensions have been proposed. Among them, Quantified propositional Linear Temporal Logic (QLTL), proposed b...
253
Voted
ILP
2007
Springer
16 years 1 months ago
2007
Springer
Structural Statistical Software Testing (SSST) exploits the control flow graph of the program being tested to construct test cases. Specifically, SSST exploits the feasible paths...