519 search results - page 77 / 104 » Comparing Instance Generation Methods for Automated Reasonin... |
SAC
2008
ACM
13 years 7 months ago
2008
ACM
Model-Driven Engineering (MDE) has been advocated as an effective way to deal with today's software complexity. MDE can be seen as an integrative approach combining existing ...
ISBI
2006
IEEE
14 years 8 months ago
2006
IEEE
This work describes and compares two different methods for identifying growth patterns in preterm infants during the second year of development. One method is based on creating an...
CORR
2006
Springer
13 years 7 months ago
2006
Springer
We present a novel approach to estimate the time delay between light curves of multiple images in a gravitationally lensed system, based on Kernel methods in the context of machine...
CPAIOR
2008
Springer
13 years 9 months ago
2008
Springer
Theoretical models for the evaluation of quickly improving search strategies, like limited discrepancy search, are based on specific assumptions regarding the probability that a va...
PLDI
1996
ACM
13 years 12 months ago
1996
ACM
Two key steps in the compilation of strict functional languages are the conversion of higher-order functions to data structures (closures) and the transformation to tail-recursive...