3136 search results - page 274 / 628 » Genetic programming theory |
148
click to vote
FLAIRS
2000
15 years 7 months ago
2000
This paper describes a novel semantic framework for an agent architecture. Drawing on Shoham's work on AGENT0 (Shoham 1993), we replace Shoham's modal logic semantics wi...
125
click to vote
SIAMMAX
2010
15 years 19 days ago
2010
We propose a new approach to estimate the joint spectral radius and the joint spectral subradius of an arbitrary set of matrices. We first restrict our attention to matrices that ...
229
click to vote
ICDE
1997
IEEE
16 years 7 months ago
1997
IEEE
The design of programsfor broadcastdisks which incorporatereal-time and fault-tolerance requirements is considered. A generalized model for real-time fault-tolerant broadcast disk...
148
click to vote
APLAS
2005
ACM
15 years 11 months ago
2005
ACM
We describe a sound method for automatically proving Hoare triples for loop-free code in Separation Logic, for certain preconditions and postconditions (symbolic heaps). The method...
149
click to vote
ATAL
2004
Springer
15 years 11 months ago
2004
Springer
We highlight the limitations of formal methods by exhibiting two results in recursive function theory: that there is no effective means of finding a program that satisfies a given...