3136 search results - page 430 / 628 » Genetic programming theory |
219
click to vote
CCS
2005
ACM
16 years 19 days ago
2005
ACM
We study formal security properties of network-attached storage (NAS) in an applied pi calculus. We model NAS as an implementation of a specification based on traditional central...
154
click to vote
ILP
2005
Springer
16 years 18 days ago
2005
Springer
Abstract. It is well known by Inductive Logic Programming (ILP) practioners that ILP systems usually take a long time to find valuable models (theories). The problem is specially ...
181
click to vote
PPDP
2005
Springer
16 years 17 days ago
2005
Springer
We study contexts (terms with holes) by proposing a ‘λcalculus with holes’. It is very expressive and can encode programming constructs apparently unrelated to contexts, incl...
165
click to vote
VSTTE
2005
Springer
16 years 17 days ago
2005
Springer
Abstract. Many well-established concepts of object-oriented programming work for individual objects, but do not support object structures. The development of a verifying compiler r...
185
Voted
FOIKS
2004
Springer
16 years 14 days ago
2004
Springer
We introduce a simple and practically efficient method for repairing inconsistent databases. The idea is to properly represent the underlying problem, and then use off-the-shelf a...