Property

News year

From LRDE

Text

previous 202050100250500next 20
Showing 20 pages using this property.
B
Building LTL Model Checkers using Transition-based Generalized Büchi Automata +
2011  +
C
C-Transformers — A Framework to Write C Program Transformations +
2005  +
C/C++ Disambiguation Using Attribute Grammars +
2005  +
CDCLSym: Introducing Effective Symmetry Breaking in SAT Solving +
2018  +
CLOS Efficiency: Instantiation +
2009  +
CLOS solutions to binary methods +
2007  +
CLoX: Common Lisp objects for XEmacs +
2010  +
Caractérisation des zones de mouvement périodiques pour applications bio-médicales +
2017  +
Catoids and Modal Convolution Algebras +
2023  +
Cepstral and Long-Term Features for Emotion Recognition +
2009  +
Classes, Styles, Conflicts: the Biological Realm of LaTeX +
2010  +
Color image segmentation based on automatic morphological clustering +
2001  +
Combining Deep Learning and Mathematical Morphology for Historical Map Segmentation +
2021  +
Combining Explicit and Symbolic Approaches for Better On-the-Fly LTL Model Checking +
2011  +
Combining Explicit and Symbolic LTL Model Checking Using Generalized Testing Automata +
2015  +
Combining Parallel Emptiness Checks with Partial Order Reductions +
2019  +
Community and LBD-based Clause Sharing Policy for Parallel SAT Solving +
2020  +
Comparing Use-Cases of Tree-Fold vs Fold-Left, How to Fold and Color a Map +
2022  +
Comparison Between Factor Analysis and GMM Support Vector Machines for Speaker Verification +
2007  +
Compiler Construction as an Effective Application to Teach Object-Oriented Programming +
2008  +
Retrieved from "https://www.lrde.epita.fr/index.php?title=Property:News_year&oldid=3097"