Sciweavers

9382 search results - page 1579 / 1877
» A Functional Model for Data Analysis
Sort
View
223
Voted
TACAS
2009
Springer
212views Algorithms» more  TACAS 2009»
16 years 1 months ago
Semantic Reduction of Thread Interleavings in Concurrent Programs
Abstract. We propose a static analysis framework for concurrent programs based on reduction of thread interleavings using sound invariants on the top of partial order techniques. S...
Vineet Kahlon, Sriram Sankaranarayanan, Aarti Gupt...
ICDAR
2009
IEEE
16 years 1 months ago
Learning and Adaptation for Improving Handwritten Character Recognizers
Writer independent handwriting recognition systems are limited in their accuracy, primarily due the large variations in writing styles of most characters. Samples from a single ch...
Naveen Chandra Tewari, Anoop M. Namboodiri
BMEI
2008
IEEE
16 years 1 months ago
Performance Evaluation and Fusion of Methods for Early Detection of Alzheimer Disease
The number of people that develop Alzheimer’s Disease (AD) is rapidly rising, while the initial diagnosis and care of AD patients typically falls on non-specialist and still tak...
Brahim Hamadicharef, Cuntai Guan, Emmanuel C. Ifea...
BIBM
2007
IEEE
162views Bioinformatics» more  BIBM 2007»
16 years 1 months ago
Multiple Interacting Subcellular Structure Tracking by Sequential Monte Carlo Method
With the wide application of green fluorescent protein (GFP) in the study of live cells, there is a surging need for the computer-aided analysis on the huge amount of image seque...
Quan Wen, Jean Gao, Kate Luby-Phelps
GLOBECOM
2007
IEEE
16 years 1 months ago
Robust Optimization for Selecting NetFlow Points of Measurement in an IP Network
— NetFlow is a solution to make an in-depth traffic analysis possible in IP networks. Most of the telecommunication operators have already deployed it, or intend to do so, for n...
Mustapha Bouhtou, Olivier Klopfenstein
« Prev « First page 1579 / 1877 Last » Next »