Sciweavers

1914 search results - page 258 / 383
» Semantic domains for Handel-C
Sort
View
97
Voted
SAS
2007
Springer
128views Formal Methods» more  SAS 2007»
15 years 7 months ago
Magic-Sets Transformation for the Analysis of Java Bytecode
Denotational static analysis of Java bytecode has a nice and clean compositional definition and an efficient implementation with binary decision diagrams. But it models only the f...
Étienne Payet, Fausto Spoto
79
Voted
SEMWEB
2007
Springer
15 years 7 months ago
Matching Patient Records to Clinical Trials Using Ontologies
Abstract. This paper describes a large case study that explores the applicability of ontology reasoning to problems in the medical domain. We investigate whether it is possible to ...
Chintan Patel, James J. Cimino, Julian Dolby, Achi...
116
Voted
ICMCS
2005
IEEE
150views Multimedia» more  ICMCS 2005»
15 years 6 months ago
MPEG-7 MDS-Based Application Specific Metadata Model for Personalized Multi-Service Access in a DTV Broadcast Environment
The paper presents an MPEG-7 Multimedia Description Schemes (MDS)-based metadata and user profile model used within an enhanced DTV environment for semantic annotation and person...
Sofia Tsekeridou
108
Voted
ICMCS
2005
IEEE
105views Multimedia» more  ICMCS 2005»
15 years 6 months ago
Speech-Based Visual Concept Learning Using Wordnet
Modeling visual concepts using supervised or unsupervised machine learning approaches are becoming increasing important for video semantic indexing, retrieval, and filtering appli...
Xiaodan Song, Ching-Yung Lin, Ming-Ting Sun
VL
2005
IEEE
15 years 6 months ago
Transformation of UML State Machines for Direct Execution
Executable UML models are nowadays gaining interest in embedded systems design. This domain is strongly devoted to the modeling of reactive behavior using StateChart variants. In ...
Tim Schattkowsky, Wolfgang Müller 0003