3238 search results - page 155 / 648 » On the Computational Interpretation of Negation |
167
click to vote
PPSN
1994
Springer
15 years 10 months ago
1994
Springer
The Reproductive Plan Language 2 (RPL2) is an extensible interpreted language for writing and using evolutionary computing programs. It supports arbitrary genetic representations,...
169
click to vote
NIPS
1997
15 years 7 months ago
1997
Most computational engineering based loosely on biology uses continuous variables to represent neural activity. Yet most neurons communicate with action potentials. The engineerin...
171
click to vote
SC
2005
ACM
16 years 1 days ago
2005
ACM
We present the development and use of a novel distributed geohazard modeling environment for the analysis and interpretation of large scale earthquake data sets. Our work demonstr...
192
click to vote
FOSSACS
2005
Springer
16 years 17 hour ago
2005
Springer
The general aim of this talk is to advocate a combinatorial perspective, together with its methods, in the investigation and study of models of computation structures. This, of cou...
182
click to vote
EUROCRYPT
2007
Springer
15 years 10 months ago
2007
Springer
We show an efficient secure two-party protocol, based on Yao's construction, which provides security against malicious adversaries. Yao's original protocol is only secur...