888 search results - page 117 / 178 » The Power of Temporal Proofs |
124
click to vote
FLAIRS
2008
15 years 4 days ago
2008
Hidden Markov models are a powerful technique to model and classify temporal sequences, such as in speech and gesture recognition. However, defining these models is still an art: ...
NSDI
2007
15 years 4 days ago
2007
Debugging and profiling large-scale distributed applications is a daunting task. We present Friday, a system for debugging distributed applications that combines deterministic re...
NIPS
2008
14 years 11 months ago
2008
Offline handwriting recognition--the transcription of images of handwritten text--is an interesting task, in that it combines computer vision with sequence learning. In most syste...
NIPS
2007
14 years 11 months ago
2007
Traditional analysis methods for single-trial classification of electroencephalography (EEG) focus on two types of paradigms: phase locked methods, in which the amplitude of the ...
NIPS
2007
14 years 11 months ago
2007
Independent component analysis (ICA) is a powerful method to decouple signals. Most of the algorithms performing ICA do not consider the temporal correlations of the signal, but o...