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
https://portal.mardi4nfdi.de/entity/Q3500088	2008-06-03	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Si Liu