Search results for "SGM"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
102	Farn Wang, Pao-Ann Hsiung	Efficient and User-Friendly Verification.	IEEE Trans. Computers	2002	DBLP DOI BibTeX RDF	software engineering, real-time systems, model-checking, Verification, formal methods, timed automata, compositional verification
82	Pao-Ann Hsiung, Farn Wang, Ruey-Cheng Chen	On the verification of Wireless Transaction Protocol using SGM and RED.	RTCSA	2000	DBLP DOI BibTeX RDF	Wireless Transaction Protocol verification, SGM, process concurrency, clock variables, discrete variables, intelligent permutation, explosion factors, scalable verification, State-Graph Manipulators, world standard, large clock constants, large discrete constants, Region Encoding Diagram, state-space size explosions, WTP verification, real time systems, protocols, data structures, data structures, formal verification, formal verification, mobile communication, Wireless Application Protocol, state spaces, RED, state-space methods, reduction techniques
82	Simon Hermann, Reinhard Klette, Eduardo Destefanis	Inclusion of a Second-Order Prior into Semi-Global Matching.	PSIVT	2009	DBLP DOI BibTeX RDF
82	Chong-Yaw Wee, Paramesran Raveendran, R. Mukundan 0001	Quality Assessment of Gaussian Blurred Images Using Symmetric Geometric Moments.	ICIAP	2007	DBLP DOI BibTeX RDF
61	Heiko Hirschmüller	Stereo Processing by Semiglobal Matching and Mutual Information.	IEEE Trans. Pattern Anal. Mach. Intell.	2008	DBLP DOI BibTeX RDF	multi-baseline, global optimization, mutual information, stereo
61	Pao-Ann Hsiung, Shang-Wei Lin 0001, Yean-Ru Chen, Chun-Hsian Huang, Jia-Jen Yeh, Hong-Yu Sun, Chao-Sheng Lin, Hsiao-Win Liao	Model Checking Timed Systems with Urgencies.	ATVA	2006	DBLP DOI BibTeX RDF
55	Fritz Arendt	Untersuchungen zur Gestaltung von modernen steuerungstechnischen Programmiersprachen und ihrer rechentechnischen Umsetzung auf der Grundlage von Betriebssystemen am Beispiel der Fachsprache K1520-SGM [K-SGM].		1986	RDF
41	Ines Ernst, Heiko Hirschmüller	Mutual Information Based Semi-Global Stereo Matching on the GPU.	ISVC (1)	2008	DBLP DOI BibTeX RDF
41	Pao-Ann Hsiung, Yean-Ru Chen, Yen-Hung Lin	Model Checking Safety-Critical Systems Using Safecharts.	IEEE Trans. Computers	2007	DBLP DOI BibTeX RDF	Safecharts, extended timed automaton, model checking, Safety-critical systems
41	Pao-Ann Hsiung, Yen-Hung Lin	Modeling and Verification of Safety-Critical Systems Using Safecharts.	FORTE	2005	DBLP DOI BibTeX RDF
41	Yu Luo, Limin Du	Single Gauss model set-based data imputation method for complex ASR task.	ISCAS (2)	2003	DBLP DOI BibTeX RDF
34	Haokui Tang, Zhiquan Feng	Skin Segmentation Based on Double-Models.	IITSI	2010	DBLP DOI BibTeX RDF	Double-models, Dynamic parameter, Ellipse clusterring model, SGM, Fisher threshold rules
28	Xiangming Meng, Yoshiyuki Kabashima	QCS-SGM+: Improved Quantized Compressed Sensing with Score-Based Generative Models.	AAAI	2024	DBLP DOI BibTeX RDF
28	Cheol-Ho Choi, Hyun Woo Oh, Joonhwan Han, Jungho Shin	Cell-Based Refinement Processor Utilizing Disparity Characteristics of Road Environment for SGM-Based Stereo Vision Systems.	IEEE Access	2023	DBLP DOI BibTeX RDF
28	Shenyuan Liang, Maurício Pamplona Segundo, Sathyanarayanan N. Aakur, Sudeep Sarkar, Anuj Srivastava	Shape-Graph Matching Network (SGM-net): Registration for Statistical Shape Analysis.	CoRR	2023	DBLP DOI BibTeX RDF
28	Haksoo Lim, Minjung Kim, Sewon Park 0004, Noseong Park	Regular Time-series Generation using SGM.	CoRR	2023	DBLP DOI BibTeX RDF
28	Xiangming Meng, Yoshiyuki Kabashima	QCM-SGM+: Improved Quantized Compressed Sensing With Score-Based Generative Models for General Sensing Matrices.	CoRR	2023	DBLP DOI BibTeX RDF
28	Bianca Forkel, Hans-Joachim Wuensche	LiDAR-SGM: Semi-Global Matching on LiDAR Point Clouds and Their Cost-Based Fusion into Stereo Matching.	ICRA	2023	DBLP DOI BibTeX RDF
28	Khush Bakhat, Kashif Kifayat, M. Shujah Islam, M. Mattah Islam	Human activity recognition based on an amalgamation of CEV & SGM features.	J. Intell. Fuzzy Syst.	2022	DBLP DOI BibTeX RDF
28	Burhan Ul Islam Khan, Farhat Anwar, Farah Diyana Bt. Abdul Rahman, Rashidah Funke Olanrewaju, Khang Wen Goh, Zuriati Janin, Md. Arafatur Rahman	SGM: Strategic Game Model for Resisting Node Misbehaviour in IoT-Cloud Ecosystem.	Inf.	2022	DBLP DOI BibTeX RDF
28	Qing Song 0006, Wenfeng Sun, Donghan Yang, Mengjie Hu, Chun Liu 0004	SGM-Net: Semantic Guided Matting Net.	CoRR	2022	DBLP DOI BibTeX RDF
28	Partha Ghosh, Zaid Alam, Ritu Raj Sharma, Santanu Phadikar	An efficient SGM based IDS in cloud environment.	Computing	2022	DBLP DOI BibTeX RDF
28	Anuradha Banerjee, Abu Sufian	Smart-Green-Mult (SGM): overhear from topological kingpins in software defined wireless sensor networks.	J. Ambient Intell. Humaniz. Comput.	2021	DBLP DOI BibTeX RDF
28	Boitumelo Ruf, Jonas Mohrs, Martin Weinmann, Stefan Hinz, Jürgen Beyerer	ReS2tAC - UAV-Borne Real-Time SGM Stereo Optimized for Embedded ARM and CUDA Devices.	CoRR	2021	DBLP BibTeX RDF
28	Boitumelo Ruf, Jonas Mohrs, Martin Weinmann, Stefan Hinz, Jürgen Beyerer	ReS2tAC - UAV-Borne Real-Time SGM Stereo Optimized for Embedded ARM and CUDA Devices.	Sensors	2021	DBLP DOI BibTeX RDF
28	Yun Zhang, Weijun Wang, Chaoyang Ma	Point Cloud Acquisition Based on Improved SGM Algorithm.	CRC	2021	DBLP DOI BibTeX RDF
28	Jianan Li, Xuemei Xie, Qingzhe Pan, Yuhan Cao, Zhifu Zhao, Guangming Shi	SGM-Net: Skeleton-guided multimodal network for action recognition.	Pattern Recognit.	2020	DBLP DOI BibTeX RDF
28	Vlad-Cristian Miclea, Sergiu Nedevschi	SGM-MDE: Semi-global optimization for classification-based monocular depth estimation.	IROS	2020	DBLP DOI BibTeX RDF
28	Jan Kallwies, Torsten Engler, Bianca Forkel, Hans-Joachim Wuensche	Triple-SGM: Stereo Processing using Semi-Global Matching with Cost Fusion.	WACV	2020	DBLP DOI BibTeX RDF
28	Ziyun Li, Jiang Xiang, Luyao Gong, David T. Blaauw, Chaitali Chakrabarti, Hun-Seok Kim	Low Complexity, Hardware-Efficient Neighbor-Guided SGM Optical Flow for Low-Power Mobile Vision Applications.	IEEE Trans. Circuits Syst. Video Technol.	2019	DBLP DOI BibTeX RDF
28	Sonali Patil, Tanmay Prakash, Bharath Comandur, Avinash C. Kak	A Comparative Evaluation of SGM Variants (including a New Variant, tMGM) for Dense Stereo Matching.	CoRR	2019	DBLP BibTeX RDF
28	Yang Min, Cailian Chen, Xiaoyu Wang, Jianping He 0001, Yang Zhang	SGM: Seed Growing Map-matching with Trajectory Fitting.	BigCom	2019	DBLP DOI BibTeX RDF
28	Weimin Yuan, Xiaoyan Tong, Bin Xiao	SGM-Based Disparity Estimation Under Radiometric Variations.	IGTA	2019	DBLP DOI BibTeX RDF
28	Pengcheng Yang, Xu Sun 0001, Wei Li 0101, Shuming Ma, Wei Wu, Houfeng Wang	SGM: Sequence Generation Model for Multi-label Classification.	CoRR	2018	DBLP BibTeX RDF
28	Oscar Rahnama, Tommaso Cavallari, Stuart Golodetz, Simon Walker, Philip H. S. Torr	R$^3$SGM: Real-time Raster-Respecting Semi-Global Matching for Power-Constrained Systems.	CoRR	2018	DBLP BibTeX RDF
28	Pengcheng Yang, Xu Sun 0001, Wei Li 0101, Shuming Ma, Wei Wu, Houfeng Wang	SGM: Sequence Generation Model for Multi-label Classification.	COLING	2018	DBLP BibTeX RDF
28	Akihito Seki, Marc Pollefeys	SGM-Nets: Semi-Global Matching with Neural Networks.	CVPR	2017	DBLP DOI BibTeX RDF
28	Mathias Rothermel	Development of a SGM-based multi-view reconstruction framework for aerial imagery.		2017	RDF
28	Junhong Lin, Raffaello Camoriano, Lorenzo Rosasco	Generalization Properties and Implicit Regularization for Multiple Passes SGM.	CoRR	2016	DBLP BibTeX RDF
28	Jihoon Hong, Mirang Park, Naonobu Okazaki	SGM: A Subgroup Management Scheme Using K-Means Clustering in M2M Systems.	NBiS	2016	DBLP DOI BibTeX RDF
28	Jiang Xiang, Ziyun Li, Hun-Seok Kim, Chaitali Chakrabarti	Hardware-Efficient Neighbor-Guided SGM Optical Flow for Low Power Vision Applications.	SiPS	2016	DBLP DOI BibTeX RDF
28	Matteo Poggi, Stefano Mattoccia	Evaluation of variants of the SGM algorithm aimed at implementation on embedded or reconfigurable devices.	IC3D	2016	DBLP DOI BibTeX RDF
28	Junhong Lin, Raffaello Camoriano, Lorenzo Rosasco	Generalization Properties and Implicit Regularization for Multiple Passes SGM.	ICML	2016	DBLP BibTeX RDF
28	Ion Giosan, Sergiu Nedevschi	Multi-feature Real Time Pedestrian Detection from Dense Stereo SORT-SGM Reconstructed Urban Traffic Scenarios.	VISAPP (2)	2014	DBLP DOI BibTeX RDF
28	Maziar Loghman, Joohee Kim	SGM-based dense disparity estimation using adaptive Census transform.	ICCVE	2013	DBLP DOI BibTeX RDF
28	Cosmin D. Pantilie, Sergiu Nedevschi	SORT-SGM: Subpixel Optimized Real-Time Semiglobal Matching for Intelligent Vehicles.	IEEE Trans. Veh. Technol.	2012	DBLP DOI BibTeX RDF
20	FaChao Li 0001, XianLei Liu, Chenxia Jin	Study on Stochastic Programming Methods Based on Synthesizing Effect.	AICI	2009	DBLP DOI BibTeX RDF	Stochastic decision-making, Stochastic effect, Synthesizing effect function, Mathematical expectation, Model, Stochastic programming, Variance
20	Lin Zhong 0001, Chao Li 0001, Huan Li, Zhang Xiong 0001	Unsupervised Clustering Algorithm for Video Shots Using Spectral Division.	ISVC (1)	2008	DBLP DOI BibTeX RDF
20	Yean-Ru Chen, Pao-Ann Hsiung, Sao-Jie Chen	Modeling and Automatic Failure Analysis of Safety-Critical Systems Using Extended Safecharts.	SAFECOMP	2007	DBLP DOI BibTeX RDF	Safecharts, FTO-failure, SO-failure, NC-failure, Effective repair actions, Ineffective repair actions, Safety-critical systems
20	Pao-Ann Hsiung, Shang-Wei Lin 0001	Model Checking Timed Systems with Priorities.	RTCSA	2005	DBLP DOI BibTeX RDF
20	Pao-Ann Hsiung, Shang-Wei Lin 0001, Chih-Hao Tseng, Trong-Yen Lee, Jih-Ming Fu, Win-Bin See	VERTAF: An Application Framework for the Design and Verification of Embedded Real-Time Software.	IEEE Trans. Software Eng.	2004	DBLP DOI BibTeX RDF	embedded real-time software, scheduling, formal verification, code generation, software components, Application framework, UML modeling, formal synthesis
20	Pao-Ann Hsiung, Shang-Wei Lin 0001	Formal Design and Verification of Real-Time Embedded Software.	APLAS	2004	DBLP DOI BibTeX RDF	scheduling, formal verification, code generation, software components, application framework, UML modeling, real-time embedded software, formal synthesis
20	Pao-Ann Hsiung, Shang-Wei Lin 0001	Automatic Synthesis and Verification of Real-Time Embedded Software.	EUC	2004	DBLP DOI BibTeX RDF	scheduling, formal verification, code generation, software components, Application framework, UML modeling, real-time embedded software