105 search results - page 10 / 21 » Interaction Grammars |
GG
2010
Springer
13 years 7 months ago
2010
Springer
We introduce an analysis method for graph transformation systems which checks that certain forbidden graphs are not reachable from the start graph. These forbidden graphs are speci...
MICS
2010
13 years 5 months ago
2010
Strategies specify how a wide range of exercises can be solved incrementally, such as bringing a logic proposition to disjunctive normal form, reducing a matrix, or calculating wit...
INLG
2004
Springer
14 years 23 days ago
2004
Springer
Abstract. We present a novel ensemble of six methods for improving the efficiency of chart realization. The methods are couched in the framework of Combinatory Categorial Grammar (...
ACL
1998
13 years 8 months ago
1998
In orderto realize their full potential, multimodalsystems need to support not just input from multiple modes, but also synchronized integration of modes. Johnston et al (1997) mo...
IADIS
2003
13 years 8 months ago
2003
This paper shows a web tool designed to encourage an active reader comprehension. Being a web-technology based system, it allows easy access for a wide number of users around the ...