Search results for "SALT"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
80	Andreas Bauer 0002, Martin Leucker, Jonathan Streit	SALT - Structured Assertion Language for Temporal Logic.	ICFEM	2006	DBLP DOI BibTeX RDF
78	Zhengfang Wang, Yong Wang, Jan Zhang, Dawei Qu, Xiuhua Liu	Grey Correlation Analysis of Corrosion on Oil Atmospheric Distillation Equipment.	FSKD (5)	2008	DBLP DOI BibTeX RDF
67	Lixin Ma, Hiromi Miyajima, Noritaka Shigei, Shuma Kawabata	Neural Networks Determining Injury by Salt Water for Distribution Lines.	ISNN (2)	2004	DBLP DOI BibTeX RDF
67	Amit M. Paradkar	SALT - An Integrated Environment to Automate Generation of Function Tests for APIs.	ISSRE	2000	DBLP DOI BibTeX RDF	Test Design Automation, Model Based Testing, Specification-Based Testing, Fault-Based Testing
67	Hasan S. M. Al-Khaffaf, Abdullah Zawawi Talib, Rosalina Abdul Salam	Salt and Pepper Noise Removal from Document Images.	IVIC	2009	DBLP DOI BibTeX RDF	Salt and Pepper, Mechanical Engineering Drawings, Line Drawings, Noise Removal
64	Harry Hengster, Rolf Drechsler, Bernd Becker 0001	On the application of local circuit transformations with special emphasis on path delay fault testability.	VTS	1995	DBLP DOI BibTeX RDF	local circuit transformations, path delay fault testability, SALT, logic testing, delays, integrated circuit testing, automatic testing
54	Leah Bar, Nir A. Sochen, Nahum Kiryati	Image Deblurring in the Presence of Salt-and-Pepper Noise.	Scale-Space	2005	DBLP DOI BibTeX RDF
54	Julian M. Salt Ducaju, Julián J. Salt Llobregat, Ángel Cuenca, Masayoshi Tomizuka	Autonomous Ground Vehicle Lane-Keeping LPV Model-Based Control: Dual-Rate State Estimation and Comparison of Different Real-Time Control Strategies.	Sensors	2021	DBLP DOI BibTeX RDF
52	Patricia Crossno, David H. Rogers 0001, Rebecca M. Brannon, David Coblentz, Joanne T. Fredrich	Visualization of Geologic Stress Perturbations Using Mohr Diagrams.	IEEE Trans. Vis. Comput. Graph.	2005	DBLP DOI BibTeX RDF	Geomechanical modeling, Mohr diagrams, tensor glyph, tensor field visualization, multiple coordinated views
41	Tudor Groza, Siegfried Handschuh, Knud Möller, Stefan Decker	SALT - Semantically Annotated LaTeX for Scientific Publications.	ESWC	2007	DBLP DOI BibTeX RDF
41	Tudor Groza, Alexander Schutz, Siegfried Handschuh	The salt triple: framework editor publisher.	ACM Symposium on Document Engineering	2007	DBLP DOI BibTeX RDF	semantic authoring, semantic document, LATEX
41	Chris Matthews, Rob Clark, Leigh Callinan	Spectral Discrimination of Southern Victorian Salt Tolerant Vegetation.	ICDM	2006	DBLP DOI BibTeX RDF
41	Krishnan Nallaperumal, Justin Varghese, Subash Saudia, K. Krishnaveni, Santhosh P. Mathew, P. Kumar	An efficient Switching Median Filter for Salt & Pepper Impulse Noise Reduction.	ICDIM	2006	DBLP DOI BibTeX RDF
41	Raymond H. Chan, Chung-Wa Ho, Mila Nikolova	Salt-and-Pepper Noise Removal by Median-Type Noise Detectors and Detail-Preserving Regularization.	IEEE Trans. Image Process.	2005	DBLP DOI BibTeX RDF
41	Ji-hong Yang, Min Zhang, Ling-yan Xue, Shu-bang Li	A New Filtering Algorithm for Removing Salt-and-Pepper Noise.	ESIAT (1)	2009	DBLP DOI BibTeX RDF	Keeping margins and details, Gray-scale image, Smoothing filtering, Salt-and-pepper noise
39	Inan Güler, Abdullah Toprak, Ayse Demirhan, Rukiye Karakis	MR Images Restoration With the Use of Fuzzy Filter Having Adaptive Membership Parameters.	J. Medical Syst.	2008	DBLP DOI BibTeX RDF	Fuzzy filter, Adaptive membership parameter, Image restoration, MR images
39	ShaoWei Weng, Yao Zhao 0001, Jeng-Shyang Pan 0001	Reversible Watermarking Based on Improved Patchwork Algorithm and Symmetric Modulo Operation.	KES (4)	2005	DBLP DOI BibTeX RDF
39	Jonathan Katz, Nan Wang 0001	Efficiency improvements for signature schemes with tight security reductions.	CCS	2003	DBLP DOI BibTeX RDF	digital signatures
38	Yudong Zhang 0001, Lenan Wu	Improved image filter based on SPCNN.	Sci. China Ser. F Inf. Sci.	2008	DBLP DOI BibTeX RDF	Nagao filter, image de-noising, image smoothing, pulse coupled neural network, edge preserving, salt and pepper noise
38	Hasan S. M. Al-Khaffaf, Abdullah Zawawi Talib, Rosalina Abdul Salam	A Study on the Effects of Noise Level, Cleaning Method, and Vectorization Software on the Quality of Vector Data.	GREC	2007	DBLP DOI BibTeX RDF	salt-and-pepper, raster-to-vector, performance evaluation, engineering drawings
38	Miguel Carrasco, Luis Pizarro, Domingo Mery	Bimodal Biometric Person Identification System Under Perturbations.	PSIVT	2007	DBLP DOI BibTeX RDF	identificacion, probabilistic fusion, Biometrics, multimodal, occlusions, face, voice, Gaussian noise, salt-and-pepper noise
31	José Manuel Lattus, Matías Ernesto Barber, Drazen Skokovic, Waldo Pérez-Martínez, Verónica Rocío Martínez, Laura Flores	Spaceborne Radars for Mapping Surface and Subsurface Salt Pan Configuration: A Case Study of the Pozuelos Salt Flat in Northern Argentina.	Remote. Sens.	2024	DBLP DOI BibTeX RDF
31	Greys Sosic	Rethinking Salt Supply Chains: Cost and Emissions Analysis for Coproduction of Salt and Fresh Water from U.S. Seawater.	Manag. Sci.	2023	DBLP DOI BibTeX RDF
31	Bo Chen, Guoheng Qi, Jinsong Du, Siyang Li, Ya Sun	3-D Gravity Anomaly Inversion for Imaging Salt Structures, With Application to Vinton Salt Dome, Gulf of Mexico.	IEEE Trans. Geosci. Remote. Sens.	2023	DBLP DOI BibTeX RDF
31	Zhi-Feng Xu, Kewen Li, Chengjie Ma, Deyong Feng, Yimin Dou, Ruonan Yin	3D Salt-HSM: Salt Segmentation Method Based on Hybrid Semi-Supervised and Multitask Learning.	IEEE Trans. Geosci. Remote. Sens.	2023	DBLP DOI BibTeX RDF
31	Zhifeng Xu, Kewen Li, Yaping Li, Yimin Dou, Lin Dong	3D Salt-net: a method for salt body segmentation in seismic images based on sparse label.	Appl. Intell.	2023	DBLP DOI BibTeX RDF
31	Homei Miyashita, Yoshinobu Kaji, Ai Sato	Electric Salt: Tableware Design for Enhancing Taste of Low-Salt Foods.	UIST (Adjunct Volume)	2023	DBLP DOI BibTeX RDF
31	Jie-Peng Yao, Zi-Yang Wang, Ricardo Ferraz de Oliveira, Zhong-Yi Wang, Lan Huang 0001	A deep learning method for the long-term prediction of plant electrical signals under salt stress to identify salt tolerance.	Comput. Electron. Agric.	2021	DBLP DOI BibTeX RDF
31	Artur A. Makhmutov, Kishan Ramesh Kumar, Christopher J. Spiers, Hadi Hajibeygi	Cyclic Energy Storage in Salt Caverns: nonlinear finite-element modelling of rock salt creep at reservoir scale.	CoRR	2020	DBLP BibTeX RDF
31	Kavita Goswami, Anita Tripathi, Neeti Sanan-Mishra	Comparative miRomics of Salt-Tolerant and Salt-Sensitive Rice.	J. Integr. Bioinform.	2017	DBLP DOI BibTeX RDF
31	Safurah Binti Abdul Jalil, Siti Sarah Shamsul Anuar, Norariffuddin Abd Rahman	Salt hero: an interactive application for learning salt in chemistry.	IMCOM	2017	DBLP DOI BibTeX RDF
31	Mohammad H. Tayebi, Majid H. Tangestani, Hasan Roosta	Mapping salt diapirs and salt diapir-affected areas using MLP neural network model and ASTER data.	Int. J. Digit. Earth	2013	DBLP DOI BibTeX RDF
31	Seung-Chan Kim, Chong Hui Kim, Gi-Hun Yang, Tae-Heon Yang, Byung-Kil Han, Sungchul Kang, Dong-Soo Kwon	Small and lightweight tactile display(SaLT) and its application.	WHC	2009	DBLP DOI BibTeX RDF
31	Ian C. Mullen, Kate E. Wilkinson, Richard G. Cresswell, Jim Kellett	Three-dimensional mapping of salt stores in the Murray-Darling Basin, Australia: 2. Calculating landscape salt loads from airborne electromagnetic and laboratory data.	Int. J. Appl. Earth Obs. Geoinformation	2007	DBLP DOI BibTeX RDF
31	Fernando C. C. Lopes, Alcides José Sousa Pereira, Ana M. P. Vicente	Recognizing salt-structures on the basis of geophysical and remote sensing data: the case of monte real salt-structure (onshore west-central portugal).	IGARSS	2007	DBLP DOI BibTeX RDF
31		IEEE International Conference on Acoustics, Speech, and Signal Processing, ICASSP 2001, 7-11 May, 2001, Salt Palace Convention Center, Salt Lake City, Utah, USA, Proceedings	ICASSP	2001	DBLP BibTeX RDF
31	Christoph F. Mecklenbräuker, Alex B. Gershman	Broadband maximum likelihood estimation of shallow ocean parameters using shipping noise.	ICASSP	2001	DBLP DOI BibTeX RDF
31	Zhu Liu 0001, Yao Wang 0001	Major cast detection in video using both audio and visual information.	ICASSP	2001	DBLP DOI BibTeX RDF
31	Hidetomo Tanaka, Tetsunori Kobayashi	Estimating positions of multiple adjacent speakers based on MUSIC spectra correlation using a microphone array.	ICASSP	2001	DBLP DOI BibTeX RDF
31	Stéphane G. Roux, Darryl Veitch, Patrice Abry, L. Huang, J. Micheel, Patrick Flandrin	Statistical scaling analysis of TCP/IP data using cascades.	ICASSP	2001	DBLP DOI BibTeX RDF
31	Bojan Vrcelj, P. P. Vaidyanathan	Results on vector biorthogonal partners.	ICASSP	2001	DBLP DOI BibTeX RDF
31	Eugene Jon, Dong Kook Kim, Nam Soo Kim	EMAP-based speaker adaptation with robust correlation estimation.	ICASSP	2001	DBLP DOI BibTeX RDF
31	Roy E. Bethel, Kristine L. Bell	A multi-hypothesis GLRT approach to the combined source detection and direction of arrival estimation problem.	ICASSP	2001	DBLP DOI BibTeX RDF
31	Dimitris Anastassiou	DSP in genomics: processing and frequency-domain analysis of character strings.	ICASSP	2001	DBLP DOI BibTeX RDF
31	Osamu Segawa, Kazuya Takeda, Fumitada Itakura	Continuous speech recognition without end-point detection.	ICASSP	2001	DBLP DOI BibTeX RDF
31	Jaco Vermaak, Andrew Blake 0001	Nonlinear filtering for speaker tracking in noisy and reverberant environments.	ICASSP	2001	DBLP DOI BibTeX RDF
31	Yao Jianchao	Image registration based on both feature and intensity matching.	ICASSP	2001	DBLP DOI BibTeX RDF
31	Ehab Elsehely, Mohamed I. Sobhy	Reduction of interference in automotive radars using multiscale wavelet transform.	ICASSP	2001	DBLP DOI BibTeX RDF
31	Hamid R. Sheikh, Shizhong Liu, Brian L. Evans, Alan C. Bovik	Real-time foveation techniques for H.263 video encoding in software.	ICASSP	2001	DBLP DOI BibTeX RDF
31	Timothy A. Thomas, Frederick W. Vook	Quasi-static antenna array processing for rapidly time-varying channels.	ICASSP	2001	DBLP DOI BibTeX RDF
31	Masaki Handa, Takayuki Nagai, Akira Kurematsu	Frequency domain multi-channel speech separation and its applications.	ICASSP	2001	DBLP DOI BibTeX RDF
31	Dhinesh Sasidaran, Asad Azam, Karl E. Nelson, Michael A. Soderstrand	FPGA implementation of a tunable band-pass filter using the "basic heterodyne block".	ICASSP	2001	DBLP DOI BibTeX RDF
31	Ying Jia, Jinyu Li	Relax frame independence assumption for standard hmms by state dependent auto-regressive feature models.	ICASSP	2001	DBLP DOI BibTeX RDF
31	Tamer Kadous, Ke Liu 0010, Akbar M. Sayeed	Optimal time-frequency signaling for rapidly time-varying channels.	ICASSP	2001	DBLP DOI BibTeX RDF
31	Wira Gunawan, Mark Hasegawa-Johnson	PLP coefficients can be quantized at 400 bps.	ICASSP	2001	DBLP DOI BibTeX RDF
31	Alex Waibel, Michael Bett, Florian Metze, Klaus Ries 0001, Thomas Schaaf, Tanja Schultz, Hagen Soltau, Hua Yu 0008, Klaus Zechner	Advances in automatic meeting record creation and access.	ICASSP	2001	DBLP DOI BibTeX RDF
31	Priya Bharadwaj, Paul Runkle, Lawrence Carin	Infrared-image classification using expansion matching filters and hidden Markov trees.	ICASSP	2001	DBLP DOI BibTeX RDF
31	Claudio Sacchi, Luca Simone Ronga	A DSP-based DS/CDMA modem for multimedia applications over geo-stationary satellite networks.	ICASSP	2001	DBLP DOI BibTeX RDF
31	Nirmal Keshava	Best bands selection for detection in hyperspectral processing.	ICASSP	2001	DBLP DOI BibTeX RDF
31	Michael L. Shire	Multi-stream ASR trained with heterogeneous reverberant environments.	ICASSP	2001	DBLP DOI BibTeX RDF
31	Qi Li, Jinsong Zheng, Qiru Zhou, Chin-Hui Lee	Robust, real-time endpoint detector with energy normalization for ASR in adverse environments.	ICASSP	2001	DBLP DOI BibTeX RDF
31	George Saon, Geoffrey Zweig, Mukund Padmanabhan	Linear feature space projections for speaker adaptation.	ICASSP	2001	DBLP DOI BibTeX RDF
31	Mohamed I. Sobhy, Alaa-eldin R. Shehata	Chaotic algorithms for data encryption.	ICASSP	2001	DBLP DOI BibTeX RDF
31	Yuqing Gao, Bhuvana Ramabhadran, C. Julian Chen, Hakan Erdogan, Michael Picheny	Innovative approaches for large vocabulary name recognition.	ICASSP	2001	DBLP DOI BibTeX RDF
31	Lauri Savioja, Vesa Välimäki	Interpolated 3-D digital waveguide mesh with frequency warping.	ICASSP	2001	DBLP DOI BibTeX RDF
31	Nicolas Tsingos	Artifact-free asynchronous geometry-based audio rendering.	ICASSP	2001	DBLP DOI BibTeX RDF
31	Thor Ole Gulsrud	Analysis of mammographic microcalcifications using a computationally efficient filter bank.	ICASSP	2001	DBLP DOI BibTeX RDF
31	Jiyang Kang, Wonyong Sung	A block priority based instruction caching scheme for multimedia processors.	ICASSP	2001	DBLP DOI BibTeX RDF
31	Joshua M. Sachar, Harvey F. Silverman, William R. Patterson III	Large vs small aperture microphone arrays: performance over a large focal area.	ICASSP	2001	DBLP DOI BibTeX RDF
31	Piya Bunyaratavej, David J. Miller 0001	Locally optimal joint encoding of image transform coefficients.	ICASSP	2001	DBLP DOI BibTeX RDF
31	Samir Attallah	Revisiting adaptive signal subspace estimation based on Rayleigh's quotient.	ICASSP	2001	DBLP DOI BibTeX RDF
31	Mutlu Koca, Bernard C. Levy	Turbo space-time equalization of TCM for broadband wireless channels.	ICASSP	2001	DBLP DOI BibTeX RDF
31	Gunok Jung, Seonki Kim, Gerald E. Sobelman	High-speed CORDIC implementations using advanced circuit techniques.	ICASSP	2001	DBLP DOI BibTeX RDF
31	Wei-Bin Chang	Kanji-to-hiragana conversion based on a language model.	ICASSP	2001	DBLP DOI BibTeX RDF
31	Adriano Petry, Dante Augusto Couto Barone	Fractal dimension applied to speaker identification.	ICASSP	2001	DBLP DOI BibTeX RDF
31	Guillermo B. Sentoni, Juan E. Cousseau, Paulo S. R. Diniz	Nonlinear echo cancellation using decoupled A-B net structure.	ICASSP	2001	DBLP DOI BibTeX RDF
31	Felipe Orduña-Bustamante, José J. López, Alberto González 0001	Prediction and measurement of acoustic crosstalk cancellation robustness.	ICASSP	2001	DBLP DOI BibTeX RDF
31	Cássio Guimarães Lopes, José Carlos Moreira Bermudez	Evaluation and design of variable step size adaptive algorithms.	ICASSP	2001	DBLP DOI BibTeX RDF
31	Brian M. Sadler, Richard J. Kozick, Terrence J. Moore	Bounds on MIMO channel estimation and equalization with side information.	ICASSP	2001	DBLP DOI BibTeX RDF
31	Stamatiki Kougia, Alexander Chatzigeorgiou, Nikolaos D. Zervas, Spiridon Nikolaidis 0001	Analytical exploration of power efficient data-reuse transformations on multimedia applications.	ICASSP	2001	DBLP DOI BibTeX RDF
31	Hui Jiang 0001, Frank K. Soong, Chin-Hui Lee	Hierarchical stochastic feature matching for robust speech recognition.	ICASSP	2001	DBLP DOI BibTeX RDF
31	Juana M. Gutiérrez-Arriola, Juan Manuel Montero, D. Saiz, José Manuel Pardo	New rule-based and data-driven strategy to incorporate Fujisaki's F 0 model to a text-to-speech system in Castillian Spanish.	ICASSP	2001	DBLP DOI BibTeX RDF
31	Dinei A. F. Florêncio, Henrique S. Malvar	Multichannel filtering for optimum noise reduction in microphone arrays.	ICASSP	2001	DBLP DOI BibTeX RDF
31	Alan McCree, Takahiro Unno, Anand K. Anandakumar, Alexis Bernard, Erdal Paksoy	An embedded adaptive multi-rate wideband speech coder.	ICASSP	2001	DBLP DOI BibTeX RDF
31	Muhammad Afzal, Robi Polikar, Lalita Udpa, Satish S. Udpa	Adaptive noise cancellation schemes for magnetic flux leakage signals obtained from gas pipeline inspection.	ICASSP	2001	DBLP DOI BibTeX RDF
31	Abbes Amira, Ahmed Bouridane, Peter Milligan, Mohammed Ali Roula	An FPGA implementation of Walsh-Hadamard transforms for signal processing.	ICASSP	2001	DBLP DOI BibTeX RDF
31	John A. Gubner, Wei-Bin Chang	Nonparametric estimation of interaction functions for two-type pairwise interaction point processes.	ICASSP	2001	DBLP DOI BibTeX RDF
31	Anna Scaglione, Judd A. Rohwer	Design of a totally passive wireless digital micro-transceiver for picocellular systems.	ICASSP	2001	DBLP DOI BibTeX RDF
31	Ricardo L. de Queiroz, Patrick Fleckenstein	Signal processing using LUT filters based on hierarchical VQ.	ICASSP	2001	DBLP DOI BibTeX RDF
31	Matthias Dörbecker, Karl Hellwig, Fredrik Jansson, Tomas Frankkila	The cellular text telephone modem - the solution for supporting text telephone functionality in GSM networks.	ICASSP	2001	DBLP DOI BibTeX RDF
31	Nicholas Kalouptsidis, Panos Koukoulas, V. John Mathews	Blind identification of bilinear systems.	ICASSP	2001	DBLP DOI BibTeX RDF
31	Alexander Kalyuzhny, Alexander Kovtonyuk	PIC-projection technique for decreasing of statistical error in signals reconstruction problems.	ICASSP	2001	DBLP DOI BibTeX RDF
31	Irfan Ghauri, Dirk T. M. Slock	Blind channel identification and projection receiver determination for multicode and multirate situations in DS-CDMA systems.	ICASSP	2001	DBLP DOI BibTeX RDF
31	Shizhong Liu, Alan C. Bovik	Local bandwidth constrained fast inverse motion compensation for DCT-domain video transcoding.	ICASSP	2001	DBLP DOI BibTeX RDF
31	Khalid Goudeaux, Tsuhan Chen, Shyue-Wu Wang, Jen-Duo Liu	Principal component analysis for facial animation.	ICASSP	2001	DBLP DOI BibTeX RDF
31	Joe C. Chen, Ralph E. Hudson, Kung Yao	A maximum-likelihood parametric approach to source localizations.	ICASSP	2001	DBLP DOI BibTeX RDF
31	Haris Vikalo, Babak Hassibi, Bertrand M. Hochwald, Thomas Kailath	Optimal training for frequency-selective fading channels.	ICASSP	2001	DBLP DOI BibTeX RDF
31	Ahmet Kemal Özdemir, Lutfiye Durak, Orhan Arikan	High resolution time-frequency analysis by fractional domain warping.	ICASSP	2001	DBLP DOI BibTeX RDF
31	Massimiliano Pompili, Sergio Barbarossa, Georgios B. Giannakis	Channel-independent non-data aided synchronization of generalized multiuser OFDM.	ICASSP	2001	DBLP DOI BibTeX RDF
31	Akinobu Lee, Tatsuya Kawahara, Kiyohiro Shikano	Gaussian mixture selection using context-independent HMM.	ICASSP	2001	DBLP DOI BibTeX RDF