6102 search results - page 814 / 1221 » Generating Optimizing Specializers |
167
click to vote
DAC
1998
ACM
16 years 8 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...
181
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...
154
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...
193
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...
168
click to vote
WWW
2008
ACM
16 years 7 months ago
2008
ACM
We present the design of Plurality,1 an interactive tagging system. Plurality's modular architecture allows users to automatically generate high-quality tags over Web content...