Search by property
This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.
List of results
- Automation of Binary Analysis: From Open Source Collection to Threat Intelligence +
- Beating C in Scientific Computing Applications +
- Benchmarking Keypoint Filtering Approaches for Document Image Matching +
- Binary Methods Programming: the CLOS Perspective +
- Biological Realms in Computer Science: the Way You Don't (Want To) Think About Them +
- CDCLSym: Introducing Effective Symmetry Breaking in SAT Solving +
- CLOS Efficiency: Instantiation +
- CLOS solutions to binary methods +
- CLoX: Common Lisp objects for XEmacs +
- Caractérisation des zones de mouvement périodiques pour applications bio-médicales +
- Cepstral and Long-Term Features for Emotion Recognition +
- Classes, Styles, Conflicts: the Biological Realm of LaTeX +
- Color image segmentation based on automatic morphological clustering +
- Combining Deep Learning and Mathematical Morphology for Historical Map Segmentation +
- Combining Explicit and Symbolic LTL Model Checking Using Generalized Testing Automata +
- Combining Parallel Emptiness Checks with Partial Order Reductions +
- Community and LBD-based Clause Sharing Policy for Parallel SAT Solving +
- Comparing Use-Cases of Tree-Fold vs Fold-Left, How to Fold and Color a Map +
- Comparison Between Factor Analysis and GMM Support Vector Machines for Speaker Verification +
- Compositional Approach to Suspension and Other Improvements to LTL Translation +