8699 search results - page 215 / 1740 » Elements of the Theory of Computation |
163
click to vote
ICIAP
1997
ACM
15 years 10 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...
195
click to vote
JCP
2007
15 years 6 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...
136
click to vote
CORR
2010
Springer
15 years 4 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...
268
click to vote
DSN
2011
IEEE
14 years 6 months ago
2011
IEEE
—Virtual coordinate systems provide an accurate and efficient service that allows hosts on the Internet to determine latency to arbitrary hosts based on information provided by ...
154
click to vote
SEMCO
2008
IEEE
16 years 29 days ago
2008
IEEE
Blogs, discussion forums and social networking sites are an excellent source for people’s opinions on a wide range of topics. We examine the application of voting theory to “I...