|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 48 occurrences of 30 keywords
|
|
|
Results
Found 53 publication records. Showing 53 according to the selection in the facets
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 |
Displaying result #1 - #53 of 53 (100 per page; Change: )
|
|