311 search results - page 18 / 63 » A Bialgebraic Approach to Automata and Formal Language Theor... |
ENTCS
2006
13 years 8 months ago
2006
In this study, we introduce a model transformation tool for a time-triggered language: Giotto. The tool uses graphs to represent the source code (Giotto) and the target (the sched...
RTCSA
1997
IEEE
14 years 26 days ago
1997
IEEE
Although modern control theories have been successfully applied to solve a variety of problems, they are often mathematically and physically too specific to describe and analyze t...
AISC
2008
Springer
13 years 10 months ago
2008
Springer
We introduce high-level theories in analogy with high-level programming languages. The basic point is that even though one can define many theories via simple, low-level axiomatiza...
SBIA
2004
Springer
14 years 2 months ago
2004
Springer
This paper presents an overview of current work on the recognition of sign language and a prototype of a simple editor for a small subset of the Brazilian Sign Language, LIBRAS. Ha...
CSLP
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. This paper presents the basis of Property Grammars, a fully constraintbased theory. In this approach, all kinds of linguistic information is represented by means of const...