632 search results - page 100 / 127 » Proving Invariants of Functional Programs |
128
click to vote
ESOP
2010
Springer
15 years 12 months ago
2010
Springer
Type-based amortised resource analysis following Hofmann and Jost--where resources are associated with individual elements of data structures and doled out to the programmer under ...
134
click to vote
IJCAI
2003
15 years 4 months ago
2003
The problem of deriving joint policies for a group of agents that maximize some joint reward function can be modeled as a decentralized partially observable Markov decision proces...
121
click to vote
CORR
2006
Springer
15 years 2 months ago
2006
Springer
Following the ideas of the Remote Procedure Call model, we have developed a logic programming counterpart, naturally called Prolog Remote Predicate Call (Prolog RPC) [1]. The Prol...
154
click to vote
DRM
2005
Springer
15 years 8 months ago
2005
Springer
A software obfuscator is a program O to transform a source program P for protection against malicious reverse engineering. O should be correct (O(P) has same functionality with P)...
140
Voted
AUSAI
2005
Springer
15 years 8 months ago
2005
Springer
Most data-mining techniques seek a single model that optimizes an objective function with respect to the data. In many real-world applications several models will equally optimize...