10271 search results - page 2001 / 2055 » Computer Science |
130
click to vote
STOC
2004
ACM
16 years 2 months ago
2004
ACM
The main result of this paper is a near-optimal derandomization of the affine homomorphism test of Blum, Luby and Rubinfeld (Journal of Computer and System Sciences, 1993). We sho...
166
click to vote
ATAL
2005
Springer
15 years 7 months ago
2005
Springer
The next generation of air traffic control will require automated decision support systems in order to meet safety, reliability, flexibility, and robustness demands in an environ...
135
click to vote
GECCO
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. Network design involves several areas of engineering and science. Computer networks, electrical circuits, transportation problems, and phylogenetic trees are some example...
PODS
1989
ACM
15 years 6 months ago
1989
ACM
The alternating xpoint of a logic program with negation is de ned constructively. The underlying idea is monotonically to build up a set of negative conclusions until the least xp...
100
click to vote
CHARME
2001
Springer
15 years 6 months ago
2001
Springer
Formal analysis remains outside the mainstream of system design practice. Interactive methods and tools are regarded by some to be on the margin of useful research in this area. Al...