Sciweavers

15485 search results - page 92 / 3097
» Computing Optimal Subsets
Sort
View
HM
2005
Springer
152views Optimization» more  HM 2005»
14 years 4 months ago
3D Inter-subject Medical Image Registration by Scatter Search
Image registration is a very active research area in computer vision, namely it is used to find a transformation between two images taken under different conditions. Point matchi...
Oscar Cordón, Sergio Damas, Jose Santamar&i...
ICS
2005
Tsinghua U.
14 years 4 months ago
A NUCA substrate for flexible CMP cache sharing
We propose an organization for the on-chip memory system of a chip multiprocessor, in which 16 processors share a 16MB pool of 256 L2 cache banks. The L2 cache is organized as a n...
Jaehyuk Huh, Changkyu Kim, Hazim Shafi, Lixin Zhan...
RTA
2005
Springer
14 years 4 months ago
Proof-Producing Congruence Closure
Many applications of congruence closure nowadays require the ability of recovering, among the thousands of input equations, the small subset that caused the equivalence of a given ...
Robert Nieuwenhuis, Albert Oliveras
NPAR
2010
ACM
14 years 4 months ago
Compact explosion diagrams
This paper presents a system to automatically generate compact explosion diagrams. Inspired by handmade illustrations, our approach reduces the complexity of an explosion diagram ...
Markus Tatzgern, Denis Kalkofen, Dieter Schmalstie...
CW
2002
IEEE
14 years 4 months ago
Direct Segmentation for Reverse Engineering
In Reverse Engineering a physical object is digitally reconstructed from a set of boundary points. In the segmentation phase these points are grouped into subsets to facilitate co...
Marek Vanco, Guido Brunnett