4167 search results - page 382 / 834 » Regression model checking |
166
click to vote
ASPDAC
2009
ACM
15 years 9 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...
163
click to vote
CVPR
1998
IEEE
16 years 7 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...
151
Voted
ACL
2009
15 years 2 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 ...
133
click to vote
IAT
2009
IEEE
15 years 11 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...
135
Voted
APLAS
2005
ACM
15 years 10 months 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...