6800 search results - page 821 / 1360 » Testing with Functions as Specifications |
216
click to vote
JCC
2008
15 years 7 months ago
2008
: For the new parallel implementation of electronic structure methods in ACES III (Lotrich et al., in preparation) the present state-of-the-art algorithms for the evaluation of ele...
223
click to vote
CORR
2007
Springer
15 years 7 months ago
2007
Springer
This paper presents a methodology to efficiently explore the design space of communication adapters. In most digital signal processing (DSP) applications, the overall performance ...
209
click to vote
JIB
2008
15 years 7 months ago
2008
Biological data is often structured in the form of complex interconnected networks such as protein interaction and metabolic networks. In this paper, we investigate a new problem ...
188
click to vote
ITSSA
2006
15 years 7 months ago
2006
Abstract. A growing amounts of information are currently being generated and stored in the World Wide Web (WWW), in particular, researchers in any field can find a lot of publicati...
186
click to vote
JAIR
2006
15 years 7 months ago
2006
In this paper we propose a data intensive approach for inferring sentence-internal temporal relations. Temporal inference is relevant for practical NLP applications which either e...