Design of Reliable Combinatorial Algorithms Using Certificates.
Fabrizio LuccioAlberto PedrottiPublished in: CIAC (1997)
Keyphrases
- computational cost
- efficient implementation
- design process
- recently developed
- data structure
- engineering design
- optimization problems
- access control
- knowledge based systems
- orders of magnitude
- theoretical analysis
- design decisions
- graph theory
- machine learning algorithms
- databases
- database systems
- learning algorithm