593 search results - page 24 / 119 » tools 2011 |
TIT
2011
14 years 6 months ago
2011
— In this paper, we extend the notion of generalized Hamming weight for classical linear block code to linear network codes by introducing the network generalized Hamming weight ...
168
click to vote
NFM
2011
14 years 5 months ago
2011
Symbolic execution is a powerful automated technique for generating test cases. Its goal is to achieve high coverage of software. One major obstacle in adopting the technique in pr...
120
click to vote
AO
2011
14 years 5 months ago
2011
While the Web Ontology Language (OWL) provides a mechanism to import ontologies, this mechanism is not always suitable. First, given the current state of editing tools and the iss...
106
click to vote
CLEF
2011
Springer
13 years 10 months ago
2011
Springer
This paper describes the participation of UAIC team at the LogCLEF 2011 initiative, language identification task. Our approach is an aggregation of known methods for recognizing la...
CPP
2011
13 years 10 months ago
2011
Abstract. In this paper we present a new technique for automatically verifying typing constraints in the setting of Dminor, a first-order data processing language with refinement...