3238 search results - page 114 / 648 » On the Computational Interpretation of Negation |
181
click to vote
CSFW
2006
IEEE
16 years 14 days ago
2006
IEEE
We develop a compositional method for proving cryptographically sound security properties of key exchange protocols, based on a symbolic logic that is interpreted over conventiona...
150
click to vote
ISSAC
2005
Springer
15 years 12 months ago
2005
Springer
This paper describes a method to use compiled, strongly typed Aldor domains in the interpreted, expression-oriented Maple environment. This represents a non-traditional approach t...
125
click to vote
IJON
2007
15 years 6 months ago
2007
Optical imaging with voltage-sensitive dyes (VSD imaging) can record neural activity over an area of several square centimeters with high spatiotemporal resolution. The relative c...
155
click to vote
JIFS
2002
15 years 6 months ago
2002
A novel way to simulate Turing Machines (TMs) by Artificial Neural Networks (ANNs) is proposed. We claim that the proposed simulation is in agreement with the correct interpretatio...
171
click to vote
UAIS
2002
15 years 6 months ago
2002
Abstract. This paper proposes a new effective strategy for designing and implementing interactive systems overcoming culture, skill and situation hurdles in HumanComputer Interacti...