941 search results - page 144 / 189 » Mathematics on the (Semantic) NET |
124
click to vote
KDD
2009
ACM
16 years 1 months ago
2009
ACM
A heterogeneous information network is an information network composed of multiple types of objects. Clustering on such a network may lead to better understanding of both hidden s...
202
click to vote
POPL
2007
ACM
16 years 25 days ago
2007
ACM
We present a model of recursive and impredicatively quantified types with mutable references. We interpret in this model all of the type constructors needed for typed intermediate...
102
Voted
ICFP
2007
ACM
16 years 14 days ago
2007
ACM
It is rare to give a semantic definition of a full-scale programming language, despite the many potential benefits. Partly this is because the available metalanguages for expressi...
132
Voted
WWW
2007
ACM
16 years 1 months ago
2007
ACM
In this work, we present an extension of CORE [2], a tool for Collaborative Ontology Reuse and Evaluation. The system receives an informal description of a specific semantic domai...
100
click to vote
ICECCS
2009
IEEE
15 years 7 months ago
2009
IEEE
OMG’s Model-Driven Architecture (MDA) has emerged as a new approach for the development of software. For this, the Query/View/Transformation (QVT) standard plays a central role,...