3738 search results - page 493 / 748 » Parametrized Logic Programming |
94
Voted
CORR
2008
Springer
15 years 9 days ago
2008
Springer
This project describes the electricity demand and energy consumption management system and its application to Southern Peru smelter. It is composted of an hourly demand-forecastin...
111
Voted
PKDD
2010
Springer
14 years 10 months ago
2010
Springer
The foremost nonlinear dimensionality reduction algorithms provide an embedding only for the given training data, with no straightforward extension for test points. This shortcomin...
110
click to vote
SAS
2009
Springer
16 years 1 months ago
2009
Springer
In this paper we present a new shape analysis algorithm. The key distinguishing aspect of our algorithm is that it is completely compositional, bottom-up and non-iterative. We pres...
106
Voted
ICFP
2008
ACM
16 years 21 days ago
2008
ACM
Language-based security relies on the assumption that all potential attacks are bound by the rules of the language in question. When programs are compiled into a different languag...
100
Voted
POPL
2010
ACM
15 years 10 months ago
2010
ACM
This paper introduces a new recursion principle for inductive data modulo -equivalence of bound names. It makes use of Oderskystyle local names when recursing over bound names. It...