3738 search results - page 30 / 748 » Parametrized Logic Programming |
ICIP
2010
IEEE
13 years 5 months ago
2010
IEEE
We formulate parametric curve fitting as a concave cost minimization problem. Our formulation is general encompassing any parametric curve where parameters can be free or constrai...
ICCAD
2005
IEEE
14 years 4 months ago
2005
IEEE
The increasing variability of process parameters leads to substantial parametric yield losses due to timing and leakage power constraints. Leakage power is especially affected by ...
ICFP
2008
ACM
14 years 7 months ago
2008
ACM
Datatype-generic programming involves parametrization by the shape of data, in the form of type constructors such as `list of'. Most approaches to datatype-generic programmin...
WCET
2010
13 years 5 months ago
2010
Current worst-case execution time (WCET) analyses do not support programs using dynamic memory allocation. This is mainly due to the unpredictability of cache performance introduc...
OWLED
2007
13 years 9 months ago
2007
Abstract. We describe a system in which Contextual Logic Programming is used as a mediator for knowledge modeled by ontologies. Our system provides the components required to behav...