Weimin Wu

This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.

Known people with the same name:

Bibliography

2024
Reconfigured passivity-based control strategy of LCL-type grid-connected inverter under complex grid conditions.
Int. J. Circuit Theory Appl., August, 2024

On Statistical Rates and Provably Efficient Criteria of Latent Diffusion Transformers (DiTs).
CoRR, 2024

DNABERT-S: Learning Species-Aware DNA Embedding with Genome Foundation Models.
CoRR, 2024

Fiber to the Radio/C-WAN Architecture and Its Performance Analysis.
Proceedings of the IEEE International Conference on Communications Workshops, 2024

2023
Video object segmentation through semantic visual words matching.
Multim. Tools Appl., May, 2023

An adaptive phase-locked loop-less control strategy for LCL-filtered grid-connected inverter under complex grid conditions.
Int. J. Circuit Theory Appl., May, 2023

A manifold learning-based CSI feedback framework for FDD massive MIMO.
CoRR, 2023

2022
Instance-aware Model Ensemble With Distillation For Unsupervised Domain Adaptation.
CoRR, 2022

Multi-Objective fuzzy flexible jobshop of dynamic scheduling optimization based on hybrid-nondominanted sorting algorithm.
Proceedings of the IEEE International Conference on Networking, Sensing and Control, 2022

2020
Expression of quasi-equivalence and capsid dimorphism in the Hepadnaviridae.
PLoS Comput. Biol., 2020

2019
Saliency prediction by Mahalanobis distance of topological feature on deep color components.
J. Vis. Commun. Image Represent., 2019

Saliency Detection via Topological Feature Modulated Deep Learning.
Proceedings of the 2019 IEEE International Conference on Image Processing, 2019

2018
A Balunless Frequency Multiplier With Differential Output by Current Flow Manipulation.
IEEE Trans. Very Large Scale Integr. Syst., 2018

Salient object detection via spectral graph weighted low rank matrix recovery.
J. Vis. Commun. Image Represent., 2018

2017
Updating initial labels from spectral graph by manifold regularization for saliency detection.
Neurocomputing, 2017

A cross - layer optimization of video transmission based on packet loss rate in 802.11e wireless networks.
Proceedings of the International Conference on Web Intelligence, 2017

Subtitle positioning for e-learning videos based on rough gaze estimation and saliency detection.
Proceedings of the SIGGRAPH Asia 2017 Posters, Bangkok, Thailand, November 27 - 30, 2017, 2017

2016
EFI OS Loader安全加固技术的研究与实现 (Research and Implementation of EFI OS Loader Security Reinforcement Technology).
计算机科学, 2016

Device-to-Device assisted user clustering for Multiple Access in MIMO WLANl.
KSII Trans. Internet Inf. Syst., 2016

Investigation of mobile surroundings for visual attention based on image perception model.
Proceedings of the 2016 Visual Communications and Image Processing, 2016

2015
一种基于混沌不透明谓词的压扁控制流算法 (Chaotic-based Opaque Predicate Control Flow Flatten Algorithm).
计算机科学, 2015

2014
News videos anchor person detection by shot clustering.
Neurocomputing, 2014

2010
Convolution calculation of differential cross sections of ring effect.
Proceedings of the IEEE International Geoscience & Remote Sensing Symposium, 2010

2009
Retreival of Tropospheric Nitrogen Dioxide Vertical Column Density during the 2008 Summer Olympic Games in Beijing.
Proceedings of the IEEE International Geoscience & Remote Sensing Symposium, 2009

AnyviewC: A Visual Practice Platform for Data Structures Course.
Proceedings of the CSIE 2009, 2009 WRI World Congress on Computer Science and Information Engineering, March 31, 2009

ASIG: An all-solution SAT solver for CNF formulas.
Proceedings of the 11th International Conference on Computer-Aided Design and Computer Graphics, 2009

2008
USAT: An Integrated Platform for Satisfiability Solving and Model Checking.
Proceedings of the International Conference on Computer Science and Software Engineering, 2008

2007
Transformation-based assessment for C programs.
Proceedings of the 9th International Symposium on Signal Processing and Its Applications, 2007

EHSAT: An Efficient RTL Satisfiability Solver Using an Extended DPLL Procedure.
Proceedings of the 44th Design Automation Conference, 2007

Array Modeling in Java Virtual Machine.
Proceedings of the Advanced Parallel Processing Technologies, 7th International Symposium, 2007

2006
Comments on "A Modified Reachability Tree Approach to Analysis of Unbounded Petri Nets.
IEEE Trans. Syst. Man Cybern. Part B, 2006

A novel collaborative scheme of simulation and model checking for system properties verification.
Comput. Ind., 2006

Bounded Model Checking Combining Symbolic Trajectory Evaluation Abstraction with Hybrid Three-Valued SAT Solving.
Proceedings of the Computer Supported Cooperative Work in Design III, 2006

Cooperative Bounded Model Checking Using STE and Hybrid Three-Valued SAT Solving.
Proceedings of the 10th International Conference on CSCW in Design, 2006

2005
Cooperation of SMV and Jeda for the property checking of mixed control and data intensive designs.
Proceedings of the Ninth International Conference on Computer Supported Cooperative Work in Design, 2005

2004
Model Optimization Techniques in a Verification Platform for Classified Properties.
Proceedings of the Embedded Software and Systems, First International Conference, 2004

PFGASAT- A Genetic SAT Solver Combining Partitioning and Fuzzy Strategie.
Proceedings of the 28th International Computer Software and Applications Conference (COMPSAC 2004), 2004

2003
FaSa: A Fast and Stable Quadratic Placement Algorithm.
J. Comput. Sci. Technol., 2003

Combining clustering and partitioning in quadratic placement.
Proceedings of the 2003 International Symposium on Circuits and Systems, 2003

Property Classification for Functional Verification Based.
Proceedings of the 12th Asian Test Symposium (ATS 2003), 17-19 November 2003, Xian, China, 2003

Congestion driven incremental placement algorithm for standard cell layout.
Proceedings of the 2003 Asia and South Pacific Design Automation Conference, 2003

A path-based timing-driven quadratic placement algorithm.
Proceedings of the 2003 Asia and South Pacific Design Automation Conference, 2003

2002
A multi-step standard-cell placement algorithm of optimizing timing and congestion behavior.
Sci. China Ser. F Inf. Sci., 2002

2001
A new congestion-driven placement algorithm based on cell inflation.
Proceedings of ASP-DAC 2001, 2001


  Loading...