4609 search results - page 703 / 922 » Automatic Generation of Sigma-Protocols |
204
click to vote
MICCAI
2007
Springer
16 years 7 months ago
2007
Springer
Multisubject statistical analyses of diffusion tensor images in regions of specific white matter tracts have commonly measured only the mean value of a scalar invariant such as the...
172
click to vote
ICML
2007
IEEE
16 years 7 months ago
2007
IEEE
Hierarchical models have been extensively studied in various domains. However, existing models assume fixed model structures or incorporate structural uncertainty generatively. In...
168
click to vote
ICML
2006
IEEE
16 years 7 months ago
2006
IEEE
This paper examines high dimensional regression with noise-contaminated input and output data. Goals of such learning problems include optimal prediction with noiseless query poin...
189
click to vote
ICML
1996
IEEE
16 years 7 months ago
1996
IEEE
Generating good, production-quality plans is an essential element in transforming planners from research tools into real-world applications, but one that has been frequently overl...
184
click to vote
ICSE
2008
IEEE-ACM
16 years 7 months ago
2008
IEEE-ACM
Code clones are generally considered to be an obstacle to software maintenance. Research has provided evidence that it may not always be practical, feasible, or cost-effective to ...