Sciweavers

2119 search results - page 104 / 424
» Structure-Preserving Model Reduction
Sort
View
CONCUR
2003
Springer
15 years 8 months ago
Multi-Valued Model Checking via Classical Model Checking
Multi-valued model-checking is an extension of classical model-checking to reasoning about systems with uncertain information, which are common during early design stages. The addi...
Arie Gurfinkel, Marsha Chechik
CORR
2010
Springer
163views Education» more  CORR 2010»
15 years 1 months ago
Faster Rates for training Max-Margin Markov Networks
Structured output prediction is an important machine learning problem both in theory and practice, and the max-margin Markov network (M3 N) is an effective approach. All state-of-...
Xinhua Zhang, Ankan Saha, S. V. N. Vishwanathan
IJCNN
2006
IEEE
15 years 9 months ago
Oscillatory Network for Synchronization-Based Adaptive Image Segmentation
— Oscillatory network model with controllable oscillator dynamics and self-organized dynamical coupling has been created for synchronization-based image processing. The model was...
Eugene Grichuk, Margarita Kuzmina, Edward A. Manyk...
SDM
2009
SIAM
180views Data Mining» more  SDM 2009»
16 years 5 days ago
Hierarchical Linear Discriminant Analysis for Beamforming.
This paper demonstrates the applicability of the recently proposed supervised dimension reduction, hierarchical linear discriminant analysis (h-LDA) to a well-known spatial locali...
Barry L. Drake, Haesun Park, Jaegul Choo
ICPADS
2010
IEEE
15 years 28 days ago
Enhancing MapReduce via Asynchronous Data Processing
The MapReduce programming model simplifies large-scale data processing on commodity clusters by having users specify a map function that processes input key/value pairs to generate...
Marwa Elteir, Heshan Lin, Wu-chun Feng