2819 search results - page 66 / 564 » Automatic Structures |
ITS
2004
Springer
14 years 2 months ago
2004
Springer
This work is devoted to lattice-based information representation of correlations among delivery criteria in transport logistics. The number of delivery criteria, their ranking acc...
ESOP
2003
Springer
14 years 2 months ago
2003
Springer
This paper proposes the use of constraint logic programming (CLP) to perform model checking of traditional, imperative programs. We present a semantics-preserving translation from ...
DATE
2002
IEEE
14 years 2 months ago
2002
IEEE
In this paper we introduce an approach for parameter controlled symbolic analysis of nonlinear analog circuits. Based on a state-of–the-art algorithm, it enables the removal of ...
ICDIM
2008
IEEE
14 years 3 months ago
2008
IEEE
This paper proposes a system of retrieving English sentences by utilizing linguistically structural information. The user’s query consists of a sequence of keywords. The system ...
EMNLP
2011
12 years 8 months ago
2011
When translating among languages that differ substantially in word order, machine translation (MT) systems benefit from syntactic preordering—an approach that uses features fro...