Sciweavers

1358 search results - page 20 / 272
» Semantic Group Formation
Sort
View
SAMT
2007
Springer
125views Multimedia» more  SAMT 2007»
14 years 2 months ago
Deploying Multimedia Metadata on the Semantic Web
—The effective and efficient deployment of multimedia metadata along with the content is a critical shortcoming regarding multimedia applications on the Semantic Web. A large se...
Michael Hausenblas, Werner Bailer, Tobias Bür...
IJCAI
2007
13 years 10 months ago
Automated Benchmark Model Generators for Model-Based Diagnostic Inference
This article proposes a Diagnosis Interchange Format (DIF), an XML-based interchange format for Model-Based Diagnosis (MBD). Its main purposes are to allow sharing of diagnostic m...
Gregory M. Provan, Jun Wang
HYBRID
2005
Springer
14 years 2 months ago
Interchange Formats for Hybrid Systems: Review and Proposal
Interchange formats have been the backbone of the EDA industry for several years. They are used as a way of helping the development of design flows that integrate foreign tools us...
Alessandro Pinto, Alberto L. Sangiovanni-Vincentel...
LICS
2000
IEEE
14 years 26 days ago
Precongruence Formats for Decorated Trace Preorders
This paper explores the connection between semantic equivalences and preorders for concrete sequential processes, represented by means of labelled transition systems, and formats ...
Bard Bloom, Wan Fokkink, Rob J. van Glabbeek
SAMOS
2004
Springer
14 years 1 months ago
DIF: An Interchange Format for Dataflow-Based Design Tools
The dataflow interchange format (DIF) is a textual language that is geared towards capturing the semantics of graphical design tools for DSP system design. A key objective of DIF i...
Chia-Jui Hsu, Fuat Keceli, Ming-Yung Ko, Shahrooz ...