Property

Published in

From LRDE

Text

previous 202050100250500next 20
Showing 20 pages using this property.
C
Catoids and Modal Convolution Algebras +
Algebra Universalis  +
Cepstral and Long-Term Features for Emotion Recognition +
Interspeech  +
Classes, Styles, Conflicts: the Biological Realm of LaTeX +
TUGboat  +
Color image segmentation based on automatic morphological clustering +
Proceedings of the IEEE International Conference on Image Processing (ICIP)  +
Combining Deep Learning and Mathematical Morphology for Historical Map Segmentation +
Proceedings of the IAPR International Conference on Discrete Geometry and Mathematical Morphology (DGMM)  +
Combining Explicit and Symbolic LTL Model Checking Using Generalized Testing Automata +
Proceedings of the 15th International Conference on Application of Concurrency to System Design (ACSD'15)  +
Combining Parallel Emptiness Checks with Partial Order Reductions +
Proceedings of the 21st International Conference on Formal Engineering Methods (ICFEM'19)  +
Community and LBD-based Clause Sharing Policy for Parallel SAT Solving +
Proceedings of the 23rd International Conference on Theory and Applications of Satisfiability Testing (SAT'20)  +
Comparing Use-Cases of Tree-Fold vs Fold-Left, How to Fold and Color a Map +
Symposium on Implementation and Application of Functional Languages  +
Comparison Between Factor Analysis and GMM Support Vector Machines for Speaker Verification +
Proceedings of the Speaker and Language Recognition Workshop (IEEE-Odyssey 2008)  +
Compiler Construction as an Effective Application to Teach Object-Oriented Programming +
The seventh “Killer Examples” workshop, Worked Examples for Sound OO Pedagogy, at OOPSLA'08  +
Compositional Approach to Suspension and Other Improvements to LTL Translation +
Proceedings of the 20th International SPIN Symposium on Model Checking of Software (SPIN'13)  +
Connected Filtering on Tree-Based Shape-Spaces +
IEEE Transactions on Pattern Analysis and Machine Intelligence  +
Connected Filters on Generalized Shape-Spaces +
Pattern Recognition Letters  +
Constructing a braid of partitions from hierarchies of partitions +
Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 14th International Symposium on Mathematical Morphology (ISMM)  +
Context-Based Energy Estimator: Application to Object Segmentation on the Tree of Shapes +
Proceedings of the 19th International Conference on Image Processing (ICIP)  +
Context-Oriented Image Processing +
Context-Oriented Programming Workshop  +
Continuous Well-Composedness implies Digital Well-Composedness in n-D +
Journal of Mathematical Imaging and Vision  +
Cosine Similarity Scoring without Score Normalization Techniques +
Odyssey The Speaker and Language Recognition  +
CosySEL: Improving SAT Solving Using Local Symmetries +
24th International Conference on Verification, Model Checking, and Abstract Interpretation  +
Retrieved from "https://www.lrde.epita.fr/index.php?title=Property:Published_in&oldid=3092"