8582 search results - page 22 / 1717 » Here or There |
WABI
2007
Springer
14 years 2 months ago
2007
Springer
The optimal transformation of one tree into another by means of elementary edit operations is an important algorithmic problem that has several interesting applications to computat...
VTS
2006
IEEE
2006
IEEE
Combining Linear and Non-Linear Test Vector Compression Using Correlation-Based Rectangular Encoding
14 years 2 months ago
A technique is presented here for improving the compression achieved with any linear decompressor by adding a small non-linear decoder that exploits bit-wise and pattern-wise corr...
EH
2005
IEEE
14 years 2 months ago
2005
IEEE
Co-evolution of system models and system tests can be used for exploratory system identification of physical platforms. Here we demonstrate how the amount of physical testing can ...
APLAS
2005
ACM
14 years 2 months ago
2005
ACM
Abstract. Polymorphic recursion is a useful extension of HindleyMilner typing and has been incorporated in the functional programming language Haskell. It allows the expression of ...
MLCW
2005
Springer
14 years 2 months ago
2005
Springer
The Recognizing Textual Entailment System shown here is based on the use of a broad-coverage parser to extract dependency relationships; in addition, WordNet relations are used to ...