The importance of evaluation in promoting research and development in the information retrieval and natural language processing domains has long been recognised but is this suffic...
The importance of evaluation in promoting research and development in the information retrieval and natural language processing domains has long been recognised but is this suffic...
Carol Peters, Martin Braschler, Giorgio Maria Di N...
We logically model uncertainty by expanding language without changing logical reasoning rules. We expand the language of set theory by adding new predicate symbols, uncertain membe...
In this paper we give an overview of formal concepts for model transformations between visual languages based on typed attributed graph transformation. We start with a basic conce...
We present an operational semantics for a component composition language called Reo. Reo connectors exogenously compose and coordinate the interactions among individual components...
Mohammad Reza Mousavi, Marjan Sirjani, Farhad Arba...