Sciweavers

6434 search results - page 221 / 1287
» Model Transformations with Reference Models
Sort
View
110
Voted
CAV
2009
Springer
116views Hardware» more  CAV 2009»
15 years 5 months ago
Priority Scheduling of Distributed Systems Based on Model Checking
Priorities are used to control the execution of systems to meet given requirements for optimal use of resources, e.g., by using scheduling policies. For distributed systems, it is ...
Ananda Basu, Saddek Bensalem, Doron Peled, Joseph ...
99
Voted
EMNLP
2007
15 years 2 months ago
What is the Jeopardy Model? A Quasi-Synchronous Grammar for QA
This paper presents a syntax-driven approach to question answering, specifically the answer-sentence selection problem for short-answer questions. Rather than using syntactic fea...
Mengqiu Wang, Noah A. Smith, Teruko Mitamura
49
Voted
ICASSP
2010
IEEE
15 years 23 days ago
A novel estimation of feature-space MLLR for full-covariance models
In this paper we present a novel approach for estimating featurespace maximum likelihood linear regression (fMLLR) transforms for full-covariance Gaussian models by directly maxim...
Arnab Ghoshal, Daniel Povey, Mohit Agarwal, Pinar ...
116
Voted
IJCAI
2007
15 years 2 months ago
Fault-Model-Based Test Generation for Embedded Software
Testing embedded software systems on the control units of vehicles is a safety-relevant task, and developing the test suites for performing the tests on test benches is time-consu...
Michael Esser, Peter Struss
ICIP
2003
IEEE
16 years 2 months ago
PDE-based modeling of image segmentation using volumic flooding
The classical case of morphological segmentation is based on the watershed transform, constructed by flooding the gradient image, which is seen as a topographic surface, with cons...
Anastasia Sofou, Petros Maragos