Sciweavers

5689 search results - page 296 / 1138
» A Performance Process Maturity Model
Sort
View
FMCAD
2000
Springer
15 years 10 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...
EOR
2006
104views more  EOR 2006»
15 years 7 months ago
Link function selection in stochastic multicriteria decision making models
A stochastic formulation of the Analytic Hierarchy Process (AHP) using an approach based on Bayesian categorical data models has been developed. However, in categorical data model...
Eugene D. Hahn
ICIP
2001
IEEE
16 years 8 months ago
A unified memory based approach to cut, dissolve, key frame and scene analysis
We review a memory-based buffer model of visual perception, that combines the lower and middle stages in the analysis of video. This model was originally developed for the detecti...
Aya Aner, John R. Kender
ICASSP
2008
IEEE
16 years 1 months ago
A covariance kernel for SVM language recognition
Discriminative training for language recognition has been a key tool for improving system performance. In addition, recognition directly from shifted-delta cepstral features has p...
William M. Campbell
EACL
2003
ACL Anthology
15 years 8 months ago
Evaluating and Combining Approaches to Selectional Preference Acquisition
Previous work on the induction of selectional preferences has been mainly carried out for English and has concentrated almost exclusively on verbs and their direct objects. In thi...
Carsten Brockmann, Mirella Lapata