Author of the publication

Solving Linear Arithmetic Constraints for User Interface Applications.

, , , and . ACM Symposium on User Interface Software and Technology, page 87-96. ACM, (1997)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Joint convolutional neural pyramid for depth map super-resolution., , , , and . CoRR, (2018)Improvements of network approach for analysis of the folding free-energy surface of peptides and proteins., , and . J. Comput. Chem., 31 (13): 2502-2509 (2010)Interaction-Based Active Perception Method and Vibration-Audio-Visual Information Fusion for Asteroid Surface Material Identification., , , , and . IEEE Trans. Instrum. Meas., (2024)EDiffSR: An Efficient Diffusion Probabilistic Model for Remote Sensing Image Super-Resolution., , , , , and . IEEE Trans. Geosci. Remote. Sens., (2024)3D hand mesh recovery through inverse kinematics from a monocular RGB image., , , , and . Displays, (December 2023)Advances in RNA 3D Structure Prediction., , , and . J. Chem. Inf. Model., 62 (23): 5862-5874 (2022)Blind image super-resolution based on prior correction network., , , , , , and . Neurocomputing, (2021)LARA: A Light and Anti-overfitting Retraining Approach for Unsupervised Anomaly Detection., , , , , , and . CoRR, (2023)Social media user information security encryption method based on chaotic algorithm.. Int. J. Web Based Communities, 20 (1/2): 128-138 (2024)A simple method of identifying symmetric substructures of proteins., , and . Comput. Biol. Chem., 33 (1): 100-107 (2009)