941 search results - page 132 / 189 » Mathematics on the (Semantic) NET |
105
Voted
DEDS
2007
15 years 16 days ago
2007
The unfolding of a concurrent system represents in a compact manner all possible runs of this system. Unfoldings are used in many applications, ranging from model-checking (offlin...
91
Voted
MICS
2008
15 years 1 days ago
2008
The disambiguation approach to the input of formulae enables users of mathematical assistants to type correct formulae in a terse syntax close to the usual ambiguous mathematical n...
178
click to vote
ICDE
2001
IEEE
16 years 1 months ago
2001
IEEE
We propose an extension to current view-based mediator systems called model-based mediation, in which views are defined and executed at the level of conceptual models (CMs) rather...
91
Voted
MATES
2005
Springer
15 years 6 months ago
2005
Springer
Because there is still no agreed-upon global ontology, Web services supplied by different providers typically have individual and unique semantics, described by independently devel...
107
click to vote
ECAI
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. Measuring relational similarity between words is important in numerous natural language processing tasks such as solving analogy questions and classifying noun-modifier r...