Has title
From LRDE
T
Transducer composition in Vaucanson 2 +
Transducers in Vaucanson 2 +
Transducteurs dans Vaucanson 2 +
Transducteurs synchronisés +
Transfinite Chomp +
Transfinite Chomp +
Transformation des courbes de niveau rapide +
Transformers : vers la fin du tunnel +
Transformers: a C++ program transformation framework +
Transformers: a C++ program transformation framework +
Transformers: toward the end of the pipeline +
Translation of an extended LTL into TBGA in Spot +
Translation of an extended LTL into TBGA in Spot +
Tree-Based Morse Regions: A Topological Approach to Local Feature Detection +
Tree-based shape spaces: Definition and applications in image processing and computer vision +
Trie-based Output Itemset Sampling +
Tuning SAT Solvers for LTL Model Checking +
Two Stages CNN-Based Segmentation of GliomasUncertainty Quantification and Prediction of Overall Patient Survival +
Two Stages CNN-Based Segmentation of GliomasUncertainty Quantification and Prediction of Overall Patient Survival +
Two applications of shape-based morphology: blood vessels segmentation and a generalization of constrained connectivity +
Two applications of shape-based morphology: blood vessels segmentation and a generalization of constrained connectivity +
Two-automaton accepting run search in Spot +