3238 search results - page 114 / 648 » On the Computational Interpretation of Negation |
207
Voted
CSFW
2006
IEEE
16 years 1 months 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...
172
Voted
ISSAC
2005
Springer
16 years 16 days 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...
139
Voted
IJON
2007
15 years 7 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...
175
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...
185
Voted
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...