Sciweavers

2701 search results - page 183 / 541
» On the form of witness terms
Sort
View
ICASSP
2011
IEEE
14 years 10 months ago
Predictive modeling of the spatiotemporal evolution of an environmental hazard and its sensor network implementation
Predicting accurately the spatiotemporal evolution of a diffusive environmental hazard is of paramount importance for its effective containment. We approximate the front line of a...
Dimitris V. Manatakis, Elias S. Manolakos
ICASSP
2011
IEEE
14 years 10 months ago
Generalizations of Blom And Bloem's PDF decomposition for permutation-invariant estimation
Minimum mean squared error estimates generally are not optimal in terms of a common track error statistic used in tracking benchmarks, namely a form of the Mean Optimal Subpattern...
David Frederic Crouse, Peter Willett, Yaakov Bar-S...
CHI
2011
ACM
14 years 10 months ago
MusEEGk: a brain computer musical interface
We present a novel integration of a brain-computer interface (BCI) with a music step sequencer composition program. Previous BCIs that utilize EEG data to form music provide users...
Yee Chieh "Denise" Chew, Eric Caspary
PLDI
2011
ACM
14 years 9 months ago
Precise and compact modular procedure summaries for heap manipulating programs
We present a strictly bottom-up, summary-based, and precise heap analysis targeted for program verification that performs strong updates to heap locations at call sites. We firs...
Isil Dillig, Thomas Dillig, Alex Aiken, Mooly Sagi...
BICOB
2011
Springer
14 years 6 months ago
Similarity and Prioritization of Disease Proteins using Path Length Measure
Semantic similarity measures have been used successfully and extensively in the biomedical research with various applications. As the biomedical ontologies, which form the main gro...
Anurag Nagar, Hisham Al-Mubaid