Mathematical and Engineering Methods in Computer Science : 10th International Doctoral Workshop, Memics 2015, Telč, Czech Republic, October 23-25,
Overview
Programming Support for Future Parallel Architectures.- Flexible Interpolation for Efficient Model Checking.- Understanding Transparent and Complicated Users as Instances of Preference Learning for Recommender Systems.- Span-Program-Based Quantum Algorithms for Graph Bipartiteness and Connectivity.- Fitting Aggregation Operators.- Practical Exhaustive Generation of Small Multiway Cuts in Sparse Graphs.- Self-adaptive Architecture for Multi-sensor Embedded Vision System.- Exceptional Configurations of Quantum Walks with Grover's Coin.- Performance Analysis of Distributed Stream Processing Applications Through Colored Petri Nets.- GPU-Accelerated Real-Time Mesh Simplification Using Parallel Half Edge Collapses.- Classifier Ensemble by Semi-supervised Learning: Local Aggregation Methodology.- The Challenge of Increasing Safe Response of Antivirus Software Users.- Weak Memory Models as LLVM-to-LLVM Transformations.
This item is Non-Returnable
Customers Also Bought
Details
- ISBN-13: 9783319298160
- ISBN-10: 331929816X
- Publisher: Springer
- Publish Date: February 2016
- Dimensions: 9.21 x 6.14 x 0.36 inches
- Shipping Weight: 0.54 pounds
- Page Count: 157
Related Categories
