Search results for "SMC"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
119	Haider A. F. Mohamed, En Lau Lau, Soo Siang Yang, Mahmoud Moghavvemi	Fuzzy-SMC-PI Flux and Speed Control for Induction Motors.	RAM	2008	DBLP DOI BibTeX RDF
100	Wun-She Yap, Sherman S. M. Chow, Swee-Huay Heng, Bok-Min Goi	Security Mediated Certificateless Signatures.	ACNS	2007	DBLP DOI BibTeX RDF	security mediated, SMC cryptography, certificateless
94	A. Prasad Sistla, Viktor Gyuris, E. Allen Emerson	SMC: a symmetry-based model checker for verification of safety and liveness properties.	ACM Trans. Softw. Eng. Methodol.	2000	DBLP DOI BibTeX RDF	model checking, automata
88	Derek Yee, James P. Reilly, Thiagalingam Kirubarajan	A Blind Sequential Monte Carlo Detector for OFDM Systems in the Presence of Phase Noise, Multipath Fading, and Channel Order Uncertainty.	IEEE Trans. Signal Process.	2007	DBLP DOI BibTeX RDF
88	Thomas S. John, Arumugam Nallanathan, Marc André Armand	A non-resampling sequential monte carlo detector for coded OFDM systems based on periodic termination of differential phase trellis.	IEEE Trans. Wirel. Commun.	2006	DBLP DOI BibTeX RDF
88	Wenliang Du, Mikhail J. Atallah	Secure multi-party computation problems and their applications: a review and open problems.	NSPW	2001	DBLP DOI BibTeX RDF	privacy, secure multi-party computation
81	Yongdong Wu, Zhigang Zhao, Tian Wei Chui	An Attack on SMC-Based Software Protection.	ICICS	2006	DBLP DOI BibTeX RDF
76	Paolo Zuliani, André Platzer, Edmund M. Clarke	Bayesian statistical model checking with application to Simulink/Stateflow verification.	HSCC	2010	DBLP DOI BibTeX RDF	bayesian statis tics, statistical model checking, hybrid systems, probabilistic model checking, stochastic systems
76	Jian-Ning Li, Yibo Zhang, Haipeng Pan	Chattering-Free LS-SVM Sliding Mode Control.	ISNN (1)	2008	DBLP DOI BibTeX RDF	Discrete uncertain system, Input saturation, Linear matrix inequality, Sliding mode control, Least squares support vector machine
76	Amotz Bar-Noy, Magnús M. Halldórsson, Guy Kortsarz, Ravit Salman, Hadas Shachnai	Sum Multi-coloring of Graphs.	ESA	1999	DBLP DOI BibTeX RDF
68	Daniel Ortega, Salvador Revelo, José Mariano Fernández Nava, Pedro Bañuelos Sánchez	Output Voltage Effects in a 2x2 SMC Caused by Time Index Change.	CONIELECOMP	2005	DBLP DOI BibTeX RDF	Multilevel converters, SMC (Stacked Multicell Converter), Time Index (?), NPC (Neutral Point Clamp), PWM
64	Zhouxuan Teng, Wenliang Du	A hybrid multi-group approach for privacy-preserving data mining.	Knowl. Inf. Syst.	2009	DBLP DOI BibTeX RDF	SMC, Privacy, Randomization, Hybrid
63	Rong-Jong Wai, Jeng-Dao Lee	Adaptive Fuzzy-Neural-Network Control for Maglev Transportation System.	IEEE Trans. Neural Networks	2008	DBLP DOI BibTeX RDF
63	Eskindir Asmare, Anandha Gopalan, Morris Sloman, Naranker Dulay, Emil Lupu	Adaptive self-management of teams of autonomous vehicles.	MPAC	2008	DBLP DOI BibTeX RDF	collaborating autonomous vehicles, communication failure recovery, delay tolerant networking, autonomic management
63	Pradeep Aggarwal, Xiaodong Wang 0001	Multilevel sequential monte carlo algorithms for MIMO demodulation.	IEEE Trans. Wirel. Commun.	2007	DBLP DOI BibTeX RDF
63	Janus Dam Nielsen, Michael I. Schwartzbach	A domain-specific programming language for secure multiparty computation.	PLAS	2007	DBLP DOI BibTeX RDF	SMCL, design, implementation, analysis
63	Yunfeng Liu, Dong Miao, Yunhui Peng, Xiaogang Yang	Variable Universe Adaptive Fuzzy Sliding Mode Controller for a Class of Nonlinear System.	ICIC (2)	2006	DBLP DOI BibTeX RDF
63	Jaafar Almasizadeh, Mohammad Abdollahi Azgomi	A Method for Estimation of the Success Probability of an Intrusion Process by Considering the Temporal Aspects of the Attacker Behavior.	Trans. Comput. Sci.	2009	DBLP DOI BibTeX RDF	intrusion process, semi-Markov chain (SMC), Security, modeling, evaluation, attacker, system, discrete-time Markov chain (DTMC)
57	Jinyong Yu, Chuanjin Cheng, Shixing Wang 0002	The Application of Full Adaptive RBF NN to SMC Design of Missile Autopilot.	ISNN (2)	2008	DBLP DOI BibTeX RDF	SMC, missile, adaptive, RBF
56	Halimah Badioze Zaman, Norasiken Bakar, Azlina Ahmad, Riza Sulaiman, Haslina Arshad, Nor Faezah Mohd. Yatim	Virtual Visualisation Laboratory for Science and Mathematics Content (Vlab-SMC) with Special Reference to Teaching and Learning of Chemistry.	IVIC	2009	DBLP DOI BibTeX RDF	Visualization laboratory, Chemistry Teaching and Learning, Virtual Learning, Virtual laboratory
51	Zhouxuan Teng, Wenliang Du	A Hybrid Multi-group Privacy-Preserving Approach for Building Decision Trees.	PAKDD	2007	DBLP DOI BibTeX RDF	SMC, Privacy, Randomization
50	Zhiwei Liang, Xudong Ma, Xianzhong Dai	Information-theoretic Approaches Based on Sequential Monte Carlo to Collaborative Distributed Sensors for Mobile Robot Localization.	J. Intell. Robotic Syst.	2008	DBLP DOI BibTeX RDF	Optimal sensor selection, Information utility, Density trees, Bayesian inference, Sequential Monte Carlo
50	Florian Kerschbaum, Rafael Deitos	Security against the business partner.	SWS	2008	DBLP DOI BibTeX RDF	secure permutation, security against the business partner, secure multi-party computation
50	Huafeng He, Yunfeng Liu, Xiaogang Yang	Sliding Mode Control for Missile Electro-hydraulic Servo System Using Recurrent Fuzzy Neural Network.	ISNN (1)	2007	DBLP DOI BibTeX RDF
50	Nan Hu, Sen-Ching S. Cheung, Thinh P. Nguyen	Secure Image Filtering.	ICIP	2006	DBLP DOI BibTeX RDF
50	Jiayong Zhang, Jiebo Luo, Robert T. Collins, Yanxi Liu 0001	Body Localization in Still Images Using Hierarchical Models and Hybrid Search.	CVPR (2)	2006	DBLP DOI BibTeX RDF
50	Mahdi Shabany, P. Glenn Gulak	VLSI implementation of a sequential Monte Carlo receiver.	ISCAS	2006	DBLP DOI BibTeX RDF
50	Muhammad Yasser, Agus Trisanto, Jianming Lu, Hiroo Sekiya, Takashi Yahagi	Adaptive sliding mode control using simple adaptive control for SISO nonlinear systems.	ISCAS	2006	DBLP DOI BibTeX RDF
50	Fei Cao, Yunfeng Liu, Xiaogang Yang, Yunhui Peng, Dong Miao	Neural-Network-Based Sliding Mode Control for Missile Electro-Hydraulic Servo Mechanism.	ICONIP (3)	2006	DBLP DOI BibTeX RDF
50	Jiunshian Phuah, Jianming Lu, Muhammad Yasser, Takashi Yahagi	Neuro-sliding mode control for magnetic levitation systems.	ISCAS (5)	2005	DBLP DOI BibTeX RDF
50	Dong Guo 0003, Xiaodong Wang 0001	Dynamic sensor collaboration via sequential Monte Carlo.	IEEE J. Sel. Areas Commun.	2004	DBLP DOI BibTeX RDF
50	José Mariano Fernández Nava, Pedro Bañuelos Sánchez	Stacked Multicell Converter Controlled by DSP.	CONIELECOMP	2004	DBLP DOI BibTeX RDF
50	Thomas B. Moeslund, Erik Granum	Bootstrapping Sequential Monte Carlo Tracking.	SCIA	2003	DBLP DOI BibTeX RDF
50	Chih-Min Lin, Chiu-Hsiung Chen	Adaptive RCMAC sliding mode control for uncertain nonlinear systems.	Neural Comput. Appl.	2006	DBLP DOI BibTeX RDF	Recurrent cerebellar-model-articulation-controller (RCMAC), Sliding-mode control (SMC), Car-following system, Adaptive control, Chaotic system
50	Kazuhiro Motomura, Atsushi Kawakami, Shigeo Hirose	Development of Arm Equipped Single Wheel Rover: Effective Arm-Posture-Based Steering Method.	Auton. Robots	2005	DBLP DOI BibTeX RDF	SMC Rover, Uni-Rover, planetary rover, Super-Mechano-Colony, arm equipped single wheel rover, effective steering method
44	Thomas Fillers, John Maddox, Kevin Wang, Trevor Taylor, Reuben D. Budiardja, Verónica G. Melesse Vergara	SMC 2022 Data Challenge: Summit Spelunkers Solution for Challenge 2.	SMC	2022	DBLP DOI BibTeX RDF
44	Jen-Yang Chen	On SMC-based indirect adaptive fuzzy control.	SMC	1998	DBLP DOI BibTeX RDF
43	Haris E. Psillakis	An Adaptive NN Controller with Second Order SMC-Based NN Weight Update Law for Asymptotic Tracking.	ICANN (2)	2009	DBLP DOI BibTeX RDF
43	Atsushi Kawakami, Akinori Torii, Kazuhiro Motomura, Shigeo Hirose	SMC Rover: Planetary Rover with Transformable Wheels.	ISER	2002	DBLP DOI BibTeX RDF
38	Florian Kerschbaum, Nina Oertel, Leonardo Weiss Ferreira Chaves	Privacy-preserving computation of benchmarks on item-level data using RFID.	WISEC	2010	DBLP DOI BibTeX RDF	supply chain metrics, secure multi-party computation, rfid
38	Kai Zheng 0004, Tielong Shen, Yu Yao	New approaching condition for sliding mode control design with Lipschitz switching surface.	Sci. China Ser. F Inf. Sci.	2009	DBLP DOI BibTeX RDF	Filippov solution, contingent cone, linear Lipschitz switching surface, sliding mode control
38	Sangmin Seo, Jaejin Lee, Zehra Sura	Design and implementation of software-managed caches for multicores with local memory.	HPCA	2009	DBLP DOI BibTeX RDF
38	Florian Kerschbaum	Adapting Privacy-Preserving Computation to the Service Provider Model.	CSE (3)	2009	DBLP DOI BibTeX RDF
38	Richard Garner, Tom Hirschowitz, Aurélien Pardon	Variable Binding, Symmetric Monoidal Closed Theories, and Bigraphs.	CONCUR	2009	DBLP DOI BibTeX RDF
38	Octavian Catrina, Florian Kerschbaum	Fostering the Uptake of Secure Multiparty Computation in E-Commerce.	ARES	2008	DBLP DOI BibTeX RDF	e-commerce, cryptographic protocol, secure multiparty computation
38	Qi Wang 0012, Yonglong Luo, Liusheng Huang	Privacy-preserving Protocols for Finding the Convex Hulls.	ARES	2008	DBLP DOI BibTeX RDF	computational geometry, convex hull, secure multi-party computation
38	Roberto Sebastiani, Eli Singerman, Stefano Tonetta, Moshe Y. Vardi	GSTE is partitioned model checking.	Formal Methods Syst. Des.	2007	DBLP DOI BibTeX RDF	GSTE, Property-driven partitioning, Symbolic model checking
38	Pradeep Aggarwal, Narayan Prasad, Xiaodong Wang 0001	An Enhanced Deterministic Sequential Monte Carlo Method for Near-Optimal MIMO Demodulation With QAM Constellations.	IEEE Trans. Signal Process.	2007	DBLP DOI BibTeX RDF
38	Joe Sventek	The little and large of publish/subscribe: ever the twain shall meet?	DEBS	2007	DBLP DOI BibTeX RDF
38	Hongxu Cai, Zhong Shao, Alexander Vaynberg	Certified self-modifying code.	PLDI	2007	DBLP DOI BibTeX RDF	assembly code verification, runtime code manipulation, self-modifying code, hoare logic, modular verification
38	Alberto E. Schaeffer Filho, Emil Lupu	Abstractions to Support Interactions Between Self-Managed Cells. (PDF / PS)	AIMS	2007	DBLP DOI BibTeX RDF
38	Roberto Sebastiani, Stefano Tonetta, Moshe Y. Vardi	Property-Driven Partitioning for Abstraction Refinement.	TACAS	2007	DBLP DOI BibTeX RDF
38	Mahdi Shabany, P. Glenn Gulak	Application of Sequential Monte Carlo to M-QAM Schemes in the Presence of Nonlinear Solid-State Power Amplifiers.	ISCAS	2007	DBLP DOI BibTeX RDF
38	Alberto E. Schaeffer Filho, Emil C. Lupu, Naranker Dulay, Sye Loong Keoh, Kevin P. Twidle, Morris Sloman, Steven Heeps, Stephen D. Strowes, Joe Sventek	Towards Supporting Interactions between Self-Managed Cells.	SASO	2007	DBLP DOI BibTeX RDF
38	Wei Jiang, Chris Clifton	Transforming Semi-Honest Protocols to Ensure Accountability.	ICDM Workshops	2006	DBLP DOI BibTeX RDF
38	Shiwei Wang, D. L. Yu	An Application of Second-Order Sliding Mode Control for IC Engine Fuel Injection.	CCECE	2006	DBLP DOI BibTeX RDF
38	Milan Fort, Felix C. Freiling, Lucia Draque Penso, Zinaida Benenson, Dogan Kesdogan	TrustedPals: Secure Multiparty Computation Implemented with Smart Cards.	ESORICS	2006	DBLP DOI BibTeX RDF
38	Devarakonda Seshachalam, R. K. Tripathi, Dinesh Chandra	Practical Implementation of Sliding Mode Control for Boost Converter.	APCCAS	2006	DBLP DOI BibTeX RDF
38	Dong Guo 0003, Xiaodong Wang 0001, Rong Chen	New sequential Monte Carlo methods for nonlinear dynamic systems.	Stat. Comput.	2005	DBLP DOI BibTeX RDF	kernel representation, bayesian inference, nonlinear dynamic system, sequential Monte Carlo
38	Artur Burchard, Ewa Hekstra-Nowacka, Atul Chauhan	A Real-Time Streaming Memory Controller.	DATE	2005	DBLP DOI BibTeX RDF
38	Hans-Martin Gärtner, Jens Michaelis	A Note on the Complexity of Constraint Interaction: Locality Conditions and Minimalist Grammars.	LACL	2005	DBLP DOI BibTeX RDF
38	Roberto Sebastiani, Eli Singerman, Stefano Tonetta, Moshe Y. Vardi	GSTE Is Partitioned Model Checking.	CAV	2004	DBLP DOI BibTeX RDF
38	Thomas B. Moeslund, Erik Granum	Sequential Monte Carlo Tracking of Body Parameters in a Sub-Space.	AMFG	2003	DBLP DOI BibTeX RDF
38	David G. Wilson, Rush D. Robinett, Gordon G. Parker, Gregory P. Starr	Augmented Sliding Mode Control for Flexible Link Manipulators.	J. Intell. Robotic Syst.	2002	DBLP DOI BibTeX RDF	manipulator, sliding mode control, flexible link
38	Xiaodong Wang, Rong Chen, Jun S. Liu	Monte Carlo Bayesian Signal Processing for Wireless Communications.	J. VLSI Signal Process.	2002	DBLP DOI BibTeX RDF
38	Sally A. McKee, William A. Wulf, James H. Aylor, Robert H. Klenke, Maximo H. Salinas, Sung I. Hong, Dee A. B. Weikle	Dynamic Access Ordering for Streamed Computations.	IEEE Trans. Computers	2000	DBLP DOI BibTeX RDF	Memory systems architecture, memory access ordering, memory access scheduling, memory bandwidth, memory latency
38	Leila De Floriani, Paola Magillo, Enrico Puppo	Data Structures for Simplicial Multi-complexes.	SSD	1999	DBLP DOI BibTeX RDF
38	Sally A. McKee, William A. Wulf, Trevor C. Landon	Bounds on Memory Bandwidth in Streamed Computations.	Euro-Par	1995	DBLP DOI BibTeX RDF
37	Rohit Pathak, Satyadhar Joshi	Secure Multi-party Computation Using Virtual Parties for Computation on Encrypted Data.	ISA	2009	DBLP DOI BibTeX RDF	Secure Multi-party Computation (SMC), Privacy, Protocol, Information Security
36	Prakash Chandra Gupta, Piyush Pratap Singh	Chaos control of RESs integrated power system model using adaptive higher order PID SMC and comparison of different adaptive SMC techniques.	Int. J. Autom. Control.	2024	DBLP DOI BibTeX RDF
36	Muhammad Zubair, Daniela Iacoviello, Yasir Islam	Adaptive super-twisting SMC and adaptive terminal SMC of brain tumor via chemotherapy.	ICSTCC	2022	DBLP DOI BibTeX RDF
36	Kumari Suman, Abraham T. Mathew	Speed Control of Permanent Magnet Synchronous Motor Drive System Using PI, PID, SMC and SMC plus PID Controller.	ICACCI	2018	DBLP DOI BibTeX RDF
36	Feng Lian, Chen Li 0010, Chongzhao Han, Hui Chen	Convergence Analysis for the SMC-MeMBer and SMC-CBMeMBer Filters.	J. Appl. Math.	2012	DBLP DOI BibTeX RDF
33	Gwo-Ruey Yu	Robust control of an experimental helicopter using genetic algorithms.	SMC	2007	DBLP DOI BibTeX RDF
33	Chung-Chun Kung, Shuo-Chieh Chang	Model reference adaptive fuzzy sliding mode control of time-delay uncertain nonlinear systems with input containing sector nonlinearities and dead-zone.	SMC	2007	DBLP DOI BibTeX RDF
32	Hung-Ching Lu	Grey prediction approach for designing grey sliding mode controller.	SMC (1)	2004	DBLP DOI BibTeX RDF
31	Saikat Saha, Pranab Kumar Mandal, Yvo Boers, Hans Driessen, Arunabha Bagchi	Gaussian proposal density using moment matching in SMC methods.	Stat. Comput.	2009	DBLP DOI BibTeX RDF	Particle filtering, Importance sampling, Bayesian filtering, Nonlinear dynamic system, Sequential Monte Carlo methods, Moment matching
31	Heng Li, Jinhua Wu, Youan Zhang	Adaptive Hybrid SMC-SVM Control for a Class of Nonaffine Nonlinear Systems.	ICIC (1)	2008	DBLP DOI BibTeX RDF	nonaffine nonlinear systems, support vector machine control, hybrid adaptive control, sliding mode control
26		IEEE International Conference on Systems, Man, and Cybernetics, SMC 2023, Honolulu, Oahu, HI, USA, October 1-4, 2023	SMC	2023	DBLP DOI BibTeX RDF
26	Yuqiang Yang, Darong Huang, Chen Chen, Chao Zeng 0002, Yanong He, Chenguang Yang	Learn to Coordinate: a Whole-Body Learning from Demonstration Framework for Differential Drive Mobile Manipulators.	SMC	2023	DBLP DOI BibTeX RDF
26	Sandra-Carina Noble, Tomás Ward, John V. Ringwood	Comparing the Effect of Different Electrode Subsets on P300 Speller Performance.	SMC	2023	DBLP DOI BibTeX RDF
26	Justin R. Namba, Karthik Subramanian, Celal Savur, Ferat Sahin	Database for Human Emotion Estimation Through Physiological Data in Industrial Human-Robot Collaboration.	SMC	2023	DBLP DOI BibTeX RDF
26	Yang Luo, Rongheng Lin	Long-tailed Detection Based on Multi-Expert Aggregation.	SMC	2023	DBLP DOI BibTeX RDF
26	Zhuo-Yin Qiao, Qiang Yang 0008, Xu-Dong Gao 0003, Peilan Xu, Zhen-Yu Lu	Comparative Study on Different Types of Surrogate-Assisted Evolutionary Algorithms for High-Dimensional Expensive Problems.	SMC	2023	DBLP DOI BibTeX RDF
26	Shuya Tobari, Kenichi Oishi, Hitoshi Iyatomi	Acquiring a Low-Dimensional, Environment-Independent Representation of Brain MR Images for Content-Based Image Retrieval.	SMC	2023	DBLP DOI BibTeX RDF
26	Afshin Ameri Ekhtiarabadi, Branko Miloradovic, Baran Çürüklü, Alessandro V. Papadopoulos, Mikael Ekström, Johann Dréo	Interplay of Human and AI Solvers on a Planning Problem.	SMC	2023	DBLP DOI BibTeX RDF
26	Hiroshi Yasuda, Tiffany L. Chen	Steering Mental Models During Drifting: Can Drivers Understand Automated Counter-Steering?	SMC	2023	DBLP DOI BibTeX RDF
26	Jumpei Hayashi, Takeo Kato, Hideyoshi Yanagisawa	Cross-Modal Correspondence Between Sound Pitch and Shape Controlled by Shape Feature Indices.	SMC	2023	DBLP DOI BibTeX RDF
26	Hongyao Ma, Zhixue Wang, Zhen Shen, Hong Zhang, Chuanfu Li, Fei-Yue Wang 0001	A Multimodal Approach for Bridge Inspection.	SMC	2023	DBLP DOI BibTeX RDF
26	Delei Zhang, Liang Qi, Wenjing Luan, Xiwang Guo	Collision Avoidance of Autonomous Vehicles with E-bike at Un-signalized Occluded Intersections Based on Reinforcement Learning.	SMC	2023	DBLP DOI BibTeX RDF
26	Kuan-Hsien Liu, Xiang-Kun Shih, Tsung-Jung Liu, Wen-Ren Liu	Facial Expression Recognition in the Wild Using FAM, RRDB and Vision Transformer Based Convolutional Neural Networks.	SMC	2023	DBLP DOI BibTeX RDF
26	Cheng Gong, Lie Meng Pang, Yang Nan 0001, Hisao Ishibuchi, Qingfu Zhang 0001	Effects of Initialization Methods on the Performance of Multi-Objective Evolutionary Algorithms.	SMC	2023	DBLP DOI BibTeX RDF
26	Kai-Yuan Liu, Tatsuya Ibuki, Yen-Chen Liu	Safe Bilateral Teleoperation for a UAV Using Control Barrier Functions and Passivity.	SMC	2023	DBLP DOI BibTeX RDF
26	Haruki Oikawa, Yoshito Tsuruda, Yoshitake Sano, Teiichi Furuichi, Masataka Yamamoto, Hiroshi Takemura	Deep-Learning Approach for Revealing Latent Behaviors in Mice: Development of Walking Trajectories Prediction Model and Applications.	SMC	2023	DBLP DOI BibTeX RDF
26	Huicong Bian, Qin Lu	HLRS: A Deep Reinforcement Learning-Based Hero Recommendation System for MOBA Games.	SMC	2023	DBLP DOI BibTeX RDF
26	Peipei Zhao, Liping Wang, Hui Wang	A Preference-Based Multi-Objective Evolutionary Algorithm with Local Pareto Front Modeling.	SMC	2023	DBLP DOI BibTeX RDF
26	Ning Zhou, Jianyong Yao, Wenxiang Deng	Adaptive Estimated Inverse Control for Uncertain Nonlinear Systems with Hysteresis Effect.	SMC	2023	DBLP DOI BibTeX RDF
26	Tinghui Chen, Shuai Li	A Novel Industrial Robot Calibration Method Based on Multi-Planar Constraints.	SMC	2023	DBLP DOI BibTeX RDF
26	Matthew L. Bolton, Svetlana Riabova, Yeonbin Son, Eunsuk Kang	Negative Transfer in Task-Based Human Reliability Analysis: A Formal Methods Approach.	SMC	2023	DBLP DOI BibTeX RDF
26	Yumeko Imamura, Masahiko Sumitani, Yuko Otake, Fumiya Hanzawa, Kazuaki Kishimoto	Gait Changes with Powered Wear for Walking Aid: Verification Experiment Measuring Walking Motion and Physical Characteristics.	SMC	2023	DBLP DOI BibTeX RDF