43 search results - page 2 / 9 » Unit Completion for a Computer-aided Translation Typing Syst... |
TIC
2000
Springer
13 years 9 months ago
2000
Springer
Singleton kinds provide an elegant device for expressing type equality information resulting from modern module languages, but they can severely complicate the metatheory of langu...
FLOPS
1999
Springer
13 years 10 months ago
1999
Springer
We describe a new approach to higher-order narrowing computations in a class of systems suitable for functional logic programming. Our approach is based on a translation of these s...
ICEIS
2005
IEEE
13 years 11 months ago
2005
IEEE
: Business Process Re-engineering (BPR) is an area that requires a lot of technical documents and an important feature of a well-written document is a coherent narrative. Even thou...
IPL
2002
13 years 5 months ago
2002
We study the problem of scheduling unit time tasks of two types on m parallel identical machines. For each type, given numbers of tasks are required to be completed by the specifi...
ACL
1998
13 years 7 months ago
1998
We describe the design and function of a robust processing component which is being developed for the Verbmobil speech translation system. Its task consists of collecting partial ...