2119 search results - page 216 / 424 » Structure-Preserving Model Reduction |
149
click to vote
DAC
2012
ACM
13 years 5 months ago
2012
ACM
Caches play an important role in embedded systems by bridging the performance gap between high speed processors and slow memory. At the same time, caches introduce imprecision in ...
124
click to vote
DATE
2005
IEEE
15 years 8 months ago
2005
IEEE
Increase in system level modeling has given rise to a need for efficient functional validation of models above cycle accurate level. This paper presents a technique for comparing...
105
click to vote
ACSD
2003
IEEE
15 years 8 months ago
2003
IEEE
— We consider the problem of specifying a model of the Zero Copy Secured Protocol for the purpose of LTL verification with the SPIN Model Checker. ZCSP is based on Direct Memory...
130
click to vote
IAT
2009
IEEE
15 years 7 months ago
2009
IEEE
Variants of the decentralized MDP model focus on problems exhibiting some special structure that makes them easier to solve in practice. Our work is concerned with two main issues...
128
click to vote
EMNLP
2009
15 years 29 days ago
2009
The work presented in this paper explores a supervised method for learning a probabilistic model of a lexicon of VerbNet classes. We intend for the probabilistic model to provide ...