Tools and algorithms for the construction and analysis of systems.
Kurt JensenAndreas PodelskiPublished in: Int. J. Softw. Tools Technol. Transf. (2006)
Keyphrases
- management system
- data analysis
- benchmark datasets
- orders of magnitude
- computer vision
- distributed systems
- analysis tool
- computer vision algorithms
- formal methods
- computationally efficient
- data sets
- times faster
- optimization problems
- analytical methods
- commercial products
- computational efficiency
- intelligent systems
- machine learning algorithms
- theoretical analysis
- building blocks
- significant improvement
- image analysis
- computational complexity
- data structure
- information systems
- learning algorithm
- neural network