Sciweavers

6016 search results - page 38 / 1204
» The semantics of graphical languages
Sort
View
ICMAS
1998
15 years 5 months ago
Verifiable Semantics for Agent Communication Languages
This paper examines the issue of developing semantics for agent communication languages. In particular, it considers the problem of giving a verifiable semantics for such language...
Michael Wooldridge
AIMSA
2004
Springer
15 years 9 months ago
Towards a Better Understanding of the Language Content in the Semantic Web
Internet content today is about 80% text-based. No matter static or dynamic, the information is encoded and presented as multilingual, unstructured natural language text pages. As ...
Pavlin Dobrev, Albena Strupchanska, Galia Angelova
FASE
2003
Springer
15 years 9 months ago
Integration of Formal Datatypes within State Diagrams
In this paper, we present a generic approach to integrate datatypes expressed using formal specification languages within state diagrams. Our main motivations are (i) to be able t...
Christian Attiogbé, Pascal Poizat, Gwen Sal...
CASCON
1997
96views Education» more  CASCON 1997»
15 years 5 months ago
The role of a GUI in the creation of a trainable message understanding system
The explosion in the amount of free text materials on the Internet, and the use of this information by people from all walks of life, has made the issue of generalized information...
Amit Bagga
118
Voted
VL
1990
IEEE
110views Visual Languages» more  VL 1990»
15 years 8 months ago
A Declarative Formalism for Specifying Graphical Layout
This paper describes a new approach to specifying graphical layouts of arbitrary objects, which is based on a TEXlike notation. Our simplest scheme offers specifications similar t...
Volker Haarslev, Ralf Möller