6016 search results - page 43 / 1204 » The semantics of graphical languages |
115
click to vote
SEMWEB
2001
Springer
15 years 8 months ago
2001
Springer
Recent research has shown that RDF Schema, as a schema layer Semantic Web language, has a non-standard metamodeling architecture. As a result, it is difficult to understand and la...
155
click to vote
ER
2006
Springer
15 years 7 months ago
2006
Springer
One of the main drawbacks of the Semantic Web is the lack of semantically rich data, since most of the information is still stored in relational databases. In this paper, we presen...
150
Voted
PADL
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Provably correct compilation is an important aspect in development of high assurance software systems. In this paper we explore approaches to provably correct code genera...
124
click to vote
PEPM
2009
ACM
16 years 1 months ago
2009
ACM
ract interpretation of programs relates the exact semantics of a programming language to an approximate semantics that can be effectively computed. We show that, by specifying ope...
167
click to vote
PLDI
2012
ACM
13 years 6 months ago
2012
ACM
While graphics processing units (GPUs) provide low-cost and efficient platforms for accelerating high performance computations, the tedious process of performance tuning required...