|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 35 occurrences of 30 keywords
|
|
|
Results
Found 73 publication records. Showing 73 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
121 | Nicolas Travers, Tuyet-Tram Dang-Ngoc, Tianxiao Liu |
TGV: A Tree Graph View for Modeling Untyped XQuery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DASFAA ![In: Advances in Databases: Concepts, Systems and Applications, 12th International Conference on Database Systems for Advanced Applications, DASFAA 2007, Bangkok, Thailand, April 9-12, 2007, Proceedings, pp. 1001-1006, 2007, Springer, 978-3-540-71702-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
XQuery evaluation, TGV, Extensible optimization, Cost model |
90 | Claude Jard, Thierry Jéron |
TGV: theory, principles and algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 7(4), pp. 297-315, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Test generation/synthesis, Model-checking, Protocols, Reactive systems, Conformance testing, Transition systems |
68 | Nicolae Goga |
Comparing TorX, Autolink, TGV and UIO Test Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SDL Forum ![In: SDL 2001: Meeting UML, 10th International SDL Forum Copenhagen, Denmark, June 27-29, 2001, Proceedings, pp. 379-402, 2001, Springer, 3-540-42281-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
52 | Tuyet-Tram Dang-Ngoc, Nicolas Travers |
Tree Graph Views for a Distributed Pervasive Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NBiS ![In: Network-Based Information Systems, First International Conference, NBiS 2007, Regensburg, Germany, September 3-7, 2007, Proceedings, pp. 406-415, 2007, Springer, 978-3-540-74572-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
XQuery evaluation, Tree Graph View (TGV), Rescue Coordination, Pervasive environment |
50 | Chengwu Lu, Minghua Wang |
Alternating direction method for TGV-TGV* based cartoon-texture image decomposition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IET Image Process. ![In: IET Image Process. 10(6), pp. 495-504, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
50 | Jonathan Wong |
Analyse de L'endommagement par fatigue thermique et Modelisation du comportement Thermomecanique de couples disques-Garnitures de Type TGV. (Analysis of the thermal fatigue damage and thermomechanical modelling of the TGV disc-pad friction pair). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2007 |
RDF |
|
43 | Hakim Kahlouche, César Viho, Massimo Zendri |
Hardware Testing Using a Communication Protocol Conformance Testing Tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for Construction and Analysis of Systems, 5th International Conference, TACAS '99, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings, pp. 315-329, 1999, Springer, 3-540-65703-7. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
32 | Martin Weiglhofer, Franz Wotawa |
Improving Coverage Based Test Purposes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QSIC ![In: Proceedings of the Ninth International Conference on Quality Software, QSIC 2009, Jeju, Korea, August 24-25, 2009, pp. 219-228, 2009, IEEE Computer Society, 978-0-7695-3828-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
coverage based testing, tgv, model-based testing, conformance testing, LOTOS, test purposes |
25 | Wenlei Li, Jihua Zhang, Libin Gao, Hongwei Chen, Lingyue Wang, Zhen Fang, Xingzhou Cai, Yong Li |
Compact TGV-Based Bandpass Filters Using Integrated Dual Composite Right/Left-Handed Resonators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Circuits Syst. II Express Briefs ![In: IEEE Trans. Circuits Syst. II Express Briefs 71(4), pp. 1939-1943, April 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
25 | Chen Yu, Shaocheng Wu, Yi Zhong, Rongbin Xu, Tian Yu, Jin Zhao, Daquan Yu |
Application of Through Glass Via (TGV) Technology for Sensors Manufacturing and Packaging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 24(1), pp. 171, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
25 | Ting Sun, Xinwu Liu |
Non-convex TGV regularized ℓ0-norm fidelity model for impulse noise removal. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Signal Process. ![In: Signal Process. 212, pp. 109125, November 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
25 | Lufeng Bai |
A new effective bias field correction model with TGV regularization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Frankl. Inst. ![In: J. Frankl. Inst. 360(1), pp. 203-222, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
25 | Xinwu Liu, Yingying Li, Wenhui Lian |
Impulse noise removal by using a nonconvex TGV regularizer and nonconvex fidelity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Frankl. Inst. ![In: J. Frankl. Inst. 360(11), pp. 7357-7379, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
25 | Yumin Cui, Liju Yin, Hui Zhou, Mingliang Gao 0001, Xiangyu Tang, Yulin Deng, Yan Liang |
Compressed sensing based on L1 and TGV regularization for low-light-level images denoising. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Digit. Signal Process. ![In: Digit. Signal Process. 136, pp. 103975, May 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
25 | Tingting Wu 0001, Zhiyan Du, Zhi Li, Feng-Lei Fan, Tieyong Zeng |
VDIP-TGV: Blind Image Deconvolution via Variational Deep Image Prior Empowered by Total Generalized Variation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2310.19477, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
25 | Yanan Gu, Yiming Gao 0001, Hairong Liu, Dong Wang |
Multi-directional rain streak removal based on infimal convolution of oscillation TGV. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Neurocomputing ![In: Neurocomputing 486, pp. 61-76, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
25 | Daniela di Serafino, Monica Pragliola |
Automatic parameter selection for the TGV regularizer in image restoration under Poisson noise. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2205.13439, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
25 | Alireza Hosseini, Kristian Bredies |
A Second-Order TGV Discretization with Some Invariance Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2209.11450, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
25 | Jucheng Zhang, Lulu Han, Jianzhong Sun, Zhikang Wang, Wenlong Xu, Yonghua Chu, Ling Xia, Mingfeng Jiang |
Compressed sensing based dynamic MR image reconstruction by using 3D-total generalized variation and tensor decomposition: k-t TGV-TD. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Medical Imaging ![In: BMC Medical Imaging 22(1), pp. 101, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
25 | C. L. Chiu, Ting-Rong Chen, Chia-Wei Lee, Jau-Ji Jou |
The Study of 60 GHz Wideband Conductor-Backed Coplanar Waveguide on a TGV Substrate. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GCCE ![In: 11th IEEE Global Conference on Consumer Electronics, GCCE 2022, Osaka, Japan, October 18-21, 2022, pp. 816-817, 2022, IEEE, 978-1-6654-9232-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
25 | Qiaoling Shu |
Spatially adaptive TGV-regularized variational model for single image dehazing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Electronic Imaging ![In: J. Electronic Imaging 30(6), 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Xinwu Liu |
Adaptive regularization parameter for nonconvex TGV based image restoration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Signal Process. ![In: Signal Process. 188, pp. 108247, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Xinwu Liu |
Proximal alternating minimization method for adaptive TGV-based image restoration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Multim. Tools Appl. ![In: Multim. Tools Appl. 80(7), pp. 10601-10614, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Daniela di Serafino, Germana Landi, Marco Viola |
Directional TGV-based image restoration under Poisson noise. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2105.00106, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
25 | Nikolai Poliarnyi |
Out-of-Core Surface Reconstruction via Global $TGV$ Minimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2107.14790, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
25 | Daniela di Serafino, Germana Landi, Marco Viola |
TGV-based restoration of Poissonian images with automatic estimation of the regularization parameter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2104.14452, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
25 | Bo Zhou, Yu-Fei Yang |
A coupling model and ADMM algorithm based on TGV and shearlet regularization term for MRI reconstruction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Appl. Math. ![In: Comput. Appl. Math. 40(3), 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Daniela di Serafino, Germana Landi, Marco Viola |
Directional TGV-Based Image Restoration under Poisson Noise. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Imaging ![In: J. Imaging 7(6), pp. 99, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Nikolai Poliarnyi |
Out-of-Core Surface Reconstruction via Global TGV Minimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCV ![In: 2021 IEEE/CVF International Conference on Computer Vision, ICCV 2021, Montreal, QC, Canada, October 10-17, 2021, pp. 5621-5630, 2021, IEEE, 978-1-6654-2812-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Yifang Liu, Hongbo Sang, Zhenxiang Bu, Yulong Zhang, Guangen Gao, Lingyun Wang |
Influence of the Particle Size of Glass Powder on Sintering Characteristics in TGV Packaging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NEMS ![In: 16th IEEE International Conference on Nano/Micro Engineered and Molecular Systems, NEMS 2021, Xiamen, China, April 25-29, 2021, pp. 1065-1068, 2021, IEEE, 978-1-6654-1941-3. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Daniela di Serafino, Germana Landi, Marco Viola |
TGV-based restoration of Poissonian images with automatic estimation of the regularization parameter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSA (Workshops) ![In: 2021 21st International Conference on Computational Science and Its Applications (ICCSA), Cagliari, Italy, September 13-16, 2021 - Workshops, pp. 139-145, 2021, IEEE, 978-1-6654-5843-6. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Stefan M. Spann, Xingfeng Shao, Danny J. J. Wang, Christoph S. Aigner, Matthias Schloegl, Kristian Bredies, Rudolf Stollberger |
Robust single-shot acquisition of high resolution whole brain ASL images by combining time-dependent 2D CAPIRINHA sampling with spatio-temporal TGV reconstruction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NeuroImage ![In: NeuroImage 206, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
25 | Prateek Gupta, Pankaj Singh Dholaniya, Sameera Devulapalli, Nilesh R. Tawari, Yellamaraju Sreelakshmi, Rameshwar Sharma |
Reanalysis of genome sequences of tomato accessions and its wild relatives: development of Tomato Genomic Variation (TGV) database integrating SNPs and INDELs polymorphisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bioinform. ![In: Bioinform. 36(20), pp. 4984-4990, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
25 | Jonathan A. Lima, Felipe Batista da Silva, Ricardo von Borries, Cristiano Jacques Miosso, Mylène C. Q. Farias |
Isotropic and anisotropic filtering norm-minimization: A generalization of the TV and TGV minimizations using NESTA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Signal Process. Image Commun. ![In: Signal Process. Image Commun. 85, pp. 115856, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
25 | Samad Wali, Huayan Zhang, Huibin Chang, Chunlin Wu |
A new adaptive boosting total generalized variation (TGV) technique for image denoising and inpainting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Vis. Commun. Image Represent. ![In: J. Vis. Commun. Image Represent. 59, pp. 39-51, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
25 | Chuan He, Changhua Hu, Naixin Qi, Xiaofei Zhu, Lianxiong Liu |
Fast proximal splitting algorithm for constrained TGV-regularised image restoration and reconstruction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IET Image Process. ![In: IET Image Process. 13(4), pp. 576-582, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
25 | Yiming Gao 0001, Xiaoping Yang |
Infimal convolution type regularization of TGV and shearlet transform for image restoration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Vis. Image Underst. ![In: Comput. Vis. Image Underst. 182, pp. 38-49, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
25 | Xu Yin, Yan Li 0050, Byeong-Seok Shin |
TGV Upsampling: A Making-Up Operation for Semantic Segmentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Intell. Neurosci. ![In: Comput. Intell. Neurosci. 2019, pp. 8527819:1-8527819:12, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
25 | Yiming Gao 0001, Xiaoping Yang |
A Cartoon-Texture Approach for JPEG/JPEG 2000 Decompression Based on TGV and Shearlet Transform. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Image Process. ![In: IEEE Trans. Image Process. 28(3), pp. 1356-1365, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
25 | Ziyue Zhang, Yingtao Ding, Zhiming Chen 0001, Mingrui Zhou, Lei Xiao, Ziru Cai, Miao Xiong, Xiao Gong |
Design and Evaluation of a Novel and Ultra-Compact Fully-TGV-based Self-Shielding Bandpass Filter for 5G Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
3DIC ![In: 2019 International 3D Systems Integration Conference (3DIC), Sendai, Japan, October 8-10, 2019, pp. 1-4, 2019, IEEE, 978-1-7281-4870-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
25 | Xinwu Liu |
A New TGV-Gabor Model for Cartoon-Texture Image Decomposition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Signal Process. Lett. ![In: IEEE Signal Process. Lett. 25(8), pp. 1221-1225, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
25 | Qinxia Wang, Xiaoping Yang |
Variational image fusion approach based on TGV and local information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IET Comput. Vis. ![In: IET Comput. Vis. 12(4), pp. 535-541, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
25 | Stefan M. Spann, Kamil S. Kazimierski, Christoph S. Aigner, Markus Kraiger, Kristian Bredies, Rudolf Stollberger |
Spatio-temporal TGV denoising for ASL perfusion imaging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NeuroImage ![In: NeuroImage 157, pp. 81-96, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
25 | Chuan He, Changhua Hu, Xuelong Li 0001 |
A parallel linearized ADMM with application to multichannel tgv-based image restoration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP ![In: 2017 IEEE International Conference on Image Processing, ICIP 2017, Beijing, China, September 17-20, 2017, pp. 1187-1191, 2017, IEEE, 978-1-5090-2175-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
25 | Pongsak Lasang, Wuttipong Kumwilaisak, Yazhou Liu, Shengmei Shen |
Optimal depth recovery using image guided TGV with depth confidence for high-quality view synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Vis. Commun. Image Represent. ![In: J. Vis. Commun. Image Represent. 39, pp. 24-39, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
25 | Valsamis Ntouskos, Fiora Pirri |
Confidence driven TGV fusion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1603.09302, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
25 | Khaled Salah 0001 |
TGV versus TSV: A comparative analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACTEA ![In: 3rd International Conference on Advances in Computational Tools for Engineering Applications, ACTEA 2016, Zouk Mosbeh, Lebanon, July 13-15, 2016, pp. 49-53, 2016, IEEE, 978-1-4673-8523-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
25 | Kristian Bredies, Hongpeng Sun |
Preconditioned Douglas-Rachford Algorithms for TV- and TGV-Regularized Variational Imaging Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Math. Imaging Vis. ![In: J. Math. Imaging Vis. 52(3), pp. 317-344, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
25 | Kristian Bredies, Martin Holler |
A TGV-Based Framework for Variational Image Decompression, Zooming, and Reconstruction. Part II: Numerics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Imaging Sci. ![In: SIAM J. Imaging Sci. 8(4), pp. 2851-2886, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
25 | Kristian Bredies, Martin Holler |
A TGV-Based Framework for Variational Image Decompression, Zooming, and Reconstruction. Part I: Analytics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Imaging Sci. ![In: SIAM J. Imaging Sci. 8(4), pp. 2814-2850, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
25 | Insu Hwang, Jihye Kim, Youngwoo Kim, Jonghyun Cho, Joungho Kim |
Noise coupling modeling and analysis of through glass via(TGV). ![Search on Bibsonomy](Pics/bibsonomy.png) |
3DIC ![In: 2015 International 3D Systems Integration Conference, 3DIC 2015, Sendai, Japan, August 31 - September 2, 2015, pp. TS8.34.1-TS8.34.5, 2015, IEEE, 978-1-4673-9385-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
25 | Yu-Hsiang Tang, Yu-Hsin Lin 0003, Tsung-Tao Huang, Jun-Sheng Wang, Ming-Hua Shiao, Chih-Sheng Yu |
Investigation of fabricated Through Glass Via (TGV) process by inductively coupled plasma reactive ion etching of quartz glass. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NEMS ![In: 10th IEEE International Conference on Nano/Micro Engineered and Molecular Systems, NEMS 2015, Xi'an, China, April 7-11, 2015, pp. 401-404, 2015, IEEE, 978-1-4673-6695-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
25 | Abdul Hamid Bin Yousuf, Nahid M. Hossain, Masud H. Chowdhury |
Performance analysis of through silicon via (TSV) and through glass via (TGV) for different materials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS ![In: 2015 IEEE International Symposium on Circuits and Systems, ISCAS 2015, Lisbon, Portugal, May 24-27, 2015, pp. 1957-1960, 2015, IEEE, 978-1-4799-8391-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
25 | Di Zhao, Huiqian Du, Yu Han, Wenbo Mei |
Compressed Sensing MR Image Reconstruction Exploiting TGV and Wavelet Sparsity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Math. Methods Medicine ![In: Comput. Math. Methods Medicine 2014, pp. 958671:1-958671:11, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
25 | Puneet Bhateja |
A TGV-like approach for asynchronous testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISEC ![In: 7th India Software Engineering Conference, Chennai, ISEC '14, Chennai, India - February 19 - 21, 2014, pp. 13:1-13:6, 2014, ACM, 978-1-4503-2776-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
25 | Junha Roh, Hwasup Lim, Sang Chul Ahn |
A Fast TGV-l 1 RGB-D Flow Estimation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISVC (1) ![In: Advances in Visual Computing - 10th International Symposium, ISVC 2014, Las Vegas, NV, USA, December 8-10, 2014, Proceedings, Part I, pp. 151-161, 2014, Springer, 978-3-319-14248-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
25 | Osamu Nukaga, Tatsuya Shioiri, Satoshi Yamamoto, Tatsuo Suemasu |
Glass interposer with high-density three-dimensional structured TGV for 3D system integration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
3DIC ![In: 2013 IEEE International 3D Systems Integration Conference (3DIC), San Francisco, CA, USA, October 2-4, 2013, pp. 1-4, 2013, IEEE, 978-1-4673-6484-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
25 | Chun-Hsien Chien, Hsun Yu, Ching-Kuan Lee, Yu-Min Lin, Ren-Shin Cheng, Chau-Jie Zhan, Peng-Shu Chen, Chang-Chih Liu, Chao-Kai Hsu, Hsiang-Hung Chang, Huan-Chun Fu, Yuan-Chang Lee, Wen-Wei Shen, Cheng-Ta Ko, Wei-Chung Lo, Yung Jean Lu |
Performance and process characteristic of glass interposer with through-glass-via(TGV). ![Search on Bibsonomy](Pics/bibsonomy.png) |
3DIC ![In: 2013 IEEE International 3D Systems Integration Conference (3DIC), San Francisco, CA, USA, October 2-4, 2013, pp. 1-7, 2013, IEEE, 978-1-4673-6484-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
25 | Kristian Bredies, Martin Holler |
A TGV Regularized Wavelet Based Zooming Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSVM ![In: Scale Space and Variational Methods in Computer Vision - 4th International Conference, SSVM 2013, Schloss Seggau, Leibnitz, Austria, June 2-6, 2013. Proceedings, pp. 149-160, 2013, Springer, 978-3-642-38266-6. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
25 | René Ranftl, Thomas Pock, Horst Bischof |
Minimizing TGV-Based Variational Models with Non-convex Data Terms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSVM ![In: Scale Space and Variational Methods in Computer Vision - 4th International Conference, SSVM 2013, Schloss Seggau, Leibnitz, Austria, June 2-6, 2013. Proceedings, pp. 282-293, 2013, Springer, 978-3-642-38266-6. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
25 | Thomas Pock, Lukas Zebedin, Horst Bischof |
TGV-Fusion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rainbow of Computer Science ![In: Rainbow of Computer Science - Dedicated to Hermann Maurer on the Occasion of His 70th Birthday, pp. 245-258, 2011, Springer, 978-3-642-19390-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
25 | Nicolas Travers, Tuyet-Tram Dang-Ngoc, Tianxiao Liu |
XLive: Integrating Sources with XQuery - An Efficient XQuery Evaluation Prototype with TGV. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WEBIST (1) ![In: WEBIST 2007 - Proceedings of the Third International Conference on Web Information Systems and Technologies, Volume IT, Barcelona, Spain, March 3-6, 2007., pp. 378-381, 2007, INSTICC Press, 978-972-8865-77-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
25 | Nicolas Travers, Tuyet-Tram Dang-Ngoc, Tianxiao Liu |
TGV: an Efficient Model for XQuery Evaluation within an Interoperable System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Interoperability Bus. Inf. Syst. ![In: Int. J. Interoperability Bus. Inf. Syst. 3, pp. 59-71, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
25 | Thierry Jéron |
TGV : théorie, principes et algorithmes. Un outil de synthèse automatique de tests de conformité pour les systèmes réactifs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Tech. Sci. Informatiques ![In: Tech. Sci. Informatiques 21(9), pp. 1265-1294, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
25 | Lydie du Bousquet, Solofo Ramangalahy, Séverine Simon, César Viho, Axel Belinfante, René G. de Vries |
Formal Test Automation: The Conference Protocol with TGV/TORX. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TestCom ![In: Testing of Communicating Systems: Tools and Techniques, IFIP TC6/WG6.1 13th International Conference on Testing Communicating Systems (TestCom 2000), August 29 - September 1, 2000, Ottawa, Canada, pp. 221-228, 2000, Kluwer, 0-7923-7921-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
21 | Bernhard K. Aichernig, Martin Weiglhofer, Bernhard Peischl, Franz Wotawa |
Test purpose generation in an industrial application. ![Search on Bibsonomy](Pics/bibsonomy.png) |
A-MOST ![In: Proceedings of the 3rd Workshop on Advances in Model Based Testing, A-MOST 2007, co-located with the ISSTA 2007 International Symposium on Software Testing and Analysis, London, United Kingdom, July 9-12, pp. 115-125, 2007, ACM, 978-1-59593-850-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
fault-based test purposes, test purpose design, model-based testing, protocol conformance testing |
21 | Tianxiao Liu, Tuyet-Tram Dang-Ngoc, Dominique Laurent 0001 |
Cost Framework for a Heterogeneous Distributed Semi-structured Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APWeb/WAIM Workshops ![In: Advances in Web and Network Technologies, and Information Management, APWeb/WAIM 2007 International Workshops: DBMAN 2007, WebETrends 2007, PAIS 2007 and ASWAN 2007, Huang Shan, China, June 16-18, 2007, Proceedings, pp. 1-11, 2007, Springer, 978-3-540-72908-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Tree Graph View, cost annotation, query optimization, cost model, Mediation system |
21 | Bernhard K. Aichernig, Bernhard Peischl, Martin Weiglhofer, Franz Wotawa |
Protocol Conformance Testing a SIP Registrar: an Industrial Application of Formal Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 10-14 September 2007, London, England, UK, pp. 215-226, 2007, IEEE Computer Society, 978-0-7695-2884-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Dae-Won Lee, Kwang-Sik Chung, Sung-Ju Roh, KwangHee Choi, Heon-Chang Yu |
Reducing Binding Updates in High Speed Movement Environment Based on HMIPv6. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GPC ![In: Advances in Grid and Pervasive Computing, First International Conference, GPC 2006, Taichung, Taiwan, May 3-5, 2006, Proceedings, pp. 587-596, 2006, Springer, 3-540-33809-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Bernhard K. Aichernig, Carlo Corrales Delgado |
From Faults Via Test Purposes to Test Cases: On the Fault-Based Testing of Concurrent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering, 9th International Conference, FASE 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006, Proceedings, pp. 324-338, 2006, Springer, 3-540-33093-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Hubert Garavel, César Viho, Massimo Zendri |
System design of a CC-NUMA multiprocessor architecture using formal specification, model-checking, co-simulation, and test generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 3(3), pp. 314-331, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Verification, Formal specification, Testing, Formal methods, Validation, Code generation, Computer architecture, Test generation, Rapid prototyping, Process algebra, Conformance testing, Cache coherency, System level design, Co-design, lotos, Hardware design, Co-simulation, numa, cc-numa |
21 | Hugues Martin, Lydie du Bousquet |
Automatic Test Generation for Java-Card Applets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Java Card Workshop ![In: Java on Smart Cards: Programming and Security, First International Workshop, JavaCard 2000, Cannes, France, September 14, 2000, Revised Papers, pp. 121-136, 2000, Springer, 3-540-42167-X. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
21 | Jean-Claude Fernandez, Claude Jard, Thierry Jéron, César Viho |
Using On-The-Fly Verification Techniques for the Generation of test Suites. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996, Proceedings, pp. 348-359, 1996, Springer, 3-540-61474-5. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #73 of 73 (100 per page; Change: )
|
|