Sciweavers

16430 search results - page 2684 / 3286
» On Computable Tree Functions
Sort
View
SAC
2008
ACM
15 years 6 months ago
Automatic software fault localization using generic program invariants
Despite extensive testing in the development phase, residual defects can be a great threat to dependability in the operational phase. This paper studies the utility of lowcost, ge...
Rui Abreu, Alberto González 0002, Peter Zoe...
SAC
2008
ACM
15 years 6 months ago
PPEPR: plug and play electronic patient records
The integration of Electronic Patient Record (EPR) systems is at the centre of many of the new regional and national initiatives to integrate clinical processes across department,...
Ratnesh Sahay, Waseem Akhtar, Ronan Fox
ICPR
2010
IEEE
15 years 6 months ago
Boosting Alzheimer Disease Diagnosis Using PET Images
—Alzheimer’s disease (AD) final is one of the most frequent type of dementia. Currently there is no cure for AD and early diagnosis is crucial to the development of treatments...
Margarida Silveira, Jorge S. Marques
CIKM
2010
Springer
15 years 5 months ago
Brown dwarf: a P2P data-warehousing system
In this demonstration we present the Brown Dwarf, a distributed system designed to efficiently store, query and update multidimensional data. Deployed on any number of commodity ...
Katerina Doka, Dimitrios Tsoumakos, Nectarios Kozi...
ICPR
2010
IEEE
15 years 5 months ago
Estimating Apparent Motion on Satellite Acquisitions with a Physical Dynamic Model
The paper presents a motion estimation method based on data assimilation in a dynamic model, named Image Model, expressing the physical evolution of a quantity observed on the ima...
Etienne G. Huot, Isabelle Herlin, Nicolas Mercier,...
« Prev « First page 2684 / 3286 Last » Next »