5244 search results - page 340 / 1049 » Structural Complexity of AvgBPP |
161
click to vote
ISPW
1994
IEEE
15 years 11 months ago
1994
IEEE
I consider the problems of process system architecture in the context of the Perry-Wolf model of software architecture: process elements are executed in process systems by both ma...
175
click to vote
PPSN
1994
Springer
15 years 11 months ago
1994
Springer
A general model for the coevolution of cooperating species is presented. This model is instantiated and tested in the domain of function optimization, and compared with a tradition...
182
click to vote
PPSN
1992
Springer
15 years 10 months ago
1992
Springer
The limitations of linear chromosomes and conventional recombination operators are reviewed. It is argued that there are at least three classes of problems for which such represen...
178
click to vote
ITP
2010
15 years 10 months ago
2010
Abstract. We present a compiler for definitions made by pattern matching on inductive families in the Coq system. It allows to write structured, recursive dependently-typed functi...
166
click to vote
BSN
2006
IEEE
15 years 10 months ago
2006
IEEE
System robustness against individual sensor failures is an important concern in multi-sensor networks. Unfortunately, the complexity of using the remaining sensors to interpolate ...