4167 search results - page 382 / 834 » Regression model checking |
198
Voted
ASPDAC
2009
ACM
15 years 11 months ago
2009
ACM
— This paper proposes the first automatic approach to simultaneously generate Cycle Accurate and Cycle Count Accurate transaction level bus models. Since TLM (Transaction Level M...
201
Voted
CVPR
1998
IEEE
16 years 8 months ago
1998
IEEE
The estimation and detection of occlusion boundaries and moving bars are important and challenging problems in image sequence analysis. Here, we model such motion features as line...
181
click to vote
ACL
2009
15 years 4 months ago
2009
We present a novel approach to deciding whether two sentences hold a paraphrase relationship. We employ a generative model that generates a paraphrase of a given sentence, and we ...
170
Voted
IAT
2009
IEEE
16 years 1 months ago
2009
IEEE
—The import of the notion of institution in the design of MASs requires to develop formal and efficient methods for modeling the interaction between agents’ behaviour and norm...
156
click to vote
APLAS
2005
ACM
16 years 9 days ago
2005
ACM
We describe a sound method for automatically proving Hoare triples for loop-free code in Separation Logic, for certain preconditions and postconditions (symbolic heaps). The method...