5 papers
Sober -convex spaces and -join-semilattices
Guojun Wu, Wei Yao
With a complete residuated lattice as the truth value table, we extend the definition of sobriety of classical convex spaces to the framework of -convex spaces. We provide a…
When do CF-approximation spaces capture sL-domains
Guojun Wu, Luoshan Xu, Wei Yao
In this paper, by means of upper approximation operators in rough set theory, we study representations for sL-domains and its special subclasses. We introduce the concepts of sL-ap…
Representations of FS-domains and BF-domains via FS-approximation Spaces
Guojun Wu, Luoshan Xu
In this paper, concepts of (topological) FS-approximation spaces are introduced. Representations of FS-domains and BF-domains via (topological) FS-approximation spaces are consider…
Evaluating Automatic Metrics with Incremental Machine Translation Systems
Guojun Wu, Shay B. Cohen, Rico Sennrich
We introduce a dataset comprising commercial machine translations, gathered weekly over six years across 12 translation directions. Since human A/B testing is commonly used, we ass…
Representations of domains via closure spaces in the quantale-valued setting
Guojun Wu, Wei Yao, Qingguo Li
With a commutative unital quantale as the truth value table, this study focuses on the representations of -domains by means of -closure spaces. First, the notions of inte…