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
- Brain Tumor Segmentation with deep convolutional network approach + (Brain Tumor Segmentation with deep convolutional network approach)
- Building Efficient Model checkers using Hierarchical Set Decision Diagrams and automatic Saturation + (Building Efficient Model checkers using Hierarchical Set Decision Diagrams and automatic Saturation)
- Building LTL Model Checkers using Transition-based Generalized Büchi Automata + (Building LTL Model Checkers using Transition-based Generalized Büchi Automata)
- Building a quantum perceptron + (Building a quantum perceptron)
- Building an interface for and with Climb + (Building an interface for and with Climb)
- C++ Program Slicing with Transformers + (C++ Program Slicing with Transformers)
- C++ Transformations panorama + (C++ Transformations panorama)
- C++ Transformations panorama + (C++ Transformations panorama)
- C++ container library with the SCOOP paradigm + (C++ container library with the SCOOP paradigm)
- C++ container library with the SCOOP paradigm + (C++ container library with the SCOOP paradigm)
- C++ template disambiguation with Transformers Attribute Grammars + (C++ template disambiguation with Transformers Attribute Grammars)
- C++ type-checking: A study of existing solutions + (C++ type-checking: A study of existing solutions)
- C++ type-checking: A study of existing solutions + (C++ type-checking: A study of existing solutions)
- C-Transformers — A Framework to Write C Program Transformations + (C-Transformers — A Framework to Write C Program Transformations)
- C/C++ Disambiguation Using Attribute Grammars + (C/C++ Disambiguation Using Attribute Grammars)
- CDCLSym: Introducing Effective Symmetry Breaking in SAT Solving + (CDCLSym: Introducing Effective Symmetry Breaking in SAT Solving)
- CLIMB: A Dynamic Approach To Generic Image Processing + (CLIMB: A Dynamic Approach To Generic Image Processing)
- CLIMB: Une approche dynamique du traitement générique d'images + (CLIMB: Une approche dynamique du traitement générique d'images)
- CLOS Efficiency: Instantiation + (CLOS Efficiency: Instantiation)
- CLOS solutions to binary methods + (CLOS solutions to binary methods)
- CLoX: Common Lisp objects for XEmacs + (CLoX: Common Lisp objects for XEmacs)
- Calcul de distance par un rśeau de neurones profond siamois + (Calcul de distance par un rśeau de neurones profond siamois)