3136 search results - page 430 / 628 » Genetic programming theory |
201
click to vote
CCS
2005
ACM
16 years 1 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...
141
click to vote
ILP
2005
Springer
16 years 12 hour 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 ...
159
click to vote
PPDP
2005
Springer
15 years 12 months 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...
145
click to vote
VSTTE
2005
Springer
15 years 12 months 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...
174
click to vote
FOIKS
2004
Springer
15 years 12 months 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...