Search results for "reversibility"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
18	Evelyne Viegas, Stephen Beale	Multilinguality and Reversibility in Computational Semantic Lexicons.	INLG	1996	DBLP BibTeX RDF
18	Jarkko Kari	Reversibility and Surjectivity Problems of Cellular Automata.	J. Comput. Syst. Sci.	1994	DBLP DOI BibTeX RDF
18	Luca Ferrarini	On the Reachability and Reversibility Problems in a Class of Petri Nets.	IEEE Trans. Syst. Man Cybern. Syst.	1994	DBLP DOI BibTeX RDF
18	Georgios B. Giannakis, Michail K. Tsatsanis	Time-domain tests for Gaussianity and time-reversibility.	IEEE Trans. Signal Process.	1994	DBLP DOI BibTeX RDF
18	Xiao-Gao Liu, John A. Buzacott	The reversibility of cyclic queues.	Oper. Res. Lett.	1992	DBLP DOI BibTeX RDF
18	Lila Kari	Insertion and Deletion of Words: Determinism and Reversibility.	MFCS	1992	DBLP DOI BibTeX RDF
18	Daniel Hunter	Non-monotonic Reasoning and the Reversibility of Belief Change.	UAI	1991	DBLP BibTeX RDF
18	Claude Crépeau, Miklos Santha	On the Reversibility of Oblivious Transfer.	EUROCRYPT	1991	DBLP DOI BibTeX RDF
18	Donald R. Smith	Reversibility and stochastic networks, by Frank P. Kelly, Wiley, New York, 1979, 230 pp. Price: $50.95.	Networks	1983	DBLP DOI BibTeX RDF
18	Masaaki Okochi, Toshiyuki Sakai	Trapezoidal DP matching with time reversibility.	ICASSP	1982	DBLP DOI BibTeX RDF
18	Rolf Schassberger	Reversibility and stochastic networks: Review of: Kelly F.P., (Wiley, 1980).	Perform. Evaluation	1981	DBLP DOI BibTeX RDF
18	Ted Brandhorst	ANSI 239 Romanization Standards and "Reversibility": A Dialog to Arrive at a Policy.	J. Am. Soc. Inf. Sci.	1979	DBLP DOI BibTeX RDF
18	Endre Katona	Local and global reversibility of finite inhomogeneous cellular automaton.	Acta Cybern.	1977	DBLP BibTeX RDF
18	Salvatore Di Gregorio, Giuseppe Trautteur	On Reversibility in Cellular Automata.	J. Comput. Syst. Sci.	1975	DBLP DOI BibTeX RDF
18	Harry T. Hsu	On the reversibility of Iwadare-type-B1 recurrent codes (Corresp.).	IEEE Trans. Inf. Theory	1971	DBLP DOI BibTeX RDF
18	Zamir Bavel, David E. Muller	Connectivity and Reversibility in Automata.	J. ACM	1970	DBLP DOI BibTeX RDF
18	Jehuda Kella, Alexander Shani	On the Reversibility of Computations in a Digital Differential Analyzer.	IEEE Trans. Computers	1968	DBLP DOI BibTeX RDF
18	Zamir Bavel, David E. Muller	Reversibility in monadic algebras and automata	SWCT	1965	DBLP DOI BibTeX RDF
18	Richard Bourret	A Note on Reversibility and Linear Filters	Inf. Control.	1958	DBLP DOI BibTeX RDF
13	Cheng-Hsing Yang, Cheng-Ta Huang, Shiuh-Jeng Wang	Reversible Steganography Based on Side Match and Hit Pattern for VQ-Compressed Images.	IAS	2009	DBLP DOI BibTeX RDF
13	Frédéric Magniez, Ashwin Nayak 0001, Peter C. Richter, Miklos Santha	On the hitting times of quantum versus random walks.	SODA	2009	DBLP DOI BibTeX RDF
13	Monika Heiner, Martin Schwarick, Alexej Tovchigrechko	DSSZ-MC - A Tool for Symbolic Analysis of Extended Petri Nets.	Petri Nets	2009	DBLP DOI BibTeX RDF
13	Ulrik Pagh Schultz, Mirko Bordignon, Kasper Støy	Robust and reversible self-reconfiguration.	IROS	2009	DBLP DOI BibTeX RDF
13	Gaurav Gupta 0002, Josef Pieprzyk	Database Relation Watermarking Resilient against Secondary Watermarking Attacks.	ICISS	2009	DBLP DOI BibTeX RDF
13	Chin-Feng Lee, Kuo-Hua Wang, Chin-Chen Chang 0001, Yu-Lin Huang	A reversible data hiding scheme based on dual steganographic images.	ICUIMC	2009	DBLP DOI BibTeX RDF	irreversible data hiding, steganographic image, steganography, reversible data hiding
13	Chia-Chen Lin 0001, Pei-Feng Shiu	DCT-based reversible data hiding scheme.	ICUIMC	2009	DBLP DOI BibTeX RDF
13	Luis Pérez-Freire, Fernando Pérez-González	Security of Lattice-Based Data Hiding Against the Watermarked-Only Attack.	IEEE Trans. Inf. Forensics Secur.	2008	DBLP DOI BibTeX RDF
13	Laurent Condat, Dimitri Van De Ville	Fully reversible image rotation by 1-D filtering.	ICIP	2008	DBLP DOI BibTeX RDF
13	Nathanaël Jarrassé, J. Robertson, Philippe Garrec, Jamie Paik, Viviane Pasqui, Yann Perrot, Agnès Roby-Brami, D. Wang, Guillaume Morel	Design and acceptability assessment of a new reversible orthosis.	IROS	2008	DBLP DOI BibTeX RDF
13	Ryo Yoshinaka	Identification in the Limit of k, l-Substitutable Context-Free Languages.	ICGI	2008	DBLP DOI BibTeX RDF
13	Mohammad Javad Saberian, Mohammad Ali Akhaee, Farokh Marvasti	An invertible quantization based watermarking approach.	ICASSP	2008	DBLP DOI BibTeX RDF
13	Chuanliang Xia	Property Preservation by Petri-Net-Based Refinements in System Design.	ICYCS	2008	DBLP DOI BibTeX RDF
13	Yong Ju Cho, Naren Ramakrishnan, Yang Cao 0001	Reconstructing chemical reaction networks: data mining meets system identification.	KDD	2008	DBLP DOI BibTeX RDF	network reconstruction, graphical models, systems biology, ordinary differential equations, markov networks
13	André Vital Saúde	New Higher-Resolution Discrete Euclidean Medial Axis in nD with Linear Time Parallel Algorithm.	SIBGRAPI	2008	DBLP DOI BibTeX RDF
13	Guohai Liu, Pingyuan Liu, Yue Shen, Fuliang Wang, Mei Kang	Experimental Research on Decoupling Control of Multi-motor Variable Frequency System Based on Neural Network Generalized Inverse.	ICNSC	2008	DBLP DOI BibTeX RDF
13	Hans-Joachim Böckenhauer, Abu Zafer M. Dayem Ullah, Leonidas Kapsokalivas, Kathleen Steinhöfel	A Local Move Set for Protein Folding in Triangular Lattice Models.	WABI	2008	DBLP DOI BibTeX RDF
13	Xianfeng Zhao, Ning Li	Reversible Watermarking with Subliminal Channel.	Information Hiding	2008	DBLP DOI BibTeX RDF
13	Nicos Koussis, Spiros H. Martzoukos, Lenos Trigeorgis	Real R&D options with time-to-learn and learning-by-doing.	Ann. Oper. Res.	2007	DBLP DOI BibTeX RDF	Optimal timing of R? Path-dependency, Real options
13	Yiu-ming Cheung, Hao-Tian Wu	A Sequential Quantization Strategy for Data Embedding and Integrity Verification.	IEEE Trans. Circuits Syst. Video Technol.	2007	DBLP DOI BibTeX RDF
13	Chin-Chen Chang 0001, Yi-Pei Hsieh, Chih-Yang Lin	Lossless Data Embedding With High Embedding Capacity Based on Declustering for VQ-Compressed Codes.	IEEE Trans. Inf. Forensics Secur.	2007	DBLP DOI BibTeX RDF
13	Laurent Condat, Brigitte Forster-Heinlein, Dimitri Van De Ville	H2O: Reversible Hexagonal-Orthogonal Grid Conversion by 1-D Filtering.	ICIP (2)	2007	DBLP DOI BibTeX RDF
13	Tetsuo Yokoyama, Robert Glück	A reversible programming language and its invertible self-interpreter.	PEPM	2007	DBLP DOI BibTeX RDF	Janus, non-standard interpreter hierarchy, reversible programming language, self-interpreter, reversible computing, program inversion
13	Andreas Dräger, Jochen Supper, Hannes Planatscher, Jørgen B. Magnus, Marco Oldiges, Andreas Zell	Comparing various evolutionary algorithms on the parameter optimization of the valine and leucine biosynthesis in corynebacterium glutamicum.	IEEE Congress on Evolutionary Computation	2007	DBLP DOI BibTeX RDF
13	Andreas Dräger, Marcel Kronfeld, Jochen Supper, Hannes Planatscher, Jørgen B. Magnus, Marco Oldiges, Andreas Zell	Benchmarking evolutionary algorithms on convenience kinetics modelsof the valine and leucine biosynthesis in C. glutamicum.	IEEE Congress on Evolutionary Computation	2007	DBLP DOI BibTeX RDF
13	Shuly Wintner	Finite-State Technology as a Programming Environment.	CICLing	2007	DBLP DOI BibTeX RDF
13	Hidenosuke Nishio	Changing the Neighborhood of Cellular Automata.	MCU	2007	DBLP DOI BibTeX RDF	reversi- bility, simulator, cellular automaton, neighborhood, decision problem
13	Kenichi Morita, Yoshikazu Yamaguchi	A Universal Reversible Turing Machine.	MCU	2007	DBLP DOI BibTeX RDF	universal Turing machine, cyclic tag system, reversible computing
13	Guohai Liu, Fuliang Wang, Yue Shen, Huawei Zhou, Hongping Jia, Mei Kang	Realization of Neural Network Inverse System with PLC in Variable Frequency Speed-Regulating System.	ISNN (1)	2007	DBLP DOI BibTeX RDF
13	Xiaoping Liang, Weizhao Liang, Wen Zhang	Reversible Semi-Fragile Authentication Watermark.	ICME	2007	DBLP DOI BibTeX RDF
13	Yi-Sheng Huang, Shung-Shing Lee, Yung-Kuer Liu	A Supervisor of Traffic Light Systems Using Statecharts.	ICNSC	2007	DBLP DOI BibTeX RDF
13	Andreas Glausch, Wolfgang Reisig	A Semantic Characterization of Unbounded-Nondeterministic Abstract State Machines.	CALCO	2007	DBLP DOI BibTeX RDF
13	Luis Pérez-Freire, Fernando Pérez-González	Exploiting Security Holes in Lattice Data Hiding.	Information Hiding	2007	DBLP DOI BibTeX RDF
13	Vladimir V. Kornyak	Symmetries and Dynamics of Discrete Systems.	CASC	2007	DBLP DOI BibTeX RDF
13	José M. Sempere, Damián López	Characterizing Membrane Structures Through Multiset Tree Automata.	Workshop on Membrane Computing	2007	DBLP DOI BibTeX RDF
13	Chin-Chen Chang 0001, Wei-Liang Tai, Chia-Chen Lin 0001	A Reversible Data Hiding Scheme Based on Side Match Vector Quantization.	IEEE Trans. Circuits Syst. Video Technol.	2006	DBLP DOI BibTeX RDF
13	Yi-Sheng Huang, MuDer Jeng, Xiaolan Xie, Da-Hsiang Chung	Siphon-Based Deadlock Prevention Policy for Flexible Manufacturing Systems.	IEEE Trans. Syst. Man Cybern. Part A	2006	DBLP DOI BibTeX RDF
13	Vivien Chappelier, Christine Guillemot	Oriented Wavelet Transform for Image Compression and Denoising.	IEEE Trans. Image Process.	2006	DBLP DOI BibTeX RDF
13	Shai Rubin, Somesh Jha, Barton P. Miller	On the Completeness of Attack Mutation Algorithms.	CSFW	2006	DBLP DOI BibTeX RDF
13	David Sun, Chengzheng Sun	Operation context and context-based operational transformation.	CSCW	2006	DBLP DOI BibTeX RDF	OT, context-based OT, operation context, distributed applications, consistency maintenance, undo, group editors
13	José M. Sempere	Learning Reversible Languages with Terminal Distinguishability.	ICGI	2006	DBLP DOI BibTeX RDF
13	Jifeng He 0001, Jeff W. Sanders	Unifying Probability.	UTP	2006	DBLP DOI BibTeX RDF
13	Bill Stoddart, Frank Zeyda, Robert Lynas	A Design-Based Model of Reversible Computation.	UTP	2006	DBLP DOI BibTeX RDF
13	Nevenka Dimitrova, Susannah Gal	MethyLogic: Implementation of Boolean Logic Using DNA Methylation.	DNA	2006	DBLP DOI BibTeX RDF
13	Xiaojun Ma, Jing Huang 0001, Cecilia Metra, Fabrizio Lombardi	Testing Reversible 1D Arrays for Molecular QCA.	DFT	2006	DBLP DOI BibTeX RDF	emerging technologies, Reversible computing, QCA
13	Jun-Cheol Jeon, Kee-Young Yoo	Authentication Based on Singular Cellular Automata.	ACRI	2006	DBLP DOI BibTeX RDF	Singular Operation, Authentication, Cellular Automata, Hash function, One-Time Password
13	Max H. Queiroz, José E. R. Cury, Walter Murray Wonham	Multitasking Supervisory Control of Discrete-Event Systems.	Discret. Event Dyn. Syst.	2005	DBLP DOI BibTeX RDF	control system synthesis, automata, tasks, discrete-event systems, supervisory control
13	Suhwan Kim, Conrad H. Ziesler, Marios C. Papaefthymiou	Charge-Recovery Computing on Silicon.	IEEE Trans. Computers	2005	DBLP DOI BibTeX RDF	Energy-recovering circuits, resonant systems, energy efficient computing, voltage scaling, reversible logic, adiabatic computing
13	Jun-Cheol Jeon, Kee-Won Kim, Kee-Young Yoo	Non-group Cellular Automata Based One Time Password Authentication Scheme in Wireless Networks.	MADNES	2005	DBLP DOI BibTeX RDF
13	Alexander Clark, Rémi Eyraud	Identification in the Limit of Substitutable Context-Free Languages.	ALT	2005	DBLP DOI BibTeX RDF
13	Ilia Polian, Thomas Fiehn, Bernd Becker 0001, John P. Hayes	A Family of Logical Fault Models for Reversible Circuits.	Asian Test Symposium	2005	DBLP DOI BibTeX RDF	ATPG, fault models, quantum circuits, reversible circuits
13	Villy Bæk Iversen	Modelling Restricted Accessibility for Wireless Multi-service Systems.	EuroNGI Workshop	2005	DBLP DOI BibTeX RDF	Restricted accessibility, multi-slot traffic, wireless, CDMA, blocking, processor sharing
13	Robin Strand	A Classification of Centres of Maximal Balls in.	SCIA	2005	DBLP DOI BibTeX RDF
13	Mihai Oltean	Evolving Reversible Circuits for the Even-Parity Problem.	EvoWorkshops	2005	DBLP DOI BibTeX RDF
13	Shuichi Inokuchi, Kazumasa Honda, Hyen Yeal Lee, Tatsuro Sato, Yoshihiro Mizoguchi, Yasuo Kawahara	On Reversible Cellular Automata with Finite Cell Array.	UC	2005	DBLP DOI BibTeX RDF
13	Jean-Luc Hainaut	The Transformational Approach to Database Engineering.	GTTSE	2005	DBLP DOI BibTeX RDF
13	Edward Fredkin	A computing architecture for physics.	Conf. Computing Frontiers	2005	DBLP DOI BibTeX RDF	discrete-physics, fundamental-processes, models, cellular-automata
13	Visvesh S. Sathe 0001, Juang-Ying Chueh, Joohee Kim, Conrad H. Ziesler, Suhwan Kim, Marios C. Papaefthymiou	Fast, efficient, recovering, and irreversible.	Conf. Computing Frontiers	2005	DBLP DOI BibTeX RDF	charge-recovery circuits, resonant systems, reversible logic, adiabatic computing
13	Chin-Chen Chang 0001, Wei-Liang Tai, Min-Hui Lin 0001	A Reversible Data Hiding Scheme with Modified Side Match Vector Quantization.	AINA	2005	DBLP DOI BibTeX RDF
13	Hao-Tian Wu, Yiu-ming Cheung	A Reversible Data Hiding Approach to Mesh Authentication.	Web Intelligence	2005	DBLP DOI BibTeX RDF
13	Avik Chakraborty	Synthesis of Reversible Circuits for Testing with Universal Test Set and C-Testability of Reversible Iterative Logic Arrays.	VLSI Design	2005	DBLP DOI BibTeX RDF	Fault models, Testability, Design for test, Iterative logic arrays, Universal test sets, Reversible circuits
13	Xiaoping Liang, Xiaoyun Wu, Jiwu Huang	Reversible Data Hiding for Image Based on Histogram Modification of Wavelet Coefficients.	CIS (2)	2005	DBLP DOI BibTeX RDF
13	Damián López, José M. Sempere, Pedro García 0001	Inference of reversible tree languages.	IEEE Trans. Syst. Man Cybern. Part B	2004	DBLP DOI BibTeX RDF
13	Elzbieta Roszkowska	Supervisory control for deadlock avoidance in compound processes.	IEEE Trans. Syst. Man Cybern. Part A	2004	DBLP DOI BibTeX RDF
13	MuDer Jeng, Xiaolan Xie, Sheng-Luen Chung	ERCN* merged nets for modeling degraded behavior and parallel processes in semiconductor manufacturing systems.	IEEE Trans. Syst. Man Cybern. Part A	2004	DBLP DOI BibTeX RDF
13	Ketan N. Patel, John P. Hayes, Igor L. Markov	Fault testing for reversible circuits.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2004	DBLP DOI BibTeX RDF
13	Chin-Chen Chang 0001, Yeu-Pong Lai	A convertible group signature scheme.	ACM SIGOPS Oper. Syst. Rev.	2004	DBLP DOI BibTeX RDF	group signature, discrete logarithm problem, convertible, one way hash function
13	Hytm Mun Kim, Woo-Shik Kim, Dae-Sung Cho	A new color transform for RGB coding.	ICIP	2004	DBLP DOI BibTeX RDF
13	Yi-Sheng Huang, Xiaolan Xie, Chien-Nin Hsu	Modeling and Analysis of Manufacturing Systems using a New class of Petri Nets.	ICRA	2004	DBLP DOI BibTeX RDF
13	Isabel F. Cruz, Huiyong Xiao, Feihong Hsu	An Ontology-Based Framework for XML Semantic Integration.	IDEAS	2004	DBLP DOI BibTeX RDF
13	Fernando Esponda, Elena S. Ackley, Stephanie Forrest, Paul Helman	Online Negative Databases.	ICARIS	2004	DBLP DOI BibTeX RDF
13	John P. Hayes, Ilia Polian, Bernd Becker 0001	Testing for Missing-Gate Faults in Reversible Circuits.	Asian Test Symposium	2004	DBLP DOI BibTeX RDF	missing gate faults, fault models, design for test, quantum circuits, Reversible circuits
13	Kenichi Morita, Tsuyoshi Ogiro, Keiji Tanaka, Hiroko Kato	Classification and Universality of Reversible Logic Elements with One-Bit Memory.	MCU	2004	DBLP DOI BibTeX RDF
13	Alberto Leporati, Claudio Zandron, Giancarlo Mauri	Universal Families of Reversible P Systems.	MCU	2004	DBLP DOI BibTeX RDF
13	Michael Voigt, Bian Yang, Christoph Busch 0001	Reversible watermarking of 2D-vector data.	MM&Sec	2004	DBLP DOI BibTeX RDF	DCT, vector data, reversible watermarking
13	Anas N. Al-Rabadi	Reversible Fast Permutation Transforms for Quantum Circuit Synthesi.	ISMVL	2004	DBLP DOI BibTeX RDF
13	D. Michael Miller, Gerhard W. Dueck, Dmitri Maslov	A Synthesis Method for MVL Reversible Logi.	ISMVL	2004	DBLP DOI BibTeX RDF
13	Anas Al-Rabadi	Quantum Circuit Synthesis Using Classes of GF(3) Reversible Fast Spectral Transforms.	ISMVL	2004	DBLP DOI BibTeX RDF
13	Laurent Arditi, Gérard Berry, Michael Kishinevsky	Late Design Changes (ECOs) for Sequentially Optimized Esterel Designs.	FMCAD	2004	DBLP DOI BibTeX RDF
13	Sung-Yeol Kim, Seung-Uk Yoon, Yo-Sung Ho	Spectral Coding of Three-Dimensional Mesh Geometry Information Using Dual Graph.	PCM (1)	2004	DBLP DOI BibTeX RDF	Spectral coding, fixed spectral basis, dual graph
13	Christophe De Vleeschouwer, Jean-François Delaigle, Benoît Macq	Circular interpretation of bijective transformations in lossless watermarking for media asset management.	IEEE Trans. Multim.	2003	DBLP DOI BibTeX RDF