896 search results - page 58 / 180 » On completeness of word reversing |
CONCUR
1998
Springer
15 years 5 months ago
1998
Springer
This paper presents a complete axiomatization of two decidable propositional realtime linear temporal logics: Event Clock Logic (EventClockTL) and Metric Interval Temporal Logic w...
CCR
2006
15 years 24 days ago
2006
Users typically want their flows to complete as quickly as possible: They want a web-page to download quickly, or a file transfer to complete as rapidly as possible. In other words...
TCS
2008
15 years 19 days ago
2008
Density elimination, a close relative of cut elimination, consists of removing applications of the Takeuti-Titani density rule from derivations in Gentzen-style (hypersequent) cal...
89
Voted
IJCNN
2000
IEEE
15 years 5 months ago
2000
IEEE
This paper presents a staged series of artificial neural networks (ANNs) for phoneme recognition for text-to-speech applications. Contrary from much of the prior published literat...
84
Voted
COLING
1990
15 years 1 months ago
1990
A modular parallel distributed processing architecture for parsing, representing and paraphrasing sentences with multiple hierarchical relative clauses is presented. A lowel-level...