Search results for "state transition matrix"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Miodrag J. Mihaljevic, Marc P. C. Fossorier, Hideki Imai	A General Formulation of Algebraic and Fast Correlation Attacks Based on Dedicated Sample Decimation.	AAECC	2006	DBLP DOI BibTeX RDF	overdefined systems of nonlinear equations, state transition matrix, cryptanalysis, stream ciphers, decoding, LFSRs, algebraic attacks, fast correlation attack, decimation, keystream generators
2	Miodrag J. Mihaljevic, Marc P. C. Fossorier, Hideki Imai	Cryptanalysis of Keystream Generator by Decimated Sample Based Algebraic and Fast Correlation Attacks.	INDOCRYPT	2005	DBLP DOI BibTeX RDF	nonlinear combination keystream generator, state transition matrix, Stream ciphers, LFSRs, algebraic attacks, fast correlation attack, decimation
1	Weiqiang Kong, Tomohiro Shiraishi, Noriyuki Katahira, Masahiko Watanabe, Tetsuro Katayama, Akira Fukuda	An SMT-Based Approach to Bounded Model Checking of Designs in State Transition Matrix.	IEICE Transactions	2011	DBLP BibTeX RDF
1	Weiqiang Kong, Noriyuki Katahira, Masahiko Watanabe, Tetsuro Katayama, Kenji Hisazumi, Akira Fukuda	Formal Verification of Software Designs in Hierarchical State Transition Matrix with SMT-based Bounded Model Checking.	APSEC	2011	DBLP DOI BibTeX RDF
1	Andreas B. Hempel, Andreas B. Kominek, Herbert Werner	Output-feedback controlled-invariant sets for systems with linear parameter-varying state transition matrix.	CDC-ECE	2011	DBLP DOI BibTeX RDF
1	Tomohiro Shiraishi, Weiqiang Kong, Yuki Mizushima, Noriyuki Katahira, Michihiro Matsumoto, Masahiko Watanabe, Tetsuro Katayama, Akira Fukuda	Model Checking of Software Design in State Transition Matrix.	Software Engineering Research and Practice	2010	DBLP BibTeX RDF
1	Michael V. Basin, Darío Calderon-Alvarez, Rodolfo Martinez-Zuniga	Alternative optimal filter for linear systems with multiple state and observation delays.	CDC	2008	DBLP DOI BibTeX RDF
1	Abdulmajed Elbkosh, Damian Giaouris, Volker Pickert, Bashar Zahawi, Soumitro Banerjee	Stability analysis and control of bifurcations of parallel connected DC/DC converters using the monodromy matrix.	ISCAS	2008	DBLP DOI BibTeX RDF
1	Alexander W. Min, Kang G. Shin	An Optimal Transmission Strategy for IEEE 802.11 Wireless LANs: Stochastic Control Approach.	SECON	2008	DBLP DOI BibTeX RDF
1	Ibrahim Hökelek, M. Ümit Uyar, Mariusz A. Fecko	On stability analysis of virtual backbone in mobile ad hoc networks.	Wireless Networks	2008	DBLP DOI BibTeX RDF
1	W. J. Harlin, D. A. Cicci	Ballistic missile trajectory prediction using a state transition matrix.	Applied Mathematics and Computation	2007	DBLP DOI BibTeX RDF
1	Farhad Aghili, Kourosh Parsa	Adaptive motion estimation of a tumbling satellite using laser-vision data with unknown noise characteristics.	IROS	2007	DBLP DOI BibTeX RDF
1	Yong Li, Jaekyun Moon	Error Probability Bounds for Bit-Interleaved Space-Time Trellis Coding Over Block-Fading Channels.	IEEE Transactions on Information Theory	2007	DBLP DOI BibTeX RDF
1	Michael Dewar, Visakan Kadirkamanathan	A Canonical Space-Time State Space Model: State and Parameter Estimation.	IEEE Transactions on Signal Processing	2007	DBLP DOI BibTeX RDF
1	Basil M. Al-Hadithi, Fernando Matía, Agustín Jiménez	Fuzzy Controller for Robot Manipulators.	IFSA	2007	DBLP DOI BibTeX RDF
1	Jidi Zhao, Tao Jin, Huizhang Shen	A Case-Based Evolutionary Group Decision Support Method for Emergency Response.	PAISI	2007	DBLP DOI BibTeX RDF	Bayesian Dynamic Forecasting, Emergency Response, CBR, GSS
1	David B. Thomas, Wayne Luk	High Quality Uniform Random Number Generation Using LUT Optimised State-transition Matrices.	VLSI Signal Processing	2007	DBLP DOI BibTeX RDF	Uniform Random Numbers, Simulation, FPGA
1	R. C. Chakinala, Abishek Kumarasubramanian, R. Manokaran, Guevara Noubir, C. Pandu Rangan, Ravi Sundaram	Steganographic Communication in Ordered Channels.	Information Hiding	2006	DBLP DOI BibTeX RDF
1	Miodrag J. Mihaljevic, Hideki Imai	The Decimated Sample Based Improved Algebraic Attacks on the Nonlinear Filters.	SCN	2004	DBLP DOI BibTeX RDF	overdefined systems of equations, hypotheses testing, cryptanalysis, stream ciphers, algebraic attacks, decimation
1	L. Y. Ngan, Yuntao Wu, H. C. So, Pak-Chung Ching, Siu Wa Lee	Joint time delay and pitch estimation for speaker localization.	ISCAS	2003	DBLP DOI BibTeX RDF
1	Ivana Mikic, Mohan M. Trivedi, Edward Hunter, Pamela C. Cosman	Articulated Body Posture Estimation from Multi-Camera Voxel Data.	CVPR	2001	DBLP DOI BibTeX RDF
1	Yongduek Seo, Ki-Sang Hong	Structure and Motion Estimation with Expectation Maximization and Extended Kalman Smoother for Continuous Image Sequences.	CVPR	2001	DBLP DOI BibTeX RDF
1	Daniel DeMenthon, David S. Doermann, Marc Vuilleumier Stückelberg	Image Distance Using Hidden Markov Models.	ICPR	2000	DBLP DOI BibTeX RDF
1	Ajoy Opal	The transition matrix for linear circuits.	IEEE Trans. on CAD of Integrated Circuits and Systems	1997	DBLP DOI BibTeX RDF
1	William S. Keezer, Andrew P. Fenic, Barry L. Nelson	Representation of User Transaction Processing Behavior with a State Transition Matrix.	Winter Simulation Conference	1992	DBLP DOI BibTeX RDF	SLAM
1	Asad A. Ismaeel, Melvin A. Breuer	The probability of error detection in sequential circuits using random test vectors.	J. Electronic Testing	1991	DBLP DOI BibTeX RDF	probabilistic error detection, fault detection, Markov-model, random testing, synchronous sequential circuits
1	Carmen Paz Suárez Araujo, Roberto Moreno-Díaz Jr.	Bases of a CAST System for Formal Neural Nets.	EUROCAST	1989	DBLP DOI BibTeX RDF