2539 search results - page 41 / 508 » Semantic frameworks for e-government |
142
click to vote
ER
1995
Springer
15 years 1 months ago
1995
Springer
We describe a (meta) formalism for defining a variety of (object oriented) data models in a unified framework based on a variation of first-order logic. As specific example we use...
ER
2008
Springer
14 years 11 months ago
2008
Springer
Observational data (i.e., data that records observations and measurements) plays a key role in many scientific disciplines. Observational data, however, are typically structured an...
120
click to vote
TKDE
2010
14 years 8 months ago
2010
—Social Tagging is the process by which many users add metadata in the form of keywords, to annotate and categorize items (songs, pictures, web links, products, etc.). Social tag...
ENTCS
2007
14 years 9 months ago
2007
Action Labelled transition systems (LTS) have proved to be a fundamental model for describing and proving properties of concurrent systems. In this paper,Multiple Labelled Transit...
STACS
2007
Springer
15 years 3 months ago
2007
Springer
Coalgebras provide a unifying semantic framework for a wide variety of modal logics. It has previously been shown that the class of