3690 search results - page 357 / 738 » Computation with classical sequents |
161
click to vote
DATE
1998
IEEE
15 years 11 months ago
1998
IEEE
A new approach to mixed-signal circuit interfacing based on fuzzy logic models is presented. Due to their continuous rather than discrete character, fuzzy logic models offer a sig...
197
click to vote
STOC
1998
ACM
15 years 11 months ago
1998
ACM
We present a deterministic strongly polynomial algorithm that computes the permanent of a nonnegative n × n matrix to within a multiplicative factor of en. To this end we develop...
213
click to vote
SEAL
1998
Springer
15 years 11 months ago
1998
Springer
This paper empirically investigates the use and behaviour of Evolution Strategies (ES) algorithms on problems such as function optimisation and the use of evolutionary artificial ...
194
click to vote
LICS
1997
IEEE
15 years 11 months ago
1997
IEEE
traction for Functional Languages with Control James Laird LFCS, Department of Computer Science University of Edinburgh This paper considers the consequences of relaxing the brack...
174
click to vote
INFOCOM
1996
IEEE
15 years 11 months ago
1996
IEEE
This paper presents a feedback control algorithm for ATM congestion control in which source rates are adjusted according to VC queue lengths at intermediate nodes along the path. ...