671 search results - page 49 / 135 » Semantics Preserving Model Composition |
161
click to vote
MEMOCODE
2007
IEEE
15 years 12 months ago
2007
IEEE
Bluespec is a high-level hardware description language used for architectural exploration, hardware modeling and synthesis of semiconductor chips. In Bluespec, one views hardware ...
118
Voted
RTSS
2005
IEEE
15 years 11 months ago
2005
IEEE
The periodic resource model for hierarchical, compositional scheduling abstracts task groups by resource requirements. We study this model in the presence of dataflow constraints...
155
click to vote
ICIP
1998
IEEE
16 years 7 months ago
1998
IEEE
The rapid growth of visual data over the last few years has lead to many schemes for retrieving such data. With content-based systems today, there exists a significant gap between...
152
click to vote
AUSAI
2009
Springer
16 years 6 days ago
2009
Springer
Abstract. We present a semantic model of typicality of concept members in description logics that accords well with a binary, globalist cognitive model of class membership and typi...
164
Voted
AUSAI
1997
Springer
15 years 9 months ago
1997
Springer
Abstract. We compare Kripke models and hypercube systems, a simpli ed notion of Interpreted Systems, as semantic structures for reasoning about knowledge. Our method is to de ne a ...