Sciweavers

3679 search results - page 66 / 736
» Hybrid Semantic Analysis
Sort
View
98
Voted
CORR
2007
Springer
98views Education» more  CORR 2007»
15 years 17 days ago
Guarded Hybrid Knowledge Bases
Recently, there has been a lot of interest in the integration of Description Logics and rules on the Semantic Web. We define guarded hybrid knowledge bases (or g-hybrid knowledge...
Stijn Heymans, Jos de Bruijn, Livia Predoiu, Crist...
CAV
2010
Springer
227views Hardware» more  CAV 2010»
14 years 10 months ago
Breach, A Toolbox for Verification and Parameter Synthesis of Hybrid Systems
We describe Breach, a Matlab toolbox providing a coherent set of simulation-based techniques aimed at the analysis of deterministic models of hybrid dynamical systems. The primary ...
Alexandre Donzé
116
Voted
ASP
2005
Springer
15 years 6 months ago
Modeling Hybrid Domains Using Process Description Language
In previous work, action languages have predominantly been concerned with domains in which values are static unless changed by an action. Real domains, however, often contain value...
Sandeep Chintabathina, Michael Gelfond, Richard Wa...
ASWC
2008
Springer
15 years 2 months ago
Deep Semantic Mapping between Functional Taxonomies for Interoperable Semantic Search
This paper discusses ontology mapping between two taxonomies of functions of artifacts for the engineering knowledge management. The mapping is of two ways and has been manually es...
Yoshinobu Kitamura, Sho Segawa, Munehiko Sasajima,...
MIR
2005
ACM
176views Multimedia» more  MIR 2005»
15 years 6 months ago
Hybrid visual and conceptual image representation within active relevance feedback context
Many of the available image databases have keyword annotations associated with the images. In spite of the availability of good quality low-level visual features that reflect wel...
Marin Ferecatu, Nozha Boujemaa, Michel Crucianu