3294 search results - page 494 / 659 » Taxonomy of Process Modeling Languages |
123
click to vote
DLOG
2003
15 years 5 months ago
2003
We present a translation of looping alternating two-way automata into a comparably inexpressive description logic, which is contained in SHIQ. This enables us to perform the empti...
136
click to vote
MIC
2003
15 years 5 months ago
2003
The paper deals with the discrete event simulation of a modular assembly plant for automotive derivation boxes. A simulation package has been developed in objectoriented language ...
135
Voted
ACL
1990
15 years 5 months ago
1990
We discuss algorithms for generation within the Lambek Theorem Proving Framework. Efficient algorithms for generation in this framework take a semantics-driven strategy. This stra...
150
click to vote
COLING
1990
15 years 5 months ago
1990
In this paper, we describe a means for automatically building very large neural networks (VLNNs) from definition texts in machine-readable dictionaries, and demonstrate the use of...
154
click to vote
IS
2007
15 years 4 months ago
2007
level of abstraction which is not only ideally suited for processing data on secondary storage but which also readily absorbs important issues in computational parallelism and in d...