941 search results - page 106 / 189 » Mathematics on the (Semantic) NET |
112
Voted
MEMOCODE
2010
IEEE
14 years 10 months ago
2010
IEEE
This paper describes a formal executable semantics for the Verilog hardware description language. The goal of our formalization is to provide a concise and mathematically rigorous...
94
Voted
IPM
2006
15 years 18 days ago
2006
In this paper we present a theoretical model for understanding the performance of Latent Semantic Indexing (LSI) search and retrieval applications. Many models for understanding L...
101
Voted
WWW
2005
ACM
16 years 1 months ago
2005
ACM
The correctness of the Z semantics of OWL is the theoretical foundation of using software engineering techniques to verify Web ontologies. As OWL and Z are based on different logi...
91
Voted
TASE
2009
IEEE
15 years 7 months ago
2009
IEEE
A modelling language can be defined by a metamodel in UML class diagram. This paper defines the semantics of such metamodels through two mappings: a signature mapping from metamod...
196
Voted
ENTCS
2006
15 years 19 days ago
2006
We investigate the construction of linear operators representing the semantics of probabilistic programming languages expressed via probabilistic transition systems. Finite transi...