Sciweavers

4008 search results - page 215 / 802
» An expressive language of signatures
Sort
View
SETN
2004
Springer
15 years 12 months ago
Text Normalization for the Pronunciation of Non-standard Words in an Inflected Language
In this paper we present a novel approach, called “Text to Pronunciation (TtP)”, for the proper normalization of Non-Standard Words (NSWs) in unrestricted texts. The methodolog...
Gerasimos Xydas, Georgios Karberis, Georgios Kouro...
HICSS
2003
IEEE
114views Biometrics» more  HICSS 2003»
15 years 12 months ago
The Effect of Bilingual Term List Size on Dictionary-Based Cross-Language Information Retrieval
Bilingual term lists are extensively used as a resource for dictionary-based Cross-Language Information Retrieval (CLIR), in which the goal is to find documents written in one na...
Dina Demner-Fushman, Douglas W. Oard
ESORICS
1992
Springer
15 years 10 months ago
ASAX: Software Architecture and Rule-Based Language for Universal Audit Trail Analysis
After a brief survey of the problems related to audit trail analysis and of some approaches to deal with them, the paper outlines the project ASAX which aims at providing an advanc...
Naji Habra, Baudouin Le Charlier, Abdelaziz Mounji...
ECMDAFA
2009
Springer
97views Hardware» more  ECMDAFA 2009»
15 years 10 months ago
A Domain Specific Language for Extracting Models in Software Modernization
Model-driven engineering techniques can be used both to create new software and to modernize existing software systems. Modeldriven software modernization requires a first step for...
Javier Luis Cánovas Izquierdo, Jesús...
FOSSACS
2009
Springer
15 years 10 months ago
On Omega-Languages Defined by Mean-Payoff Conditions
In quantitative verification, system states/transitions have associated costs, and these are used to associate mean-payoff costs with infinite behaviors. In this paper, we propose ...
Rajeev Alur, Aldric Degorre, Oded Maler, Gera Weis...