3891 search results - page 422 / 779 » Toward nature-inspired computing |
161
Voted
STACS
2007
Springer
16 years 29 days ago
2007
Springer
We contribute to the study of efficient enumeration algorithms for all solutions of constraint satisfaction problems. The only algorithm known so far, presented by Creignou and H´...
200
click to vote
ICPR
2006
IEEE
16 years 27 days ago
2006
IEEE
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...
167
click to vote
ICPR
2010
IEEE
16 years 15 days ago
2010
IEEE
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...
164
click to vote
IPPS
2005
IEEE
16 years 13 days ago
2005
IEEE
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...
160
click to vote
TPHOL
2005
IEEE
16 years 13 days ago
2005
IEEE
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...