Sciweavers

16430 search results - page 2667 / 3286
» On Computable Tree Functions
Sort
View
BILDMED
2009
215views Algorithms» more  BILDMED 2009»
15 years 8 months ago
Vector Extrapolation-Based Acceleration of Regularized Richardson Lucy Image Deblurring
Confocal fluorescence microscopy has become an important tool in biological and medical sciences for imaging thin specimen, even living ones. Due to out-of-focus blurring and noise...
Steffen Remmele, Jürgen Hesser
BIRTHDAY
2010
Springer
15 years 8 months ago
Halting and Equivalence of Program Schemes in Models of Arbitrary Theories
In this note we consider the following decision problems. Let be a fixed first-order signature. (i) Given a first-order theory or ground theory T over of Turing degree , a program...
Dexter Kozen
CCGRID
2010
IEEE
15 years 8 months ago
High Performance Dimension Reduction and Visualization for Large High-Dimensional Data Analysis
Abstract--Large high dimension datasets are of growing importance in many fields and it is important to be able to visualize them for understanding the results of data mining appro...
Jong Youl Choi, Seung-Hee Bae, Xiaohong Qiu, Geoff...
CCGRID
2010
IEEE
15 years 8 months ago
The Failure Trace Archive: Enabling Comparative Analysis of Failures in Diverse Distributed Systems
With the increasing functionality and complexity of distributed systems, resource failures are inevitable. While numerous models and algorithms for dealing with failures exist, th...
Derrick Kondo, Bahman Javadi, Alexandru Iosup, Dic...
CHI
2010
ACM
15 years 8 months ago
Designing a CD augmentation for mobile phones
Interacting with physical CDs can be a very tangible and explorative experience. However, physical objects can't provide access to the digital services we are used to when us...
Niels Henze, Susanne Boll
« Prev « First page 2667 / 3286 Last » Next »