Search results for "SFL"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
68	Sean Buttinger, Marco Diedrich, Leo Hennig, Angelika Hoenemann, Philipp Hügelmeyer, Andreas Nie, Andres Pegam, Collin Rogowski, Claus-Rainer Rollinger, Timo Steffens, Wilfried Teiken	The Dirty Dozen Team and Coach Description.	RoboCup	2001	DBLP DOI BibTeX RDF
45	Julian Gutierrez 0001	Logics and Bisimulation Games for Concurrency, Causality and Conflict.	FoSSaCS	2009	DBLP DOI BibTeX RDF	Bisimulation games, Behavioural equivalences, Concurrent and reactive systems, Petri nets, Modal and temporal logics
45	Rui Abreu 0001, Alberto González 0002, Peter Zoeteweij, Arjan J. C. van Gemund	Automatic software fault localization using generic program invariants.	SAC	2008	DBLP DOI BibTeX RDF	black box diagnosis, error detection, fault localization, program invariants, program spectra
45	Noriko Ito, Toru Sugimoto, Michio Sugeno	A Systemic-Functional Approach to Japanese Text Understanding.	CICLing	2004	DBLP DOI BibTeX RDF
37	Jie Song 0001, Feng Han, Zhenxing Yan, Guoqi Liu, Zhiliang Zhu 0001	A SaaSify Tool for Converting Traditional Web-Based Applications to SaaS Application.	IEEE CLOUD	2011	DBLP DOI BibTeX RDF	SaaSify, SFL, Software as a Service (SaaS)
30	Itika Sharma, Sachin Kumar Gupta	SFL-MDrone: Synchronous federated learning enabled multi drones.	J. Intell. Fuzzy Syst.	2024	DBLP DOI BibTeX RDF
30	Yuka Kataoka, Achmad Husni Thamrin, Rodney Van Meter	The Effect of Teacher Electronic Feedback on Japanese SFL Basic Learners' Speaking Improvement.	J. Inf. Process.	2024	DBLP DOI BibTeX RDF
30	Xu Li, Zhenxin Zhang, Yong Li 0028, Mingmin Huang, Jiaxin Zhang	SFL-NET: Slight Filter Learning Network for Point Cloud Semantic Segmentation.	IEEE Trans. Geosci. Remote. Sens.	2023	DBLP DOI BibTeX RDF
30	Avraham Natan, Meir Kalech, Roman Barták	Diagnosis of intermittent faults in Multi-Agent Systems: An SFL approach.	Artif. Intell.	2023	DBLP DOI BibTeX RDF
30	Tian Qin, Guang Cheng 0001, Yichen Wei, Zifan Yao	Hier-SFL: Client-edge-cloud collaborative traffic classification framework based on hierarchical federated split learning.	Future Gener. Comput. Syst.	2023	DBLP DOI BibTeX RDF
30	Sheikh Salman Hassan, Umer Majeed, Zhu Han 0001, Choong Seon Hong	SFL-LEO: Secure Federated Learning Computation Based on LEO Satellites for 6G Non-Terrestrial Networks.	NOMS	2023	DBLP DOI BibTeX RDF
30	Sudipta Paul 0008, Vicenç Torra	Δ SFL: (Decoupled Server Federated Learning) to Utilize DLG Attacks in Federated Learning by Decoupling the Server.	SECRYPT	2023	DBLP DOI BibTeX RDF
30	Zepu Wang, Peng Sun 0007, Yulin Hu, Azzedine Boukerche	SFL: A High-precision Traffic Flow Predictor for Supporting Intelligent Transportation Systems.	GLOBECOM	2022	DBLP DOI BibTeX RDF
30	Rania Magdi Fawzy	Let's Play News!: An SFL Approach to Aesthetic Interactivity of Gamified News.	Games Cult.	2021	DBLP DOI BibTeX RDF
30	Lukas Brand, Markus Mock	SFL: A Compiler for Generating Stateful AWS Lambda Serverless Applications.	WOSC@Middleware	2021	DBLP DOI BibTeX RDF
30	Bruno Castro, Alexandre Perez, Rui Abreu 0001	Pangolin: An SFL-Based Toolset for Feature Localization.	ASE	2019	DBLP DOI BibTeX RDF
30	Alexandre Perez, Rui Abreu 0001	Leveraging Qualitative Reasoning to Improve SFL.	IJCAI	2018	DBLP DOI BibTeX RDF
30	Sven Hager, Samuel Brack, Björn Scheuermann 0001	The Small, the Fast, and the Lazy (SFL): A General Approach for Fast and Flexible Packet Classification.	LCN	2016	DBLP DOI BibTeX RDF
30	Weishi Li, Xiaoguang Mao	Alleviating the Impact of Coincidental Correctness on the Effectiveness of SFL by Clustering Test Cases.	TASE	2014	DBLP DOI BibTeX RDF
30	Peng Feng 0002, Jing Wang, Biao Wei, Deling Mi	A Fusion Algorithm for GFP Image and Phase Contrast Image of Arabidopsis Cell Based on SFL-Contourlet Transform.	Comput. Math. Methods Medicine	2013	DBLP DOI BibTeX RDF
30	Mohammad Mehdi Pishrow, Mahmood Karimi	Application of SFL algorithm in synthesis of multi beam phased array antennas.	IST	2012	DBLP DOI BibTeX RDF
30	Qiming Chen, Meichun Hsu	SFL: A Structured Dataflow Language Based on SQL and FP.	DEXA (1)	2010	DBLP DOI BibTeX RDF
30	Yuanfang Chen, Shaojie Tang 0001, Xiang-Yang Li 0001, Min Gyung Kwak, Cheng Wang 0001, Lei Wang 0005	SFL: Energy-Aware Spline Function Localization Scheme for Wireless Sensor Networks.	MSN	2010	DBLP DOI BibTeX RDF
30	Naohiko Shimizu	Design of sfl2vl: SFL to Verilog Converter Based on an LR-Parser.	IEICE Trans. Fundam. Electron. Commun. Comput. Sci.	2003	DBLP BibTeX RDF
30	Kamyar Ziaei, David W. L. Wang	Design and experimental evaluation of a single robust position/force controller for a single flexible link (SFL) manipulator in collision.	ICRA	2003	DBLP DOI BibTeX RDF
30	Stella Neumann	Exploitation of an SFL-annotated multilingual register corpus.	LINC@EACL	2003	DBLP BibTeX RDF
30	Elsayed E. Hemayed, Aly A. Farag	Slicing, Fitting, and Linking (SFL): A Modular Triangulation Approach.	Three-Dimensional Image Capture and Applications	1999	DBLP DOI BibTeX RDF
23	Julian Gutierrez 0001, Julian C. Bradfield	Model-Checking Games for Fixpoint Logics with Partial Order Models.	CONCUR	2009	DBLP DOI BibTeX RDF	Model-checking games, Hintikka game semantics, Partial order models of concurrency, Process algebras, Modal and temporal logics
23	Hichem Maaref, Kadda Meguenni Zemalache, Lotfi Beji	Self-tunable Fuzzy Inference System: A Comparative Study for a Drone.	Analysis and Design of Intelligent Systems using Soft Computing Techniques	2007	DBLP DOI BibTeX RDF	Static Feedback Linearization controller, Drone, Optimization, Dynamic systems, Fuzzy Inference System, Tracking control
23	Hichem Maaref, Kadda Meguenni Zemalache, Lotfi Beji	Self-tunable Fuzzy Inference System: A Comparative Study for a Drone.	IFSA (2)	2007	DBLP DOI BibTeX RDF	Static Feedback Linearization controller, Drone, Optimization, Dynamic systems, Fuzzy Inference System, Tracking control
23	Abolfazl Toroghi Haghighat, Mostafa Esmaeili, Amin Saremi, V. R. Mousavi	Intrusion Detection via Fuzzy-Genetic Algorithm Combination with Evolutionary Algorithms.	ACIS-ICIS	2007	DBLP DOI BibTeX RDF
23	Michio Sugeno	Computational Models of Language Toward Brain-Style Computing.	MDAI	2006	DBLP DOI BibTeX RDF
23	Hasan Kamal, Chris Mellish	An ATMS Approach to Systemic Sentence Generation.	INLG	2004	DBLP DOI BibTeX RDF