Sciweavers

7335 search results - page 1179 / 1467
» Scene Based Reasoning
Sort
View
IPPS
2009
IEEE
16 years 1 months ago
Understanding the design trade-offs among current multicore systems for numerical computations
In this paper, we empirically evaluate fundamental design trade-offs among the most recent multicore processors and accelerator technologies. Our primary aim is to aid application...
Seunghwa Kang, David A. Bader, Richard W. Vuduc
LICS
2009
IEEE
16 years 1 months ago
Functional Reachability
—What is reachability in higher-order functional programs? We formulate reachability as a decision problem in the setting of the prototypical functional language PCF, and show th...
C.-H. Luke Ong, Nikos Tzevelekos
ACCV
2009
Springer
16 years 1 months ago
Better Correspondence by Registration
Accurate image correspondence is crucial for estimating multiple-view geometry. In this paper, we present a registration-based method for improving accuracy of the image correspond...
Shufei Fan, Rupert Brooks, Frank P. Ferrie
ATAL
2009
Springer
16 years 1 months ago
Combining fault injection and model checking to verify fault tolerance in multi-agent systems
The ability to guarantee that a system will continue to operate correctly under degraded conditions is key to the success of adopting multi-agent systems (MAS) as a paradigm for d...
Jonathan Ezekiel, Alessio Lomuscio
ATAL
2009
Springer
16 years 1 months ago
Self-organising agent organisations
Self-organising multi-agent systems provide a suitable paradigm for developing autonomic computing systems that manage themselves. Towards this goal, we demonstrate a robust, dece...
Ramachandra Kota, Nicholas Gibbins, Nicholas R. Je...
« Prev « First page 1179 / 1467 Last » Next »