6794 search results - page 48 / 1359 » Semantics of Visual Languages |
VL
2000
IEEE
14 years 2 days ago
2000
IEEE
LREC
2008
13 years 9 months ago
2008
In this paper we present a novel approach to the incremental incorporation of semantic information in natural language processing which does not fall victim to the notorious probl...
JOT
2008
13 years 7 months ago
2008
Complex software systems possess concurrent and reactive behaviors requiring precise specifications prior to development. Lamport's transition axiom method is a formal specif...
IANDC
2006
13 years 7 months ago
2006
Cousot and Cousot introduced and studied a general past/future-time specification language, called
VL
1998
IEEE
13 years 12 months ago
1998
IEEE
This paper outlines a method to specify a wide range of diagrams by hypergraphs and diagram dynamics by hypergraph rewrite rules. The specification of a diagram language together ...