Sciweavers

1154 search results - page 80 / 231
» Semantic Context Reasoning Using Ontology Based Models
Sort
View
ITIIS
2008
149views more  ITIIS 2008»
15 years 2 months ago
Sharing e-Learning Object Metadata Using ebXML Registries for Semantic Grid Computing
To facilitate the processes of e-learning resource description, discovery and reuse, e-learning objects should be appropriately described and classified using standard metadata th...
Hyoung Do Kim
FUIN
2008
116views more  FUIN 2008»
15 years 4 months ago
On the Relationship between Description Logic-based and F-Logic-based Ontologies
Many popular ontology languages are based on (subsets of) first-order predicate logic, with classes represented by unary predicates and properties by binary predicates. Specificall...
Jos de Bruijn, Stijn Heymans
COMPSAC
2008
IEEE
15 years 10 months ago
Ontology Model-Based Static Analysis on Java Programs
1 Typical enterprise and military software systems consist of millions of lines of code with complicated dependence on library abstractions. Manually debugging these codes imposes ...
Lian Yu, Jun Zhou, Yue Yi, Ping Li, Qianxiang Wang
ECTEL
2007
Springer
15 years 10 months ago
An Ontology based Web Annotation System to Create New Learning Practices
Web2.0 is a conceptual framework that aims at enhancing the World Wide Web with semantic and social functionnalities. For this framework to fully develop, there is a need for concr...
Christophe Piombo, Hadj Batatia, Pascal Dayre, Ala...
TVLSI
2008
124views more  TVLSI 2008»
15 years 4 months ago
A Refinement-Based Compositional Reasoning Framework for Pipelined Machine Verification
Abstract--We present a refinement-based compositional framework for showing that pipelined machines satisfy the same safety and liveness properties as their non-pipelined specifica...
Panagiotis Manolios, Sudarshan K. Srinivasan