7988 search results - page 109 / 1598 » A Useful Undecidable Theory |
151
click to vote
EC
1998
15 years 3 months ago
1998
L. M. Adleman launched the field of DNA computing with a demonstration in 1994 that strands of DNA could be used to solve the Hamiltonian path problem for a simple graph. He also...
IVC
1998
15 years 3 months ago
1998
This paper discusses an extension to the inverse perspective mapping geometrical transform to the processing of stereo images and presents the calibration method used on the ARGO ...
116
Voted
CORR
2007
Springer
15 years 2 months ago
2007
Springer
In this paper, subgraphs and complementary graphs are used to analyze network synchronizability. Some sharp and attainable bounds are derived for the eigenratio of the network str...
144
Voted
CCS
2011
ACM
14 years 3 months ago
2011
ACM
We present the design, implementation and evaluation of an algorithm that checks audit logs for compliance with privacy and security policies. The algorithm, which we name reduce,...
103
click to vote
CPHYSICS
2007
15 years 3 months ago
2007
The fundamental aspects of ab-initio simulations of materials properties and of processes in materials based on density-functional theory, and their implementation at various leve...