2752 search results - page 261 / 551 » Rounding to an Integral Program |
146
click to vote
DISCEX
2003
IEEE
15 years 12 months ago
2003
IEEE
The DARPA Information Assurance (IA) and Operational Partners in Experimentation (OPX) Programs have conducted over a dozen laboratory-based experiments involving live red teams s...
191
click to vote
IDEAS
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper describes an evolution framework supporting customisation of the schema evolution and instance adaptation approaches in an object database management system. The framew...
181
click to vote
NIPS
1994
15 years 8 months ago
1994
This paper presents NeuroChess, a program which learns to play chess from the final outcome of games. NeuroChess learns chess board evaluation functions, represented by artificial...
164
click to vote
JAR
2008
15 years 6 months ago
2008
This article describes the formal verification of a compilation algorithm that transforms parallel moves (parallel assignments between variables) into a semanticallyequivalent sequ...
142
click to vote
CSUR
1999
15 years 6 months ago
1999
Algorithm Engineering is concerned with the design, analysis, implementation, tuning, debugging and experimental evaluation of computer programs for solving algorithmic problems. ...