Bialgebraic semantics, invented a decade ago by Turi and Plotkin, is an approach to formal reasoning about well-behaved structural operational specifications. An extension of alg...
TagClouds is a popular visualization for the collaborative tags. However it has some instinct problems such as linguistic issues, high semantic density and poor understanding of hi...
Semantic parsing is the task of mapping a natural language sentence into a complete, formal meaning representation. Over the past decade, we have developed a number of machine lear...
Abstract. We consider the OMG’s Queries, Views and Transformations (QVT) standard as applied to the specification of bidirectional transformations between models. We discuss wha...
The world-wide-web (WWW) today consists of distinct, isolated islands of data and metadata. In the near future we expect the availability of a critical mass of data and metadata f...
Wolfgang Ketter, Arun Batchu, Gary Berosik, Dan Mc...