Sciweavers

325 search results - page 45 / 65
» Abstract Rewriting
Sort
View
TSD
2007
Springer
15 years 11 months ago
Festival-si: A Sinhala Text-to-Speech System
Abstract. This paper brings together the development of the first Text-toSpeech (TTS) system for Sinhala using the Festival framework and practical applications of it. Construction...
Ruvan Weerasinghe, Asanka Wasala, Viraj Welgama, K...
CLEF
2005
Springer
15 years 10 months ago
A Logic Programming Based Approach to QA@CLEF05 Track
Abstract. In this paper the methodology followed to build a questionanswering system for the Portuguese language is described. The system modules are built using computational ling...
Paulo Quaresma, Irene Pimenta Rodrigues
RTA
2005
Springer
15 years 10 months ago
Termination of Single-Threaded One-Rule Semi-Thue Systems
Abstract. This paper is a contribution to the long standing open problem of uniform termination of Semi-Thue Systems that consist of one rule s → t. McNaughton previously showed ...
Wojciech Moczydlowski, Alfons Geser
137
Voted
ESORICS
2004
Springer
15 years 10 months ago
Security Property Based Administrative Controls
Abstract. Access control languages which support administrative controls, and thus allow the ordinary permissions of a system to change, have traditionally been constructed with ...
Jon A. Solworth, Robert H. Sloan
151
Voted
AGTIVE
2003
Springer
15 years 10 months ago
On Graphs in Conceptual Engineering Design
Abstract. This paper deals with knowledge-based computer aided design. A novel method giving additional support for conceptual design is presented. In this method, a designer firs...
Janusz Szuba, Agnieszka Ozimek, Andy Schürr