Sciweavers

4670 search results - page 524 / 934
» Toward meaningful computing
Sort
View
ICPR
2006
IEEE
16 years 28 days ago
Global-to-Local Non-Rigid Shape Registration
Non-rigid shape registration is an important issue in computer vision. In this paper we propose a novel globalto-local procedure for aligning non-rigid shapes. The global similari...
Hui Chen, Bir Bhanu
ICPR
2010
IEEE
16 years 16 days ago
Keyframe-Guided Automatic Non-Linear Video Editing
We describe a system for generating coherent movies from a collection of unedited videos. The generation process is guided by one or more input keyframes, which determine the cont...
Vaishnavi Rajgopalan, Ananth Ranganathan, Ramgopal...
IPPS
2005
IEEE
16 years 14 days ago
Programming Configurable Multiprocessors
A new high performance computation technique involving multiple processors on a single silicon die is quickly gaining popularity. This new design approach provides very high perfo...
Steven A. Guccione
TPHOL
2005
IEEE
16 years 14 days ago
On the Correctness of Operating System Kernels
The Verisoft project aims at the pervasive formal verification of entire computer systems. In particular, the seamless verification of the academic system is attempted. This syst...
Mauro Gargano, Mark A. Hillebrand, Dirk Leinenbach...
EGC
2005
Springer
16 years 12 days ago
Interactive Visualization of Grid Monitoring Data on Multiple Client Platforms
Most current Grid monitoring systems provide a visual user interface. With recent advances in multimedia capabilities in user terminals, there is a strong trend towards interactive...
Lea Skorin-Kapov, Igor S. Pandzic, Maja Matijasevi...