Sciweavers

9726 search results - page 1333 / 1946
» An Approach to Optimize Data Processing in Business Processe...
Sort
View
224
Voted
FMCAD
2000
Springer
15 years 11 months ago
Scalable Distributed On-the-Fly Symbolic Model Checking
Abstract. This paper presents a scalable method for parallel symbolic on-the-fly model checking in a distributed memory environment. Our method combines a scheme for on-the-fly mod...
Shoham Ben-David, Tamir Heyman, Orna Grumberg, Ass...
NIPS
2007
15 years 8 months ago
Neural characterization in partially observed populations of spiking neurons
Point process encoding models provide powerful statistical methods for understanding the responses of neurons to sensory stimuli. Although these models have been successfully appl...
Jonathan Pillow, Peter E. Latham
183
Voted
IJCAI
2003
15 years 8 months ago
Toward Conditional Models of Identity Uncertainty with Application to Proper Noun Coreference
Coreference analysis, also known as record linkage or identity uncertainty, is a difficult and important problem in natural language processing, databases, citation matching and ...
Andrew McCallum, Ben Wellner
177
Voted
ICASSP
2010
IEEE
15 years 7 months ago
Temporal motion smoothness measurement for reduced-reference video quality assessment
Reduced-reference (RR) video quality measures aim to predict the perceptual quality of distorted video signals using only partial information about the reference video. Existing R...
Kai Zeng, Zhou Wang
ICASSP
2010
IEEE
15 years 7 months ago
Voice source estimation for artificial bandwidth extension of telephone speech
Artificial bandwidth extension (ABWE) of speech signals aims to estimate wideband speech (50 Hz – 7 kHz) from narrowband signals (300 Hz – 3.4 kHz). Applying the source-filt...
Mark R. P. Thomas, Jon Gudnason, Patrick A. Naylor...
« Prev « First page 1333 / 1946 Last » Next »