998 search results - page 53 / 200 » From Feasible Proofs to Feasible Computations |
GIS
2010
ACM
13 years 3 months ago
2010
ACM
With the prevalence of car navigation systems, indoor navigation systems are increasingly attracting attention in the indoor research area. However, the available models for indoo...
BMCBI
2007
13 years 9 months ago
2007
Background: Maximum parsimony phylogenetic tree reconstruction from genetic variation data is a fundamental problem in computational genetics with many practical applications in p...
SC
2009
ACM
14 years 3 months ago
2009
ACM
The availability of large quantities of processors is a crucial enabler of many-task computing. Voluntary computing systems have proven that it is possible to build computing plat...
CLUSTER
2011
IEEE
12 years 8 months ago
2011
IEEE
—For many organizations, one attractive use of cloud resources can be through what is referred to as cloud bursting or the hybrid cloud. These refer to scenarios where an organiz...
WACV
2002
IEEE
14 years 1 months ago
2002
IEEE
In this paper a range synthesis algorithm is proposed as an initial solution to the problem of 3D environment modeling from sparse data. We develop a statistical learning method f...