3653 search results - page 352 / 731 » On Recognizable Timed Languages |
173
click to vote
OOPSLA
2010
Springer
15 years 5 months ago
2010
Springer
Given a high-level specification and a low-level programming language, our goal is to automatically synthesize an efficient program that meets the specification. In this paper,...
192
click to vote
TSD
2010
Springer
15 years 5 months ago
2010
Springer
The vocabulary used in speech usually consists of two types of words: a limited set of common words, shared across multiple documents, and a virtually unlimited set of rare words, ...
205
click to vote
BIS
2010
15 years 4 months ago
2010
Inter-organizational B2B systems are most likely tending to change their business requirements over time - e.g. establishing new partnerships or change existing ones. The problem i...
177
click to vote
EMNLP
2010
15 years 4 months ago
2010
Production of parallel training corpora for the development of statistical machine translation (SMT) systems for resource-poor languages usually requires extensive manual effort. ...
173
click to vote
AND
2009
15 years 4 months ago
2009
In a specific process of business intelligence, i.e. investigation on organized crime, empirical language processing technologies can play a crucial role. In the data used on inve...