Search Results for author:
Found 3 papers, 0 papers with code
Multi-view X-ray Image Synthesis with Multiple Domain Disentanglement from CT Scans
Meanwhile, we also impose a supervised process by computing the similarity of computed real DRR and synthesized DRR images.
Formal modeling and performance evaluation for hybrid systems:a probabilistic hybrid process algebra-based approach
After that, we present a performance evaluation language, CTRML, to reason over probabilistic systems, which extend the results to real number.
Formal Languages and Automata Theory F.4.3
More on extension-based semantics of argumentation
The neutrality function and the defense function, which play central roles in Dung's abstract argumentation theory, are shown to be distributive over reduced meets modulo any ultrafilter.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
