249 search results - page 4 / 50 » Linear Realizability |
EMNLP
2009
13 years 6 months ago
2009
This paper shows that discriminative reranking with an averaged perceptron model yields substantial improvements in realization quality with CCG. The paper confirms the utility of...
FORMATS
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. We study the realizability problem for specifications of reactive systems expressed in real-time linear temporal logics. The logics we consider are subsets of MITL (Metr...
TSP
2008
13 years 8 months ago
2008
A novel method for the estimation of a finite part of the impulse response is presented. The method is consistent in case the measured output data are prone to colored noise. The c...
ARSCOM
2006
13 years 8 months ago
2006
The posets of dimension 2 are those posets whose minimal realizations have two elements, that is, which may be obtained as the intersection of two of their linear extensions. Gall...
DAMON
2006
Springer
14 years 3 days ago
2006
Springer
A new trend in processor design is increased on-chip support for multithreading in the form of both chip multiprocessors and simultaneous multithreading. Recent research in databa...