4042 search results - page 494 / 809 » The EXODUS Optimizer Generator |
157
click to vote
ICIP
2009
IEEE
16 years 7 months ago
2009
IEEE
Generating accurate three dimensional planetary models is becoming increasingly more important as NASA plans manned missions to return to the moon in the next decade. This paper d...
158
click to vote
DAC
1998
ACM
16 years 7 months ago
1998
ACM
We present a Petri net theoretic approach to the software synthesis problem that can synthesize ordinary C programs from processbased concurrent specifications without the need for...
172
click to vote
IPMI
1999
Springer
16 years 7 months ago
1999
Springer
Abstract. Inter-subjectnon-rigid registration of cortical anatomical structures as seen in MR is a challenging problem. The variability of the sulcal and gyral patterns across pati...
149
click to vote
ICML
2009
IEEE
16 years 7 months ago
2009
IEEE
We discuss the problem of clustering elements according to the sources that have generated them. For elements that are characterized by independent binary attributes, a closedform...
184
click to vote
ISBI
2006
IEEE
16 years 7 months ago
2006
IEEE
This paper proposes a new interactive hybrid non-rigid registration framework that combines any intensity-based algorithm with a feature-based component, using an iterative dual e...