959 search results - page 18 / 192 » On the implementation of automatic differentiation tools |
SE
2007
13 years 9 months ago
2007
: Developing and maintaining large software systems can require the usage of a variety of different automatic test tools. The complexity of the tools leads to considerable overhead...
CADE
2008
Springer
14 years 7 months ago
2008
Springer
Abstract. In this paper we describe a new tool for performing KnuthBendix completion with automatic termination tools. It is based on two ingredients: (1) the inference system for ...
LREC
2008
13 years 9 months ago
2008
Phonetic segmentation is the procedure which is used in many applications of speech processing, both as a subpart of automated systems or as the tool for an interactive work. In t...
SIGSOFT
2008
ACM
14 years 8 months ago
2008
ACM
Using and extending a framework is a challenging task whose difficulty is exacerbated by the poor documentation that generally comes with the framework. Even in the presence of do...
FPL
2004
Springer
14 years 28 days ago
2004
Springer
—This paper presents a methodology and a tool for automatic synthesis of highly efficient intrusion detection systems using a high-level, graph-based partitioning methodology and...