2455 search results - page 165 / 491 » Graphical abstract help |
114
click to vote
CNL
2009
15 years 5 months ago
2009
Abstract. The paper introduces GF, Grammatical Framework, as a tool for implementing controlled languages. GF provides a high-level grammar formalism and a resource grammar library...
155
click to vote
EGOV
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. eDemocracy aims to increase participation of citizens in democratic processes through the use of information and communication technologies. In this paper, an architectur...
134
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. The basic aim of our study is to give a possible model for handling uncertain information. This model is worked out in the framework of DATALOG. At first the concept of f...
112
click to vote
CSE
2008
IEEE
15 years 4 months ago
2008
IEEE
to compile abstract experiment designs into enactable workflows that utilise the best available resources. The automation of this step and of the workflow enactment, hides the deta...
106
click to vote
FAC
2008
15 years 4 months ago
2008
A development of the Mondex system was undertaken using Event-B and its associated proof tools. mental approach was used whereby the refinement between the abstract specification o...