8512 search results - page 172 / 1703 » Computing Theory With Relevance |
250
click to vote
CHI
2011
ACM
14 years 8 months ago
2011
ACM
The field of HCI is growing, not only in the variety of application areas or the volume of research conducted, but also in the number of analytical approaches for use in the evalu...
128
Voted
ICALP
2004
Springer
15 years 10 months ago
2004
Springer
The analysis of security protocols requires precise formulations of the knowledge of protocol participants and attackers. In formal approaches, this knowledge is often treated in t...
129
click to vote
ICIAP
1997
ACM
15 years 8 months ago
1997
ACM
Image formation of a two-dimensional input image can be quantified by imposing an image induced connection and computing the associated torsion and curvature. The latter aspects of...
161
click to vote
JCP
2007
15 years 4 months ago
2007
Abstract— This paper deals with the use of Bayesian Networks to compute system reliability of complex systems under epistemic uncertainty. In the context of incompleteness of rel...
106
Voted
CORR
2010
Springer
15 years 1 months ago
2010
Springer
In the paper I sketch a theory of massively parallel proofs using cellular automata presentation of deduction. In this presentation inference rules play the role of cellular-autom...