5671 search results - page 553 / 1135 » A Semantic Approach to Interpolation |
191
click to vote
ATAL
2005
Springer
16 years 26 days ago
2005
Springer
We present an approach to the verification of temporal epistemic properties in synchronous multi-agent systems (MAS) via bounded model checking (BMC). Based on the semantics of s...
197
Voted
WISE
2003
Springer
16 years 17 days ago
2003
Springer
At the heart of today’s information-explosion problems are issues involving semantics, mutual understanding, concept matching, and interoperability. Ontologies and the Semantic ...
224
Voted
CODES
2008
IEEE
15 years 9 months ago
2008
IEEE
SystemC is widely used for modeling and simulation in hardware/software co-design. Due to the lack of a complete formal semantics, it is not possible to verify SystemC designs. In...
207
Voted
IIR
2010
15 years 8 months ago
2010
Increasing applications are demanding effective and efficient support to perform retrieval in large collections of digital images. The work presented here is an early stage resear...
282
Voted
FMOODS
2008
15 years 8 months ago
2008
In this work, novel symbolic step encodings of the transition relation for object based communicating state machines are presented. This class of systems is tailored to capture the...