3572 search results - page 715 / 715 » Nominal Logic Programming |
JMLR
2011
13 years 5 months ago
2011
Reports of experiments conducted with an Inductive Logic Programming system rarely describe how specific values of parameters of the system are arrived at when constructing model...
FCCM
2011
IEEE
13 years 2 months ago
2011
IEEE
— Recent progress in High-Level Synthesis (HLS) es has helped raise the abstraction level of FPGA programming. However implementation and performance evaluation of the HLS-genera...