6368 search results - page 1076 / 1274 » Modeling Problem Transformations based on Data Complexity |
173
click to vote
FTCS
1998
15 years 7 months ago
1998
Ensuring the correctness of computer systems used in lifecritical applications is very difficult. The most commonly used verification methods, simulation and testing, are not exha...
209
click to vote
CGF
2010
15 years 6 months ago
2010
We address the problem of generating quality surface triangle meshes from 3D point clouds sampled on piecewise smooth surfaces. Using a feature detection process based on the cova...
164
click to vote
TITB
2008
15 years 6 months ago
2008
High throughput genome-wide RNAi screening is emerging as an essential tool to assist biologists in understanding complex cellular processes. The large number of images produced in...
186
Voted
BMVC
2010
15 years 1 months ago
2010
View planning for three-dimensional (3D) reconstruction and inspection solves the problem of finding an efficient sequence of views allowing complete and high quality reconstructi...
225
click to vote
EUROCRYPT
2012
Springer
13 years 8 months ago
2012
Springer
We describe a compression technique that reduces the public key size of van Dijk, Gentry, Halevi and Vaikuntanathan’s (DGHV) fully homomorphic scheme over the integers from ËœO(Î...