2496 search results - page 72 / 500 » Error-detecting properties of languages |
FSTTCS
2010
Springer
13 years 8 months ago
2010
Springer
Quantitative properties of timed regular languages, such as information content (growth rate, entropy) are explored. The approach suggested by the same authors is extended to lang...
ICASSP
2011
IEEE
13 years 1 months ago
2011
IEEE
In this work we present the Subsequence Similarity Language Model (S2-LM) which is a new approach to language modeling based on string similarity. As a language model, S2-LM gener...
TOPLAS
2008
13 years 8 months ago
2008
We present a new approach to the old problem of adding side effects to purely functional languages. Our idea is to extend the language with "witnesses," which is based o...
COORDINATION
2007
Springer
14 years 4 months ago
2007
Springer
Workflow management systems control activities that are performed in a distributed manner by a number of human or automated participants. There is a wide variety of workflow syste...
ICDT
2007
ACM
14 years 4 months ago
2007
ACM
Moving objects produce trajectories. We describe a data model for trajectories and trajectory samples and an efficient way of modeling uncertainty via beads for trajectory samples....