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
- ETAP: Experimental Typesetting Algorithms Platform + (15th European Lisp Symposium)
- Approximate Nash Equilibria for Multi-Player Games + (1st International Symposium on Algorithmic Games Theory)
- An Innovative and Decentralized Identity Framework Based on Blockchain Technology + (2021 11th IFIP International Conference on New Technologies, Mobility and Security (NTMS))
- A Secure Blockchain-Based Architecture for the COVID-19 Data Network + (2021 5th Cyber Security in Networking Conference (CSNet))
- Trie-based Output Itemset Sampling + (2022 IEEE International Conference on Big Data (Big Data))
- Learning Diversity Attributes in Multi-Session Recommendations + (2022 IEEE International Conference on Big Data (Big Data))
- Multi-purpose Tactile Perception Based on Deep Learning in a New Tendon-driven Optical Tactile Sensor + (2022 IEEE/RSJ International Conference on Intelligent Robots and Systems)
- CosySEL: Improving SAT Solving Using Local Symmetries + (24th International Conference on Verification, Model Checking, and Abstract Interpretation)
- A Formally-Proved Algorithm to Compute the Correct Average of Decimal Floating-Point Numbers + (25th IEEE Symposium on Computer Arithmetic)
- An Experience Report on the Optimization of the Product Configuration System of Renault + (26th International Conference on Engineering of Complex Computer Systems)
- Estimation de la fonction de niveau de bruit pour des images couleurs en utilisant la morphologie mathématique + (28e Colloque sur le traitement du signal et des images)
- Généricité dynamique pour des algorithmes morphologiques + (28e Colloque sur le traitement du signal et des images)
- A Kleene Theorem for Higher-Dimensional Automata + (33rd International Conference on Concurrency Theory (CONCUR 2022))
- Topology-Aware Method to Segment 3D Plan Tissue Images + (36th Conference on Neural Information Processing SystemsAI for Science Workshop)
- New Security Protocols for Offline Point-of-Sale Machines + (36th International Conference on Advanced Information Networking and Applications (AINA))
- On Robustness for the Skolem and Positivity Problems + (39th International Symposium on Theoretical Aspects of Computer Science STACS)
- C-Transformers — A Framework to Write C Program Transformations + (ACM Crossroads)