2006 search results - page 92 / 402 » Heuristic Security-Testing Methods |
124
Voted
IV
2003
IEEE
15 years 7 months ago
2003
IEEE
This paper introduces a new edge length heuristic that finds a graph layout where the edge lengths are proportional to the weights on the graph edges. The heuristic can be used in...
128
Voted
IJCNN
2000
IEEE
15 years 6 months ago
2000
IEEE
Neural Network approaches to time series prediction are briefly discussed, and the need to specify an appropriately sized input window identified. Relevant theoretical results fro...
118
Voted
ACSD
2004
IEEE
15 years 6 months ago
2004
IEEE
Abstract. This paper presents a formal verification algorithm for finding errors in models of complex concurrent systems. The algorithm improves explicit guided model checking by a...
111
click to vote
DGO
2004
15 years 3 months ago
2004
Question answering (QA) on table data is a challenging information retrieval task. This paper describes a QA system for tables created with both machine learning and heuristic tab...
121
click to vote
WAE
2000
15 years 3 months ago
2000
Abstract. In this paper we present a heuristic based on dynamic approximations for improving the well-known Schnorr-Euchner lattice basis reduction algorithm. In particular, the ne...