Sciweavers

190 search results - page 16 / 38
» Semantical Correctness of Simulation-to-Animation Model and ...
Sort
View
ACL
1997
13 years 8 months ago
Finite State Transducers Approximating Hidden Markov Models
This paper describes the conversion of a Hidden Markov Model into a sequential transducer that closely approximates the behavior of the stochastic model. This transformation is es...
André Kempe
WWW
2004
ACM
14 years 8 months ago
Flexibility of Automatic Authoring for the Semantic Web
The LAOS model, a 5-layer adaptive hypermedia (AH) authoring model, was previously shown to specify a flexible framework for (collaborative) creation of material for the semantic ...
Alexandra I. Cristea
VMCAI
2004
Springer
14 years 26 days ago
Construction of a Semantic Model for a Typed Assembly Language
Typed Assembly Languages (TALs) can be used to validate the safety of assembly-language programs. However, typing rules are usually trusted as axioms. In this paper, we show how to...
Gang Tan, Andrew W. Appel, Kedar N. Swadi, Dinghao...
MIE
2008
136views Healthcare» more  MIE 2008»
13 years 9 months ago
Enhancing Knowledge Representations by Ontological Relations
Several medical natural language processing (NLP) systems currently base on ontologies that provide the domain knowledge. But, relationships between concepts defined in ontologies ...
Kerstin Denecke
ICTAC
2004
Springer
14 years 27 days ago
Verifying OWL and ORL Ontologies in PVS
The Semantic Web vision is being realized to reach the full potential of the Web. Semantic data modeling is the foundation of the Semantic Web. The Web Ontology Language (OWL) and ...
Jin Song Dong, Yuzhang Feng, Yuan-Fang Li