2701 search results - page 436 / 541 » Evaluation Issues |
189
click to vote
3DIM
2011
IEEE
14 years 5 months ago
2011
IEEE
—Surface registration is a fundamental step in the reconstruction of three-dimensional objects. This is typically a two-step process where an initial coarse motion estimation is ...
268
click to vote
BIOSTEC
2011
14 years 5 months ago
2011
Although technology for communication has evolved tremendously over the past decades, mobility impaired individuals still face many difficulties interacting with communication serv...
189
click to vote
CEC
2011
IEEE
14 years 4 months ago
2011
IEEE
Abstract—Protein structure prediction is the problem of finding the functional conformation of a protein given only its amino uence. The HP lattice model is an abstract formulat...
158
click to vote
DAC
2011
ACM
14 years 4 months ago
2011
ACM
The Kahn Process Network (KPN) model is a widely used modelof-computation to specify and map streaming applications onto multiprocessor systems-on-chips. In general, KPNs are dif...
200
click to vote
FROCOS
2011
Springer
14 years 4 months ago
2011
Springer
A dominant approach to Satisfiability Modulo Theories (SMT) relies on the integration of a Conflict-Driven-Clause-Learning (CDCL) SAT solver and of a decision procedure able to h...