Si Liu

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
Automatic analysis of consistency properties of distributed transaction systems in Maude	2023-11-24	Paper
https://portal.mardi4nfdi.de/entity/Q5871807	2023-01-25	Paper
https://portal.mardi4nfdi.de/entity/Q5054650	2022-11-29	Paper
ORDNet: Capturing Omni-Range Dependencies for Scene Parsing	2022-09-16	Paper
Dynamic channel decision-making of fresh agricultural product companies considering consumer convenience preferences	2021-07-27	Paper
Read atomic transactions with prevention of lost updates: ROLA and its formal analysis	2019-11-18	Paper
Magic-Wall: Visualizing Room Decoration by Enhanced Wall Segmentation	2019-10-28	Paper
Accurate Facial Image Parsing at Real-Time Speed	2019-10-28	Paper
ROLA: a new distributed transaction protocol and its formal analysis	2019-09-16	Paper
Correlation Particle Filter for Visual Tracking	2019-02-06	Paper
SLED: Semantic Label Embedding Dictionary Representation for Multilabel Image Annotation	2019-01-31	Paper
Robust visual tracking via consistent low-rank sparse learning	2018-10-19	Paper
https://portal.mardi4nfdi.de/entity/Q5367865	2017-10-20	Paper
Modeling and analyzing mobile ad hoc networks in Real-Time Maude	2016-12-28	Paper
\(\mathrm{M}^4\mathrm{L}\): maximum margin multi-instance multi-cluster learning for scene modeling	2015-11-02	Paper
A Framework for Mobile Ad hoc Networks in Real-Time Maude	2015-09-09	Paper
Formal Analysis of Leader Election in MANETs Using Real-Time Maude	2015-06-22	Paper
Chaotic synchronization and anti-synchronization for a novel class of multiple chaotic systems via a sliding mode control scheme	2013-01-04	Paper
Boosted multi-class semi-supervised learning for human action recognition	2011-08-10	Paper
Two-Level Multiplicative Domain Decomposition Algorithm for Recovering the Lamé Coefficient in Biological Tissues	2011-05-18	Paper
Promoting models	2010-11-09	Paper
Parallel overlapping domain decomposition methods for coupled inverse elliptic problems	2009-07-20	Paper
An overlapping domain decomposition method for parameter identification problems	2008-06-03	Paper

Research outcomes over time

This page was built for person: Si Liu