7865 search results - page 1259 / 1573 » Large correlation analysis |
198
click to vote
TACAS
2004
Springer
16 years 23 days ago
2004
Springer
Abstract. The Succinct Solver Suite offers two analysis engines for solving data and control flow problems expressed in clausal form in a large fragment of first order logic. Th...
192
click to vote
VIZSEC
2004
Springer
16 years 23 days ago
2004
Springer
Most visualizations of security-related network data require large amounts of finely detailed, high-dimensional data. However, in some cases, the data available can only be coars...
184
click to vote
WER
2004
Springer
16 years 22 days ago
2004
Springer
At present, the early phase of Requirements Engineering is a new research area in the Software Engineering field. This phase is concerned with the analysis of the organizational c...
207
click to vote
ARITH
2003
IEEE
16 years 21 days ago
2003
IEEE
This paper introduces the Interval Logarithmic Number System (ILNS), in which the Logarithmic Number System (LNS) is used as the underlying number system for interval arithmetic. ...
228
click to vote
CGO
2003
IEEE
16 years 21 days ago
2003
IEEE
Given the high cost of producing software, development of technology for prevention of software piracy is important for the software industry. In this paper we present a novel app...