1126 search results - page 92 / 226 » Modularity and the Rule of Adaptation |
143
click to vote
CORR
1999
Springer
15 years 3 months ago
1999
Springer
This paper introduces a logical system, called BV , which extends multiplicative linear logic by a non-commutative self-dual logical operator. This extension is particularly challe...
106
Voted
TODAES
2008
15 years 3 months ago
2008
Abstract-- Automata-based methods for generating PSL hardware assertion checkers were primarily considered for use with temporal sequences, as opposed to full-scale properties. We ...
162
click to vote
ICTAI
2010
IEEE
15 years 1 months ago
2010
IEEE
Many applications call for methods to enable automatic extraction of structured information from unstructured natural language text. Due to inherent challenges of natural language ...
134
click to vote
JLP
2010
14 years 10 months ago
2010
We present a calculus for tracking equality relationships between values through pairs of bytecode programs. The calculus may serve as a certification mechanism for noninterferenc...
134
click to vote
GECCO
2010
Springer
15 years 7 months ago
2010
Springer
The multi-objective covariance matrix adaptation evolution strategy (MO-CMA-ES) is an evolutionary algorithm for continuous vector-valued optimization. It combines indicator-based...