3136 search results - page 365 / 628 » Genetic programming theory |
167
click to vote
ICFP
2001
ACM
16 years 6 months ago
2001
ACM
Standard ML is a statically typed programming language that is suited for the construction of both small and large programs. "Programming in the small" is captured by St...
175
click to vote
PLDI
2009
ACM
16 years 1 months ago
2009
ACM
Information flow controls can be used to protect both data confidentiality and data integrity. The certification of the security degree of a program that runs in untrusted envi...
161
click to vote
ICCAD
2003
IEEE
16 years 3 months ago
2003
IEEE
A new technique for the logic synthesis of asynchronous circuits is presented. It is based on the structural theory of Petri nets and integer linear programming. The technique is ...
138
click to vote
ATAL
2005
Springer
16 years 4 days ago
2005
Springer
This paper reports on the RICA−J multiagent programming framework, which provides executable constructs for each of the organizational, ACL-based modelling abstractions of the R...
185
click to vote
LPNMR
2005
Springer
16 years 3 days ago
2005
Springer
We describe an application of Abductive Logic Programming (ALP) to the analysis of an important class of DNA microarray experiments. We develop an ALP theory that provides a simple...