2180 search results - page 323 / 436 » Algorithms for discovering bucket orders from data |
100
Voted
TACAS
2004
Springer
15 years 6 months 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...
123
Voted
INFOCOM
2003
IEEE
15 years 6 months ago
2003
IEEE
—The terrorist attacks on September 11, 2001 have drawn attention to the use of wireless technology in order to locate survivors of structural collapse. We propose to construct a...
CN
2007
15 years 23 days ago
2007
Receiver-driven TCP protocols delegate key congestion control functions to receivers. Their goal is to exploit information available only at receivers in order to improve latency ...
96
Voted
IPM
2007
15 years 20 days ago
2007
The work described here initially formed part of a triangulation exercise to establish the effectiveness of the Query Term Order algorithm. The methodology produced subsequently p...
115
Voted
GECCO
2008
Springer
15 years 1 months ago
2008
Springer
A genetic algorithm (GA) was developed to implement a maximum variation sampling technique to derive a subset of data from a large dataset of unstructured mammography reports. It ...