632 search results - page 100 / 127 » Proving Invariants of Functional Programs |
108
Voted
ESOP
2010
Springer
15 years 9 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 ...
108
click to vote
IJCAI
2003
15 years 1 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...
98
Voted
CORR
2006
Springer
15 years 15 days 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...
126
Voted
DRM
2005
Springer
15 years 6 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)...
121
Voted
AUSAI
2005
Springer
15 years 6 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...