Search results for "se-FSA"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
162	R. Sekar 0001, M. Bendre, D. Dhurjati, P. Bollineni	A Fast Automaton-Based Method for Detecting Anomalous Program Behaviors.	S&P	2001	DBLP DOI BibTeX RDF
133	Lin Liu 0003, Jonathan Billington	Recursive Parametric Automata and epsilon-Removal.	FMOODS/FORTE	2009	DBLP DOI BibTeX RDF	Parametric Automata, Automata Reduction, Language Equivalence, Protocol Verification
93	Ahmed Khoumsi	A Method for Testing the Conformance of Real Time Systems.	FTRTFT	2002	DBLP DOI BibTeX RDF	GeneralizedWp-Method, Timed Automata (TA), se-FSA, Exp, Real-time systems, Conformance testing, Test cases generation, Set, Test architecture
59	Kota Naga Srinivasarao Batta, Indrajit Chakrabarti	A Parallel Architecture for Successive Elimination Block Matching Algorithm.	ICVGIP	2008	DBLP DOI BibTeX RDF
59	Enrique Guzmán 0001, Oleksiy B. Pogrebnyak, Luis Sánchez Fernández 0002, Cornelio Yáñez-Márquez	A Fast Search Algorithm for Vector Quantization Based on Associative Memories.	CIARP	2008	DBLP DOI BibTeX RDF	fast search, image coding, vector quantization, associative memories
59	Guy Edward Gallasch, Jonathan Billington	Using Parametric Automata for the Verification of the Stop-and-Wait Class of Protocols.	ATVA	2005	DBLP DOI BibTeX RDF	Stop and Wait Protocols, Symbolic Automata, Language Equivalence, Coloured Petri Nets, Parametric Verification, Symbolic Reachability Graphs
59	Luc Segoufin, Victor Vianu	Validating Streaming XML Documents. (PDF / PS)	PODS	2002	DBLP DOI BibTeX RDF	XML
59	Gerasimos G. Rigatos	Fuzzy Stochastic Automata for Reactive Learning and Hybrid Control.	SETN	2002	DBLP DOI BibTeX RDF
55		FSA SiP Market and Patent Analysis Report.	IEEE Des. Test Comput.	2007	DBLP DOI BibTeX RDF	patent analysis, SiP market, SoC, packaging, SiP, system in package
55	Pavel Petrovic	Strengths and weaknesses of FSA representation.	GECCO	2007	DBLP DOI BibTeX RDF	finite state automata, evolutionary programming, incremental evolution
44	K. Nunez, Jianhua Chen 0003, Peter P. Chen, Guoli Ding, Robert F. Lax, Brian D. Marx	Empirical Comparison of Greedy Strategies for Learning Markov Networks of Treewidth k.	ICMLA	2008	DBLP DOI BibTeX RDF
44	Guy Edward Gallasch, Jonathan Billington	Parametric Language Analysis of the Class of Stop-and-Wait Protocols.	Petri Nets	2008	DBLP DOI BibTeX RDF
44	Yuxiang Jia, Dezhi Huang, Wu Liu, Shiwen Yu, Haila Wang	Text normalization in mandarin text-to-speech system.	ICASSP	2008	DBLP DOI BibTeX RDF
44	Minh Nghia Le, Yew-Soon Ong	A Frequent Pattern Mining Algorithm for Understanding Genetic Algorithms.	ICIC (2)	2008	DBLP DOI BibTeX RDF	Optinformatics, Genetic Algorithms, Frequent Pattern Mining, Schemata
44	Pekka Jääskeläinen, Vladimír Guzma, Jarmo Takala	Resource Conflict Detection in Simulation of Function Unit Pipelines.	SAMOS	2007	DBLP DOI BibTeX RDF
44	Michael Cameron, Yaniv Bernstein, Hugh E. Williams	Clustering Near-Identical Sequences for Fast Homology Search.	RECOMB	2006	DBLP DOI BibTeX RDF
44	Lin Liu 0003, Jonathan Billington	Obtaining the Service Language for H.245's Multimedia Capability Exchange Signalling Protocol: the Final Step.	MMM	2004	DBLP DOI BibTeX RDF	Multimedia Protocols, Recursive Service Language, Formal Methods, Automata, Coloured Petri Nets
44	Yasuaki Kuroe	Representation and Identification of Finite State Automata by Recurrent Neural Networks.	ICONIP	2004	DBLP DOI BibTeX RDF
44	Bing Shen, Zhongfei (Mark) Zhang, Chunfa Yuan	Person Name Identification in Chinese Documents Using Finite State Automata.	IAT	2003	DBLP DOI BibTeX RDF
44	Elke A. Rundensteiner, Daniel D. Gajski, Lubomir Bic	Component synthesis from functional descriptions.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1993	DBLP DOI BibTeX RDF
40	Satoshi Taoka, Toshiya Mashima, Toshimasa Watanabe	A 2-approximation algorithm FSA+1 to (lambda+1)-edge-connect a specified set of vertices in a lambda-edge-connected graph.	ISCAS (3)	2003	DBLP DOI BibTeX RDF
33	Olgierd Unold	Inducing Regular Languages Using Grammar-Based Classifier System.	ICGI	2008	DBLP DOI BibTeX RDF	FSA Induction, Learning Classifier Systems, Grammatical Inference
29	Salman A. Khan, Andries P. Engelbrecht	Fuzzy hybrid simulated annealing algorithms for topology design of switched local area networks.	Soft Comput.	2009	DBLP DOI BibTeX RDF	Simulated evolution, Fuzzy logic, Simulated annealing, Network topology, Distributed networks
29	Jean-François Dupuis, Zhun Fan, Erik D. Goodman	Evolved finite state controller for hybrid system.	GEC Summit	2009	DBLP DOI BibTeX RDF	two-tank system, genetic algorithm, hybrid system, bond graph
29	Ellina Foutekova, Patrick Agyapong, Harald Haas	Channel Asymmetry and Random Time Slot Hopping in OFDMA-TDD Cellular Networks.	VTC Spring	2008	DBLP DOI BibTeX RDF
29	Minh Nghia Le, Yew-Soon Ong, Quang Huy Nguyen 0001	Optinformatics for schema analysis of binary genetic algorithms.	GECCO	2008	DBLP DOI BibTeX RDF	royal road problem, genetic algorithms, frequent pattern mining, schema theory
29	Kae Won Choi, Dong Geun Jeong, Wha Sook Jeon	Packet Scheduler for Mobile Communications Systems with Time-Varying Capacity Region.	IEEE Trans. Wirel. Commun.	2007	DBLP DOI BibTeX RDF
29	Dheeraj K. Klair, Kwan-Wu Chin, Raad Raad	On the Suitability of Framed Slotted Aloha based RFID Anti-collision Protocols for Use in RFID-Enhanced WSNs.	ICCCN	2007	DBLP DOI BibTeX RDF
29	Hongbing Wang, Hui Liu, Chen Wang, Patrick C. K. Hung	A New Approach to Describe Web Services.	Web Intelligence	2007	DBLP DOI BibTeX RDF
29	Yu Liu 0041, King Ngi Ngan	Fast lossless multi-resolution motion estimation for scalable wavelet video coding.	ISCAS	2006	DBLP DOI BibTeX RDF
29	Hidenao Abe, Takahira Yamaguchi	Constructive Meta-level Feature Selection Method Based on Method Repositories.	PAKDD	2006	DBLP DOI BibTeX RDF
29	Byung Cheol Song, Kang Wook Chun, Jong Beom Ra	A rate-constrained fast full-search algorithm based on block sum pyramid.	IEEE Trans. Image Process.	2005	DBLP DOI BibTeX RDF
29	C. Comas, Enric Monte-Moreno, Jordi Solé i Casals	A Robust Multiple Feature Approach to Endpoint Detection in Car Environment Based on Advanced Classifiers.	IWANN	2005	DBLP DOI BibTeX RDF
29	Jae-Ryong Cha, Jae-Hyun Kim	Novel Anti-collision Algorithms for Fast Object Identification in RFID System.	ICPADS (2)	2005	DBLP DOI BibTeX RDF
29	Yasuaki Kuroe	Representation and Identification Method of Finite State Automata by Recurrent High-Order Neural Networks.	ICANN (2)	2005	DBLP DOI BibTeX RDF
29	Dong-yuan Chen, Lixia Liu, Chen Fu, Shuxin Yang, Chengyong Wu, Roy Dz-Ching Ju	Efficient Resource Management during Instruction Scheduling for the EPIC Architecture.	IEEE PACT	2003	DBLP DOI BibTeX RDF
29	Olgierd Unold, Maciej Troc, Tadeusz Dobosz, Alicja Trusewicz	Finite-State Molecular Computing.	CIAA	2003	DBLP DOI BibTeX RDF
29	Michael T. Grinder	A preliminary empirical evaluation of the effectiveness of a finite state automaton animator.	SIGCSE	2003	DBLP DOI BibTeX RDF	visualization, evaluation, animation, theory of computation
29	Srivaths Ravi 0001, Niraj K. Jha	Test synthesis of systems-on-a-chip.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2002	DBLP DOI BibTeX RDF
29	Orlando Cicchello, Stefan C. Kremer	Beyond EDSM.	ICGI	2002	DBLP DOI BibTeX RDF
29	Hans Vangheluwe, Juan de Lara	XML-based modeling and simulation: meta-models are models too.	WSC	2002	DBLP DOI BibTeX RDF
29	Kalyanamalini Sahoo	A Deterministic Finite State Automaton for the Oriya Negative Verbal Forms.	Language Engineering Conference	2002	DBLP DOI BibTeX RDF
29	Wilson Rosa de Oliveira, Marcílio Carlos Pereira de Souto, Teresa Bernarda Ludermir	Turing Machines with Finite Memory.	SBRN	2002	DBLP DOI BibTeX RDF
29	Srivaths Ravi 0001, Ganesh Lakshminarayana, Niraj K. Jha	Testing of core-based systems-on-a-chip.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2001	DBLP DOI BibTeX RDF
29	Fevzi Belli	Finite-State Testing and Analysis of Graphical User Interfaces.	ISSRE	2001	DBLP DOI BibTeX RDF
29	Srivaths Ravi 0001, Niraj K. Jha	Synthesis of System-on-a-chip for Testability.	VLSI Design	2001	DBLP DOI BibTeX RDF
29	Austin Donnelly, Tim Deegan	IP Route Lookups as String Matching.	LCN	2000	DBLP DOI BibTeX RDF	IP route lookups, destination address, routing table encoding, optimal representation, longest-prefix match problem, transport protocols, string matching, string matching, finite automata, telecommunication network routing, table lookup, finite state automata, state reduction
29	Mark W. Bailey, Jack W. Davidson	A Formal Model of Procedure Calling Conventions.	POPL	1995	DBLP DOI BibTeX RDF
25	Feri Sulianta, Laksana Eka Angga, Thee Houw Liong	Mining Transactional Data To Produce Extended Association Rules Using Collaborative Apriori, Fsa-Red And M5p Predictive Algorithm As A Basis Of Business Actions.	CoRR	2024	DBLP DOI BibTeX RDF
25	Jiafeng Zhang, Xuejing Pu	Smart Home Device Detection Algorithm Based on FSA-YOLOv5.	CoRR	2023	DBLP DOI BibTeX RDF
25	Siyuan Lu, Chenchen Zhou, Keli Xie, Jun Lin 0001, Zhongfeng Wang 0001	Fast and Accurate FSA System Using ELBERT: An Efficient and Lightweight BERT.	IEEE Trans. Signal Process.	2023	DBLP DOI BibTeX RDF
25	Bangcheng Zhan, Enmin Song, Hong Liu 0005	FSA-Net: Rethinking the attention mechanisms in medical image segmentation from releasing global suppressed information.	Comput. Biol. Medicine	2023	DBLP DOI BibTeX RDF
25	Mehrdad Hajizadeh, Sudip Barua, Pegah Golchin	FSA-IDS: A Flow-based Self-Active Intrusion Detection System.	NOMS	2023	DBLP DOI BibTeX RDF
25	Amar Kumar Verma, Pallav Devang Raval, Neha Rajagopalan, Vaishnavi Khariya, Radhika Sudha	Development of an AI-based FSA for real-time condition monitoring for industrial machine.	Neural Comput. Appl.	2022	DBLP DOI BibTeX RDF
25	Siyuan Lu, Chenchen Zhou, Keli Xie, Shiyi Liu, Jun Lin 0001, Zhongfeng Wang 0001	Fast and Accurate FSA System Using ELBERT: An Efficient and Lightweight BERT.	CoRR	2022	DBLP DOI BibTeX RDF
25	Yingnan Zhao, Ke Wang 0030, Ahmed Louri	FSA: An Efficient Fault-tolerant Systolic Array-based DNN Accelerator Architecture.	ICCD	2022	DBLP DOI BibTeX RDF
25	Taras A. Uzdenov	Task scheduling in Desktop GRID by FSA method: a practical example.	QuaInT+doors	2021	DBLP BibTeX RDF
25	João C. B. Oliveira, Ricardo Araújo Rios, Eduardo Santana de Almeida, Cláudio Nogueira Sant'Anna, Tatiane Nogueira Rios	Fuzzy Software Analyzer (FSA): A New Approach for Interpreting Source Code Versioning Repositories.	FUZZ-IEEE	2021	DBLP DOI BibTeX RDF
25	Jesús Manuel Almendros-Jiménez, Antonio Becerra-Terón, Ginés Moreno, José A. Riaza	Flexible Aggregation in FSA-SPARQL.	FUZZ-IEEE	2021	DBLP DOI BibTeX RDF
25	Jiechao Dong, Liping Yan, Yuanqing Xia	Compound Fault Separation and Diagnosis Method Based on FSA-CNN and DAN.	CAA SAFEPROCESS	2021	DBLP DOI BibTeX RDF
25	Nishant Budhdev, Raj Joshi, Pravein Govindan Kannan, Mun Choon Chan, Tulika Mitra	FSA: fronthaul slicing architecture for 5G using dataplane programmable switches.	MobiCom	2021	DBLP DOI BibTeX RDF
25	Fanrong Li, Gang Li 0015, Zitao Mo, Xiangyu He, Jian Cheng 0001	FSA: A Fine-Grained Systolic Accelerator for Sparse CNNs.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2020	DBLP DOI BibTeX RDF
25	Chathura H. Wickramasinghe, Luke Wallace, Karin Reinke, Simon D. Jones	Intercomparison of Himawari-8 AHI-FSA with MODIS and VIIRS active fire products.	Int. J. Digit. Earth	2020	DBLP DOI BibTeX RDF
25	Lauro C. M. de Paula, Anderson da Silva Soares, Telma Woerle de Lima Soares, Celso Gonçalves Camilo-Junior, Clarimar José Coelho, Anselmo E. de Oliveira	Epistasis-based FSA: Two versions of a novel approach for variable selection in multivariate calibration.	Eng. Appl. Artif. Intell.	2019	DBLP DOI BibTeX RDF
25	Xiliu Man, Tong Luo, Jianwu Lin	Financial Sentiment Analysis(FSA): A Survey.	ICPS	2019	DBLP DOI BibTeX RDF
25	Yan Liu, Xu-Dong Wang, Meikang Qiu, Hui Zhao 0002	Machine Learning for Cancer Subtype Prediction with FSA Method.	SmartCom	2019	DBLP DOI BibTeX RDF
25	Tsun-Yi Yang, Yi-Ting Chen, Yen-Yu Lin, Yung-Yu Chuang	FSA-Net: Learning Fine-Grained Structure Aggregation for Head Pose Estimation From a Single Image.	CVPR	2019	DBLP BibTeX RDF
25	Kailun Luo, Yongmei Liu 0001	Automatic Verification of FSA Strategies via Counterexample-Guided Local Search for Invariants.	IJCAI	2019	DBLP DOI BibTeX RDF
25	Jesús Manuel Almendros-Jiménez, Antonio Becerra-Terón, Ginés Moreno	Fuzzy queries of social networks with FSA-SPARQL.	Expert Syst. Appl.	2018	DBLP DOI BibTeX RDF
25	Paolo Ciaccia, Davide Martinenghi	FA + TA	CIKM	2018	DBLP DOI BibTeX RDF
25	Taylor B. Arnold, Stacey Maples, Lauren Tilton, Laura Wexler	Uncovering Latent Metadata in the FSA-OWI Photographic Archive.	Digit. Humanit. Q.	2017	DBLP BibTeX RDF
25	Paul Rodríguez, Sandeep Puthanveetil Satheesan, Jeffrey Will, Elizabeth Wuerffel, Alan B. Craig	Extracting, Assimilating, and Sharing the Results of Image Analysis on the FSA/OWI Photography Collection.	PEARC	2017	DBLP DOI BibTeX RDF
25	K. Uma Pavan Kumar, S. Saraswathi	FSA and NLP based Un-supervised non template Web data extraction in the construction Of Dynamic Ontology.	ICIA	2016	DBLP DOI BibTeX RDF
25	Xiaohui Lin 0001, Hui Wang 0022, Yu-Kwong Kwok, Bin Chen 0016, Mingjun Dai, Li Zhang 0066	Exploiting the prefix information to enhance the performance of FSA-based RFID systems.	Comput. Commun.	2015	DBLP DOI BibTeX RDF
25	Javier Vales-Alonso, Juan Pedro Muñoz-Gea, Juan J. Alcaraz	A bivariate DTMC model of the RFID FSA reading process to study the continuous wave outage effect.	EURFID	2015	DBLP DOI BibTeX RDF
25	Jakub Montewka, Floris Goerlandt, Pentti Kujala	On a systematic perspective on risk for formal safety assessment (FSA).	Reliab. Eng. Syst. Saf.	2014	DBLP DOI BibTeX RDF
25	Javier Vales-Alonso, Francisco J. Parrado-García, Juan J. Alcaraz	Analytical Computation of the Mean Number of Tag Identifications During a Time Interval in FSA.	IEEE Commun. Lett.	2014	DBLP DOI BibTeX RDF
25	Lei Cao, He shun Tan, Hui Peng, Ming cong Pan	Multiple UAVs hierarchical dynamic task allocation based on PSO-FSA and decentralized auction.	ROBIO	2014	DBLP DOI BibTeX RDF
25	Yong Lu, Youjian Zhao, Fuchun Sun 0001, Hongbo Li 0001, Dianjun Wang	Dynamic Fault-Tolerant Routing Based on FSA for LEO Satellite Networks.	IEEE Trans. Computers	2013	DBLP DOI BibTeX RDF
25	David Lo 0001, Leonardo Mariani, Mauro Santoro	Learning extended FSA from software: An empirical assessment.	J. Syst. Softw.	2012	DBLP DOI BibTeX RDF
25	Ahmed Sohail, Pei Xiao, Barry G. Evans	Optimal power allocation scheme under FSA constraint for OFDM based cognitive radio systems.	ICUMT	2012	DBLP DOI BibTeX RDF
25	Shilpa Desai, Jyoti D. Pawar, Pushpak Bhattacharyya	Automated Paradigm Selection for FSA based Konkani Verb Morphological Analyzer.	COLING (Demos)	2012	DBLP BibTeX RDF
25	Pierluigi Rolando, Riccardo Sisto, Fulvio Risso	SPAF: stateless FSA-based packet filters.	IEEE/ACM Trans. Netw.	2011	DBLP DOI BibTeX RDF
25	Jon Patrick, Mojtaba Sabbagh	An Active Learning Process for Extraction and Standardisation of Medical Measurements by a Trainable FSA.	CICLing (2)	2011	DBLP DOI BibTeX RDF
25	José M. Castaño, Rodrigo Castaño	Variable and Clause Ordering in an FSA Approach to Propositional Satisfiability.	CIAA	2011	DBLP DOI BibTeX RDF
25	In-Taek Lim	Transmission Probability Control Scheme in FSA-based RFID Systems.	J. Inform. and Commun. Convergence Engineering	2010	DBLP DOI BibTeX RDF
25	Bastian Knerr, Martin Holzer 0002, Christoph Angerer, Markus Rupp	Slot-wise maximum likelihood estimation of the tag population size in FSA protocols.	IEEE Trans. Commun.	2010	DBLP DOI BibTeX RDF
25	Dong-Hyun Kim, Jae-Cheol Yoon, Jae-Min Shin, Moon-Gyu Kim	KOMPSAT-5 spotlight SAR processor using FSA with calculation of effective velocity.	IGARSS	2010	DBLP DOI BibTeX RDF
25	Zi-Qiu Wei, Ming-Fang Li	Information security risk assessment model base on FSA and AHP.	ICMLC	2010	DBLP DOI BibTeX RDF
25	Jerzy Mikulik, Miroslaw Zajdel	Automatic Risk Control Based on FSA Methodology Adaptation for Safety Assessment in Intelligent Buildings.	Int. J. Appl. Math. Comput. Sci.	2009	DBLP DOI BibTeX RDF
25	Justina Krawczyk, Alexander Goesmann, Ralf Nolte, Martin Werber, Bernd Weisshaar	Trace2PS and FSA2PS: two software toolkits for converting trace and fsa files to PostScript format.	Source Code Biol. Medicine	2009	DBLP DOI BibTeX RDF
25	In-Taek Lim	A Scheme for Estimating Number of Tags in FSA-based RFID Systems.	J. Inform. and Commun. Convergence Engineering	2009	DBLP BibTeX RDF
25	Zhenyu Yang 0007, Kai Zeng 0001, Wenjing Lou	FSA: A Fast Coordination Scheme for Opportunistic Routing.	ICC	2009	DBLP DOI BibTeX RDF
25	Chen-Shie Ho, Kuo-Cheng Chiang	FSA - A Flooding Based Survivable RWA Mechanism for Dynamic Traffic.	ICN	2009	DBLP DOI BibTeX RDF
25	Pasu Sirisalee, Danu Prommin, Pataravit Rukskul	Performance evaluation method of alternating pressure air mattresses using FSA pressure mapping system.	i-CREATe	2009	DBLP DOI BibTeX RDF
25	Stoyan Bonev	An adaptable FSA simulator.	CompSysTech	2008	DBLP DOI BibTeX RDF
25	Tsuyoshi Morimoto, Shinya Takahashi	Automatic Construction of FSA Language Model for Middle-size Vocabulary Speech Recognition.	IMECS	2007	DBLP BibTeX RDF
25	Byeong Kang 0001, Andrei V. Kelarev, Arthur H. J. Sale, Ray Williams	A New Model for Classifying DNA Code Inspired by Neural Networks and FSA.	PKAW	2006	DBLP DOI BibTeX RDF
25	Usha Jagessar, Vicky Sedgwick	When is personal data not "personal data" - The impact of Durant v. FSA.	Comput. Law Secur. Rev.	2005	DBLP DOI BibTeX RDF
25	Simon Chalton	The Court of Appeal's interpretation of "personal data" in Durant v FSA - a welcome clarification, or a cat amongst the data protection pigeons?	Comput. Law Secur. Rev.	2004	DBLP DOI BibTeX RDF