Yuping Shen

Publication Activity (10 Years)

Years Active: 2005-2024
Publications (10 Years): 7

Top Topics

Propositional Formulas

Top Venues

Sci. China Inf. Sci.

Publications

Zongshun Wang, Yuping Shen
Bilateral Gradual Semantics for Weighted Argumentation. AAAI (2024)
Zongshun Wang, Yuping Shen
Fuzzy Labeling Semantics for Quantitative Argumentation. CLAR (2023)
Zongshun Wang, Yuping Shen
Fuzzy Labeling Semantics for Quantitative Argumentation. CoRR (2022)
Shiguang Feng, Kexu Wang, Xishun Zhao, Yuping Shen
Capturing the polynomial hierarchy by second-order revised Krom logic. CoRR (2022)
Yingzhu Feng, Zhangzhang Xie, Xuanlong Jiang, Zhen Li, Yuping Shen, Bochu Wang, Jianzhong Liu
The Applications of Promoter-gene-Engineered Biosensors. Sensors 18 (9) (2018)
Yuping Shen, Hassan Foroosh
An Invariant Model of the Significance of Different Body Parts in Recognizing Different Actions. CoRR (2017)
Yuping Shen, Hassan Foroosh
View-Invariant Recognition of Action Style Self-Dissimilarity. CoRR (2017)
Yuping Shen, Xishun Zhao
Proof systems for planning under 0-approximation semantics. Sci. China Inf. Sci. 57 (7) (2014)
Yuping Shen, Xishun Zhao
Canonical Logic Programs are Succinctly Incomparable with Propositional Formulas. KR (2014)
Yuping Shen, Xishun Zhao
Canonical Logic Programs are Succinctly Incomparable with Propositional Formulas. CoRR (2014)
Jiankun He, Yuping Shen, Xishun Zhao
Reasoning about Actions with Loops. SETN (2014)
Youzhi Zhang, Xudong Luo, Yuping Shen
F T E: A Fuzzy Timed Action Language. ICAART (2) (2013)
Youzhi Zhang, Xudong Luo, Yuping Shen
A Fuzzy Reasoning Model for Action and Change in Timed Domains. Int. J. Intell. Syst. 28 (8) (2013)
Yuping Shen, Xishun Zhao
Proof Systems for Planning Under Cautious Semantics. Minds Mach. 23 (1) (2013)
Nazim Ashraf, Yuping Shen, Xiaochun Cao, Hassan Foroosh
View invariant action recognition using weighted fundamental ratios. Comput. Vis. Image Underst. 117 (6) (2013)
Hai Wan, Yu Ma, Zhanhao Xiao, Yuping Shen
τε2asp : Implementing $\mathcal{TE}$ via Answer Set Programming. PRICAI (2012)
Xishun Zhao, Yuping Shen
Proof System for Plan Verification under 0-Approximation Semantics CoRR (2011)
Yuping Shen, Xishun Zhao
NP-Logic Systems and Model-Equivalence Reductions CCA (2010)
Nazim Ashraf, Yuping Shen, Hassan Foroosh
View-Invariant Action Recognition Using Rank Constraint. ICPR (2010)
Yuping Shen, Hassan Foroosh
View-Invariant Action Recognition from Point Triplets. IEEE Trans. Pattern Anal. Mach. Intell. 31 (10) (2009)
Yuping Shen, Hassan Foroosh
View-invariant action recognition using fundamental ratios. CVPR (2008)
Yuping Shen, Nazim Ashraf, Hassan Foroosh
Action recognition based on homography constraints. ICPR (2008)
Yuping Shen, Hassan Foroosh
View-invariant recognition of body pose from space-time templates. CVPR (2008)
Imran N. Junejo, Nazim Ashraf, Yuping Shen, Hassan Foroosh
Robust Auto-Calibration using Fundamental Matrices Induced by Pedestrians. ICIP (3) (2007)
Yuping Shen, Fei Lu, Xiaochun Cao, Hassan Foroosh
Video Completion for Perspective Camera Under Constrained Motion. ICPR (3) (2006)
Fei Lu, Xiaochun Cao, Yuping Shen, Hassan Foroosh
Camera Calibration from Two Shadow Trajectories. ICPR (2) (2006)
Xiaochun Cao, Yuping Shen, Mubarak Shah, Hassan Foroosh
Single view compositing with shadows. Vis. Comput. 21 (8-10) (2005)