199 search results - page 35 / 40 » Natural Language Specification of Performance Trees |
ASE
2005
13 years 7 months ago
2005
Techniques for efficiently evaluating future time Linear Temporal Logic (abbreviated LTL) formulae on finite execution traces are presented. While the standard models of LTL are i...
IIS
2003
13 years 9 months ago
2003
Abstract. In this paper we consider the problem of web search results clustering in the Polish language, supporting our analysis with results acquired from an experimental system n...
LREC
2010
13 years 9 months ago
2010
Evaluating complex Natural Language Processing (NLP) systems can prove extremely difficult. In many cases, the best one can do is to evaluate these systems indirectly, by looking ...
IRCDL
2008
13 years 9 months ago
2008
Several sites allow users to publish personal reviews about products and services available on the market. In this paper, we consider the problem of applying classification techniq...
ASPDAC
2005
ACM
14 years 1 months ago
2005
ACM
- Many high-level description languages, such as C/C++ or Java, lack the capability to specify the bitwidth information for variables and operations. Synthesis from these specifica...