 [7-10]Symmetry Breaking in Constraint Satisfaction and Optimization
|
2017-07-07 |
| [6-27]Deep Learning Approaches for Brain Image Segmentation, Analysis, and Related Problems
|
2017-06-23 |
| [6-27]Network Resource Management in Wireless Networked Control Systems
|
2017-06-23 |
| [6-23]TextScope: Enhance Human Perception via Text Mining
|
2017-06-22 |
| [5-25]Logical characterisations and compositionality of input-output conformance simulation
|
2017-05-23 |
| [4-25]Formal methods and agile development: towards a happy marriage
|
2017-04-21 |
| [4-21] A Brief Tutorial on the Prototype Verification System (PVS)
|
2017-04-18 |
| [4-21]Tempo: From Data Streams to Graph Streams, from Searching to Mining
|
2017-04-17 |
| [3-24]Fake News: the View from Natural Language Generation
|
2017-03-22 |
| [3-16]Understanding and Detecting Wake Lock Misuses for Android Applications
|
2017-03-13 |
| [1-22]Context Model for 3D Scene Understanding
|
2017-01-20 |
| [2017-1-10]Towards Better Adequacy of Neural Machine Translation
|
2017-01-09 |
| [11-21]Adventures in Code Generation
|
2016-11-16 |
| [11-18] Computer Assisted Mathematical Proofs: Successes and Limitations
|
2016-11-15 |
| [10-31]Mining Input Grammars for Security
|
2016-10-27 |
