Search results for "symbols"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
16	Stefan Ratschan	Approximate Quantified Constraint Solving by Cylindrical Box Decomposition.	Reliab. Comput.	2002	DBLP DOI BibTeX RDF
16	Jin Uemura, Masako Sato	Compactness and Learning of Classes of Unions of Erasing Regular Pattern Languages.	ALT	2002	DBLP DOI BibTeX RDF
16	Tetsunari Inamura, Iwaki Toshima, Yoshihiko Nakamura	Acquiring Motion Elements for Bidirectional Computation of Motion Recognition and Generation.	ISER	2002	DBLP DOI BibTeX RDF
16	C. Vasantha Lakshmi, C. Patvardhan 0001	A Multi-Font OCR System for Printed Telugu Text.	Language Engineering Conference	2002	DBLP DOI BibTeX RDF
16	Stefan Ratschan	Continuous First-Order Constraint Satisfactionwith Equality and Disequality Constraints.	CP	2002	DBLP DOI BibTeX RDF
16	Robert Seater, David Wonnacott	Polynomial Time Array Dataflow Analysis.	LCPC	2001	DBLP DOI BibTeX RDF
16	Denis Béchet	Universal Interaction Systems with Only Two Agents.	RTA	2001	DBLP DOI BibTeX RDF
16	Max I. Kanovich	The Expressive Power of Horn Monadic Linear Logic.	CSL	2001	DBLP DOI BibTeX RDF
16	Hanaa Barakat, Dorothea Blostein	Training with Positive and Negative Data Samples: Effects on a Classifier for Hand-Drawn Geometric Shapes.	ICDAR	2001	DBLP DOI BibTeX RDF
16	Kevin L. Mills, Hassan Gomaa	A knowledge-based method for inferring semantic concepts from visual models of system behavior.	ACM Trans. Softw. Eng. Methodol.	2000	DBLP DOI BibTeX RDF	concept classification systems, software design methods, concurrent systems, semantic data modeling, visual modeling, knowledge-based software engineering
16	Hajime Sawamura, Kensuke Kiyozuka	JVenn: A Visual Reasoning System with Diagrams and Sentences.	Diagrams	2000	DBLP DOI BibTeX RDF
16	Klaus Weihrauch	On Computable Metric Spaces Tietze-Urysohn Extension Is Computable.	CCA	2000	DBLP DOI BibTeX RDF
16	Afef Kacem, Abdel Belaïd, Mohamed Ben Ahmed	Embedded Formulas Extraction.	ICPR	2000	DBLP DOI BibTeX RDF
16	Yan Ye, Dirck Schilling, Pamela C. Cosman, Hyung Hwa Ko	Symbol Dictionary Design for the JBIG2 Standard.	Data Compression Conference	2000	DBLP DOI BibTeX RDF	JBIG2, dictionary design, bi-level image compression, text image compression
16	Deepak Kapur, Mahadevan Subramaniam	Extending Decision Procedures with Induction Schemes.	CADE	2000	DBLP DOI BibTeX RDF
16	Hajime Sawamura, Kensuke Kiyozuka	A Hybrid Reasoning System with Diagrams and Sentences.	VL	2000	DBLP DOI BibTeX RDF
16	Esko Ukkonen	Toward Complete Genome Data Mining in Computational Biology.	SWAT	2000	DBLP DOI BibTeX RDF
16	Sumant Ramprasad, Naresh R. Shanbhag, Ibrahim N. Hajj	Information-theoretic bounds on average signal transition activity [VLSI systems].	IEEE Trans. Very Large Scale Integr. Syst.	1999	DBLP DOI BibTeX RDF
16	Jerzy Marcinkowski	Directed Reachability: From Ajtai-Fagin to Ehrenfeucht-Fraïssé Games.	CSL	1999	DBLP DOI BibTeX RDF
16	Ernest Valveny, Enric Martí	Deformable Template Matching within a Bayesian Framework for Hand-Written Graphic Symbol Recognition.	GREC	1999	DBLP DOI BibTeX RDF
16	Ernest Valveny, Enric Martí	Application of Deformable Template Matching to Symbol Recognition in Hand-written Architectural Drawings.	ICDAR	1999	DBLP DOI BibTeX RDF
16	Hiroshi Sakamoto	Finding a One-Variable Pattern from Incomplete Data.	ALT	1998	DBLP DOI BibTeX RDF
16	Takahito Aoto 0001, Yoshihito Toyama	Termination Transformation by Tree Lifting Ordering.	RTA	1998	DBLP DOI BibTeX RDF
16	Omid E. Kia, David S. Doermann	OCR-based rate-distortion analysis of residual coding.	ICIP (3)	1997	DBLP DOI BibTeX RDF	rate-distortion analysis, OCR evaluation software, symbolic compression, representative prototypes, row-order coding, distance-order coding, distortion measure, OCR system performance, University of Washington, document database images, lossy representation, experiments, optical character recognition, redundancy, image coding, progressive transmission, document images, lossy compression, ground truth, residual coding, compressed-domain processing
16	Klaus Weihrauch	A Foundation for Computable Analysis.	Foundations of Computer Science: Potential - Theory - Cognition	1997	DBLP DOI BibTeX RDF
16	Mou-Yen Chen, Amlan Kundu 0001, Sargur N. Srihari	Variable duration hidden Markov model and morphological segmentation for handwritten word recognition.	IEEE Trans. Image Process.	1995	DBLP DOI BibTeX RDF
16	Timothy C. Bell, Ian H. Witten	The Relationship between Greedy Parsing and Symbolwise Text Compression.	J. ACM	1994	DBLP DOI BibTeX RDF	Ziv-Lempel compression, context modeling, adaptive modelling
16	Zhong Shao, Andrew W. Appel	Smartest Recompilation.	POPL	1993	DBLP DOI BibTeX RDF	ML
16	Albert Rubio, Robert Nieuwenhuis	A Precedence-Based Total AC-Compatible Ordering.	RTA	1993	DBLP DOI BibTeX RDF
16	Agostino Dovier	A Language with Finite Sets Embedded in the CLP-scheme.	ELP	1993	DBLP DOI BibTeX RDF
16	S. C. Chan, Andrew K. C. Wong	Synthesis and Recognition of Sequences.	IEEE Trans. Pattern Anal. Mach. Intell.	1991	DBLP DOI BibTeX RDF	sequences synthesis, sequences recognition, hierarchical sequence synthesis procedure, taxonomic hierarchy, unsupervised classification procedure, pattern recognition, probability, alignment, supervised classification, alphabet
16	Paliath Narendran, Michaël Rusinowitch	Any Gound Associative-Commutative Theory Has a Finite Canonical System.	RTA	1991	DBLP DOI BibTeX RDF
16	John G. Thistle, Walter Murray Wonham	Control of omega-Automata, Church's Problem, and the Emptiness Problem for Tree omega-Automata.	CSL	1991	DBLP DOI BibTeX RDF
16	Yuichi Saitoh, Hideki Imai	Constructions of Codes Correcting Burst Asymmetric Errors.	AAECC	1990	DBLP DOI BibTeX RDF
16	Charles G. Nelson, Derek C. Oppen	A Simplifier Based on Efficient Decision Algorithms.	POPL	1978	DBLP DOI BibTeX RDF
16	Alfred V. Aho, Daniel S. Hirschberg, Jeffrey D. Ullman	Bounds on the Complexity of the Longest Common Subsequence Problem.	J. ACM	1976	DBLP DOI BibTeX RDF
16	Cheng-Wen Cheng, Jonas Rabin	Synthesis of Decision Rules.	Commun. ACM	1976	DBLP DOI BibTeX RDF
14	Wojciech Rymarkiewicz, Pawel Cybulski, Tymoteusz Horbinski	Measuring Efficiency and Accuracy in Locating Symbols on Mobile Maps Using Eye Tracking.	ISPRS Int. J. Geo Inf.	2024	DBLP DOI BibTeX RDF
14	Alper Ahmetoglu, Batuhan Celik, Erhan Öztop, Emre Ugur	Discovering Predictive Relational Object Symbols With Symbolic Attentive Layers.	IEEE Robotics Autom. Lett.	2024	DBLP DOI BibTeX RDF
14	Kevin M. Pitt, Zachary J. Cole, Joshua Zosky	Applying Functional Animation to Pictorial Symbols for Supporting P300-Brain-Computer Interface Access to Augmentative and Alternative Communication Devices by Children.	Int. J. Hum. Comput. Interact.	2024	DBLP DOI BibTeX RDF
14	Zian Su, Xiangzhe Xu, Ziyang Huang, Zhuo Zhang 0002, Yapeng Ye, Jianjun Huang, Xiangyu Zhang	CodeArt: Better Code Models by Attention Regularization When Symbols Are Lacking.	CoRR	2024	DBLP DOI BibTeX RDF
14	Andrew Gritsevskiy, Arjun Panickssery, Aaron Kirtland, Derik Kauffman, Hans Gundlach, Irina Gritsevskaya, Joe Cavanagh, Jonathan Chiang, Lydia La Roux, Michelle Hung	REBUS: A Robust Evaluation Benchmark of Understanding Symbols.	CoRR	2024	DBLP DOI BibTeX RDF
14	Yongqiang Guo	Design of artistic graphic symbols based on intelligent guidance marking system.	Neural Comput. Appl.	2023	DBLP DOI BibTeX RDF
14	Jiannan Yang, Yong Yin, Dengmao Fang, Fengjiao Zheng	An Automatic Derivation Method for Creation of Complex Map Symbols in a Topographic Map.	ISPRS Int. J. Geo Inf.	2023	DBLP DOI BibTeX RDF
14	Nixiao Zou, Qing Xu, Yuqing Wu, Xinming Zhu, Youneng Su	An Automated Method for Generating Prefabs of AR Map Point Symbols Based on Object Detection Model.	ISPRS Int. J. Geo Inf.	2023	DBLP DOI BibTeX RDF
14	Xinyu Gong, Tian Lan, Peng Ti	Metric and Color Modifications for the Automated Construction of Map Symbols.	ISPRS Int. J. Geo Inf.	2023	DBLP DOI BibTeX RDF
14	Francisco José León Medina	Social learning and the complex contagion of political symbols in Twitter: The case of the yellow ribbon in Catalonia.	Big Data Soc.	2023	DBLP DOI BibTeX RDF
14	Nahyeong Kim, Jaehyun Park 0004, Jungchul Park, Hyun K. Kim, Mungyeong Choe, Jangwoon Park, Jungyoon Kim	Usability evaluation of symbols in digital cluster for drivers with color vision deficiency.	Univers. Access Inf. Soc.	2023	DBLP DOI BibTeX RDF
14	Carlos González-Flores, Luis Alfredo Dupont-García, Raquiel R. López-Martínez, Francisco Gabriel Hérnandez-Zamora	Toeplitz Operators on Fock Space over Cn with Invariant Symbols under the Action of the Unit Circle.	Axioms	2023	DBLP DOI BibTeX RDF
14	Sanmin Wang	The Recursive Structures of Manin Symbols over Q, Cusps and Elliptic Points on X0 (N).	Axioms	2023	DBLP DOI BibTeX RDF
14	Barry Mazur, Karl Rubin	Arithmetic Conjectures Suggested by the Statistical Behavior of Modular Symbols.	Exp. Math.	2023	DBLP DOI BibTeX RDF
14	Hao Chen, Chao Liu 0029, Szu-Erh Hsu, Ding-Hau Huang, Chia-Yi Liu, Wen-Ko Chiou	The Effects of Animation on the Guessability of Universal Healthcare Symbols for Middle-Aged and Older Adults.	Hum. Factors	2023	DBLP DOI BibTeX RDF
14	Shinnosuke Takamichi, Hiroki Maeda, Joonyong Park, Daisuke Saito, Hiroshi Saruwatari	Do learned speech symbols follow Zipf's law?	CoRR	2023	DBLP DOI BibTeX RDF
14	Enric Boix-Adserà, Omid Saremi, Emmanuel Abbe, Samy Bengio, Etai Littwin, Joshua M. Susskind	When can transformers reason with abstract symbols?	CoRR	2023	DBLP DOI BibTeX RDF
14	Yunpeng Han, Lisai Zhang, Qingcai Chen, Zhijian Chen, Zhonghua Li, Jianxin Yang, Zhao Cao	FashionSAP: Symbols and Attributes Prompt for Fine-grained Fashion Vision-Language Pre-training.	CoRR	2023	DBLP DOI BibTeX RDF
14	Mario Stepanik	Unsupervised learning architecture based on neural Darwinism and Hopfield networks recognizes symbols with high accuracy.	CoRR	2023	DBLP DOI BibTeX RDF
14	Alper Ahmetoglu, Batuhan Celik, Erhan Öztop, Emre Ugur	Discovering Predictive Relational Object Symbols with Symbolic Attentive Layers.	CoRR	2023	DBLP DOI BibTeX RDF
14	Jeffrey Kegler	Marpa and nullable symbols.	CoRR	2023	DBLP DOI BibTeX RDF
14	Nuno Guerreiro, Vasco Amaral 0001, Miguel Goulão	Unleashing the Power of Sound: Revisiting the Physics of Notations for Modelling with auditory symbols.	CoRR	2023	DBLP DOI BibTeX RDF
14	Yang Chen, Liangxuan Guo, Shan Yu	Emergence of Symbols in Neural Networks for Semantic Understanding and Communication.	CoRR	2023	DBLP DOI BibTeX RDF
14	Dmitrii Karp, Yi Zhang	Log-concavity and log-convexity of series containing multiple Pochhammer symbols.	CoRR	2023	DBLP DOI BibTeX RDF
14	Daniel L. Silver, Tom M. Mitchell	The Roles of Symbols in Neural-based AI: They are Not What You Think!	CoRR	2023	DBLP DOI BibTeX RDF
14	Jiajun Zhu, Zichuan Yang, Binjie Hong, Jiacheng Song, Jiwei Wang, Tianhao Chen, Shuilan Yang, Zixun Lan, Fei Ma	Use neural networks to recognize students' handwritten letters and incorrect symbols.	CoRR	2023	DBLP DOI BibTeX RDF
14	Daniel Gaina, Guillermo Badia, Tomasz Kowalski	Omitting types theorem in hybrid dynamic first-order logic with rigid symbols.	Ann. Pure Appl. Log.	2023	DBLP DOI BibTeX RDF
14	Betsy Van der Veer Martens	On thresholds: signs, symbols and significance.	J. Documentation	2023	DBLP DOI BibTeX RDF
14	Zhi Quan, Jiyu Luo, Hailong Zhang, Li Jiang	Efficient Massive MIMO Detection for M-QAM Symbols.	Entropy	2023	DBLP DOI BibTeX RDF
14	Yunus A. Çengel	A Concise Account of Information as Meaning Ascribed to Symbols and Its Association with Conscious Mind.	Entropy	2023	DBLP DOI BibTeX RDF
14	George Teseleanu	Threshold Cryptosystems Based on 2k-th Power Residue Symbols.	IACR Cryptol. ePrint Arch.	2023	DBLP BibTeX RDF
14	Gokce Hacioglu, Cenk Albayrak, Kadir Türk	Optical OFDM waveform construction by combining complex symbols' component of IFFT.	Phys. Commun.	2023	DBLP DOI BibTeX RDF
14	Guodong Li, Min Ye 0005, Sihuang Hu	All the Codeword Symbols in Polar Codes Have the Same SER Under the SC Decoder.	IEEE Trans. Commun.	2023	DBLP DOI BibTeX RDF
14	Wiktor Kusmirek	Estimated Nucleotide Reconstruction Quality Symbols of Basecalling Tools for Oxford Nanopore Sequencing.	Sensors	2023	DBLP DOI BibTeX RDF
14	Daniel L. Silver, Tom M. Mitchell	The Roles of Symbols in Neural-Based AI: They Are Not What You Think!	Compendium of Neurosymbolic Artificial Intelligence	2023	DBLP DOI BibTeX RDF
14	Richard Sproat	Symbols - An Evolutionary History from the Stone Age to the Future		2023	DOI RDF
14	Sarah Delgado Rodriguez, Anh Dao Phuong, Franziska Bumiller, Lukas Mecke, Felix Dietz, Florian Alt, Mariam Hassib	Padlock, the Universal Security Symbol? - Exploring Symbols and Metaphors for Privacy and Security.	MUM	2023	DBLP DOI BibTeX RDF
14	Alessandro Daniele, Tommaso Campari, Sagar Malhotra, Luciano Serafini	Deep Symbolic Learning: Discovering Symbols and Rules from Perceptions.	NeSy	2023	DBLP BibTeX RDF
14	Michael Hersche, Zuzanna Opala, Geethan Karunaratne, Abu Sebastian, Abbas Rahimi	Decoding Superpositions of Bound Symbols Represented by Distributed Representations.	NeSy	2023	DBLP BibTeX RDF
14	Daniel L. Silver, Tom M. Mitchell	The Roles of Symbols in Neural-based AI: They are Not What You Think!	NeSy	2023	DBLP BibTeX RDF
14	Xu Gan, Zhaohui Yang 0001, Chongwen Huang, Caijun Zhong, Zhaoyang Zhang 0001	Bayesian Learning-Based ISAC in RIS-Aided MmWave Systems with Superimposed Symbols.	ICC Workshops	2023	DBLP DOI BibTeX RDF
14	George Teseleanu	Threshold Cryptosystems Based on 2^k-th Power Residue Symbols.	SECRYPT	2023	DBLP DOI BibTeX RDF
14	Han Mao Kiah, Wilton Kim, Stanislav Kruglik, San Ling, Huaxiong Wang	Explicit Low-Bandwidth Evaluation Schemes for Weighted Sums of Reed-Solomon-Coded Symbols.	ISIT	2023	DBLP DOI BibTeX RDF
14	Ibtissem Hadj Ali, Anouar Ben Khalifa, Mohamed Ali Mahjoub	MixUp Data Augmentation for Handwritten Arabic Mathematical Symbols Recognition.	MEDI Workshops	2023	DBLP DOI BibTeX RDF
14	Abrudan Dumitru, Ana-Maria Dragulinescu, Nicolae Vizireanu	Recognition of Handwritten Mathematical Symbols Affected by Noise using DNN.	ECAI	2023	DBLP DOI BibTeX RDF
14	Nihar Sabnis, Dennis Wittchen, Gabriela Vega, Courtney N. Reed, Paul Strohmeier	Tactile Symbols with Continuous and Motion-Coupled Vibration: An Exploration of using Embodied Experiences for Hermeneutic Design.	CHI	2023	DBLP DOI BibTeX RDF
14	Jiang Yao, Bing Feng	Research on the Interactive Narrative Design of Jiangnan Sizhu Based on the Perception of Cultural Symbols.	DSIE	2023	DBLP DOI BibTeX RDF
14	Yasushi Yuminaka, Kazuharu Nakajima, Yosuke Iijima	PAM-4 Data Transmission Quality Evaluation Using Two- and Three-Dimensional Mapping of Received Symbols.	ISMVL	2023	DBLP DOI BibTeX RDF
14	Yunpeng Han, Lisai Zhang, Qingcai Chen, Zhijian Chen, Zhonghua Li, Jianxin Yang, Zhao Cao	FashionSAP: Symbols and Attributes Prompt for Fine-Grained Fashion Vision-Language Pre-Training.	CVPR	2023	DBLP DOI BibTeX RDF
14	Rusudan K. Makhachashvili, Svetlana I. Kovpik, Anna O. Bakhtina, Natalia V. Morze	Structuring and visualizing fictional and real life empirical concepts with emoji symbols: a case study of José Ángel Buesa's poetry and Borys Grinchenko's image.	3L-Person	2023	DBLP BibTeX RDF
14	Paolo Aniello	Twirled Products and Group-Covariant Symbols.	GSI (1)	2023	DBLP DOI BibTeX RDF
14	Alessandro Daniele, Tommaso Campari, Sagar Malhotra, Luciano Serafini	Deep Symbolic Learning: Discovering Symbols and Rules from Perceptions.	IJCAI	2023	DBLP DOI BibTeX RDF
14	William A. P. Smith, Toby Pillatt	You Only Look for a Symbol Once: An Object Detector for Symbols and Regions in Documents.	ICDAR (5)	2023	DBLP DOI BibTeX RDF
14	Adarsh Tiwari, Sanket Biswas, Josep Lladós 0001	Can Pre-trained Language Models Help in Understanding Handwritten Symbols?	ICDAR Workshops (1)	2023	DBLP DOI BibTeX RDF
14	Yuanchen Wang, Xu Zhu 0001, Eng Gee Lim, Zhongxiang Wei, Yufei Jiang, Lin Gan	Detection of Burst Users and Symbols for Grant-Free Communication in the Presence of Massive Connected Users.	IEEE Trans. Veh. Technol.	2022	DBLP DOI BibTeX RDF
14	Tymoteusz Horbinski, Krzysztof Zagata	Interpretation of Map Symbols in the Context of Gamers' Age and Experience.	ISPRS Int. J. Geo Inf.	2022	DBLP DOI BibTeX RDF
14	Dalibor Bartonek, Pavla Andelová	Method for Cartographic Symbols Creation in Connection with Map Series Digitization.	ISPRS Int. J. Geo Inf.	2022	DBLP DOI BibTeX RDF
14	Huili Zhang, Xiaowen Zhou, Huan Li, Ge Zhu, Hongwei Li	Machine Recognition of Map Point Symbols Based on YOLOv3 and Automatic Configuration Associated with POI.	ISPRS Int. J. Geo Inf.	2022	DBLP DOI BibTeX RDF
14	Anbo Li, Hao Chen, Xiao-Feng Du, Guo-Kai Sun, Xian-Yu Liu	Parametric Modeling Method for 3D Symbols of Fold Structures.	ISPRS Int. J. Geo Inf.	2022	DBLP DOI BibTeX RDF
14	Jun Li 0074, Tongliang Xin, Bo He 0005, Wenxin Li 0006	IQ Symbols Processing Schemes With LSTMs in OFDM System.	IEEE Access	2022	DBLP DOI BibTeX RDF
14	Ashraf Yahya Hassan, Ahmed Sami Mohammed	Design a New Time-Diversity System Using Orthogonal Mapping Matrix and Symbols Interleaving for Rayleigh Flat-Fading Channels.	IEEE Access	2022	DBLP DOI BibTeX RDF
14	Verónica Becher, Eda Cesaratto	On the number of words with restrictions on the number of symbols.	Adv. Appl. Math.	2022	DBLP DOI BibTeX RDF
14	Ernest X. W. Xia	Identities, inequalities and congruences for odd ranks and k-marked odd Durfee symbols.	Adv. Appl. Math.	2022	DBLP DOI BibTeX RDF