3738 search results - page 493 / 748 » Parametrized Logic Programming |
117
click to vote
CORR
2008
Springer
15 years 2 months 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...
135
click to vote
PKDD
2010
Springer
15 years 1 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...
137
Voted
SAS
2009
Springer
16 years 3 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...
128
Voted
ICFP
2008
ACM
16 years 3 months 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...
125
Voted
POPL
2010
ACM
16 years 21 days 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...