8512 search results - page 127 / 1703 » Computing Theory With Relevance |
ASIAN
2006
Springer
14 years 19 hour ago
2006
Springer
In the investigation of the relationship between the formal and the computational view of cryptography, a recent approach, first proposed in [10], uses static equivalence from cryp...
CSL
2010
Springer
13 years 9 months ago
2010
Springer
By a Euclidean logic, we understand a formal language whose variables range over subsets of Euclidean space, of some fixed dimension, and whose non-logical primitives have fixed me...
ACL
2012
11 years 10 months ago
2012
Blogs and forums are widely adopted by online communities to debate about various issues. However, a user that wants to cut in on a debate may experience some difficulties in ext...
ISMB
1998
13 years 9 months ago
1998
Astatistical theory of local alignmentalgorithms with gaps is presented. Both the linear and logarithmic phases, as well as the phase transition separating the two phases, are des...
JETAI
1998
13 years 8 months ago
1998
The proper treatment of computationalism, as the thesis that cognition is computable, is presented and defended. Some arguments of James H. Fetzer against computationalism are exam...