Synthesizing robust systems.
Roderick BloemKrishnendu ChatterjeeKarin GreimelThomas A. HenzingerGeorg HofferekBarbara JobstmannBettina KönighoferRobert KönighoferPublished in: Acta Informatica (2014)
Keyphrases
- systems require
- building blocks
- decision making
- neural network
- intelligent systems
- image processing
- artificial intelligence
- learning algorithm
- multimedia
- decision trees
- expert systems
- relational databases
- recommender systems
- distributed systems
- information retrieval
- knowledge based systems
- computationally efficient
- real world
- retrieval systems
- databases