3653 search results - page 320 / 731 » On Recognizable Timed Languages |
169
click to vote
ICTAI
1994
IEEE
15 years 11 months ago
1994
IEEE
Large-scale lexical knowledge acquisition is one of the most time critical steps in developing a knowledge-based machine translation system. In particular, developing the syntacti...
143
click to vote
ICALP
1993
Springer
15 years 11 months ago
1993
Springer
Broadcasting concerns transmitting information from a node of a communication network to all other nodes. We consider this problem assuming that links and nodes of the network fail...
159
click to vote
KI
1993
Springer
15 years 11 months ago
1993
Springer
Verbmobil is a long-term project on the translation of spontaneous language in negotiation dialogs. We describe the goals of the project, the chosen discourse domains and the init...
208
click to vote
IFIP
1992
Springer
15 years 11 months ago
1992
Springer
This paper presents a completely systematic design procedure for asynchronous controllers. The initial step is the construction of a signal transition graph (STG, an interpreted P...
180
click to vote
ICALP
1990
Springer
15 years 11 months ago
1990
Springer
We show how (now familiar) hierarchical representations of (convex) polyhedra can be used to answer various separation queries efficiently (in a number of cases, optimally). Our e...