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

• Modular and Efficient Divide-and-Conquer SAT Solver on Top of the Painless Framework  + (Proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'19))
• A Machine Learning Based Splitting Heuristic for Divide-and-Conquer Solvers  + (Proceedings of the 26 th International Conference on Principles and Practice of Constraint Programming (CP'20))
• Estimation of the noise level function for color images using mathematical morphology and non-parametric statistics  + (Proceedings of the 26th International Conference on Pattern Recognition)
• Filtres connexes multivariés par fusion d'arbres de composantes  + (Proceedings of the 27st Symposium on Signal and Image Processing (GRETSI))
• Estimation du niveau de bruit par arbre des formes et statistiques non paramétriques  + (Proceedings of the 27st Symposium on Signal and Image Processing (GRETSI))
• Towards Better Heuristics for Solving Bounded Model Checking Problems  + (Proceedings of the 27th International Conference on Principles and Practice of Constraint Programmings (CP'21))
• The Hanoi Omega-Automata Format  + (Proceedings of the 27th International Conference on Computer Aided Verification (CAV'15))
• Go2Pins: A Framework for the LTL Verification of Go Programs  + (Proceedings of the 27th International SPIN Symposium on Model Checking of Software (SPIN'21))
• Automation of Binary Analysis: From Open Source Collection to Threat Intelligence  + (Proceedings of the 28th C&ESAR)
• Practical Applications of the Alternating Cycle Decomposition  + (Proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'22))
• Tuning SAT Solvers for LTL Model Checking  + (Proceedings of the 29th Asia-Pacific Software Engineering Conference (APSEC'22))
• Learning Sentinel-2 Spectral Dynamics for Long-Run Predictions Using Residual Neural Networks  + (Proceedings of the 29th European Signal Processing Conference (EUSIPCO))
• A Fast and Exact Algorithm for Total Variation Minimization  + (Proceedings of the 2nd Iberian Conference on Pattern Recognition and Image Analysis (IbPRIA))
• A framework to dynamically manage distributed virtual environments  + (Proceedings of the 2nd International Conference on Virtual Worlds (VW))
• Olena: a component-based platform for image processingmixing generic, generative and OO programming  + (Proceedings of the 2nd International Symposium on Generative and Component-Based Software Engineering (GCSE)—Young Researchers Workshop; published in “Net.ObjectDays2000”)
• Modeling of Sensor Networks Using XRM  + (Proceedings of the 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA'06))
• From text detection to text segmentation: a unified evaluation scheme  + (Proceedings of the 2nd International Workshop on Robust Reading Conference (IWRR-ECCV))
• Polar type inference with intersection types and ω  + (Proceedings of the 2nd Workshop on Intersection Types and Related Systems (ITRS), published in: Electronic Notes in Theoretical Computer Science)
• An Image Processing Library in Modern C++: Getting Simplicity and Efficiency with Generic Programming  + (Proceedings of the 2nd Workshop on Reproducible Research in Pattern Recognition (RRPR 2018))
• Introducing the Boundary-Aware Loss for Deep Image Segmentation  + (Proceedings of the 32nd British Machine Vision Conference (BMVC))
• The Biosecure Geometry-based System for Hand Modality  + (Proceedings of the 32nd IEEE International Conference on Acoustics, Speech, and Signal Processing (ICASSP))
• Seminator 2 Can Complement Generalized Büchi Automata via Improved Semi-Determinization  + (Proceedings of the 32nd International Conference on Computer-Aided Verification (CAV'20))
• Mechanizing the Minimization of Deterministic Generalized Büchi Automata  + (Proceedings of the 34th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE'14))
• From Spot 2.0 to Spot 2.10: What's New?  + (Proceedings of the 34th International Conference on Computer Aided Verification (CAV'22))
• Extending Testing Automata to All LTL  + (Proceedings of the 35th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE'15))

• CLoX: Common Lisp objects for XEmacs  + (Proceedings of the 3rd European Lisp Symposium)

• LTL under reductions with weaker conditions than stutter invariance  + (Proceedings of the 41th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE'22))
• Effective Reductions of Mealy Machines  + (Proceedings of the 42nd International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE'22))
• Learning Endmember Dynamics in Multitemporal Hyperspectral Data using a State-Space Model Formulation  + (Proceedings of the 45th IEEE International Conference on Acoustics, Speech, and Signal Processing (ICASSP))
• Towards the World-Wide Quantum Network  + (Proceedings of the 4th Information Security Practice and Experience Conference (ISPEC'08))
• Total Variation Minimization with L^1 Data Fidelity as a Contrast Invariant Filter  + (Proceedings of the 4th International Symposium on Image and Signal Processing and Analysis (ISPA 2005))
• Using Separated Inputs for Multimodal Brain Tumor Segmentation with 3D U-Net-like Architectures  + (Proceedings of the 4th International Workshop, BrainLes 2019, Held in Conjunction with MICCAI 2019)
• Probabilistic model checking of the CSMA/CD, protocol using PRISM and APMC  + (Proceedings of the 4th International Workshop on Automated Verification of Critical Systems (AVoCS))
• Distribution, approximation and probabilistic model checking  + (Proceedings of the 4th international workshop on Parallel and Distributed Model Checking (PDMC))
• Generic programming redesign of patterns  + (Proceedings of the 5th European Conference on Pattern Languages of Programs (EuroPLoP))
• Document type recognition using evidence theory  + (Proceedings of the 5th IAPR International Workshop on Graphics Recognition (GREC))
• LTL Translation Improvements in Spot  + (Proceedings of the 5th International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS'11))
• Intervertebral Disc Segmentation Using Mathematical Morphology—A CNN-Free Approach  + (Proceedings of the 5th MICCAI Workshop & Challenge on Computational Methods and Clinical Applications for Spine Imaging (CSI))
• Virtual reality and tele-operation: a common framework  + (Proceedings of the 5th World Multi-Conference on Systemics, Cybernetics and Informatics (SCI)—Emergent Computing and Virtual Engineering)
• Local reasoning in fuzzy attribute graphs for optimizing sequential segmentation  + (Proceedings of the 6th IAPR TC-15 Workshop on Graph-based Representations in Pattern Recognition (GBR))
• Expression templates in Ada 95  + (Proceedings of the 6th International Conference on Reliable Software Technologies (Ada-Europe))
• Urbi et Orbi: unusual design and implementation choices for distributed virtual environments  + (Proceedings of the 6th International Conference on Virtual Systems and MultiMedia (VSMM)—Intelligent Environments Workshop)
• Action recognition: how intelligent virtual environments can ease human-machine interaction  + (Proceedings of the 6th International Conference on Virtual Systems and MultiMedia (VSMM)—Intelligent Environments Workshop)
• Semantics-Driven Genericity: A Sequel to the Static C++ Object-Oriented Programming Paradigm (SCOOP 2)  + (Proceedings of the 6th International Workshop on Multiparadigm Programming with Object-Oriented Languages (MPOOL))
• Evaluating complex MAC protocols for sensor networks with APMC  + (Proceedings of the 6th International Workshop on Automated Verification of Critical Systems (AVoCS))
• Generic design patterns in C++  + (Proceedings of the 6th USENIX Conference on Object-Oriented Technologies and Systems (COOTS))
• 10 years of confrontation between French Internet users and their successive governments  + (Proceedings of the 7th European Conference on e-Government (ECEG))
• On-the-fly Emptiness Check of Transition-based Streett Automata  + (Proceedings of the 7th International Symposium on Automated Technology for Verification and Analysis (ATVA'09))
• Ruminations on Tarjan's Union-Find algorithm and connected operators  + (Proceedings of the 7th International Symposium on Mathematical Morphology (ISMM'05))
• Reactive Synthesis from LTL Specification with Spot  + (Proceedings of the 7th Workshop on Synthesis, SYNT@CAV 2018)
• A Survey of French Local e-Democracy  + (Proceedings of the 8th European Conference on e-Government (ECEG))