Search results for "reversibility"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
13	Jorge Júlvez, Laura Recalde, Manuel Silva Suárez	On Reachability in Autonomous Continuous Petri Net Systems.	ICATPN	2003	DBLP DOI BibTeX RDF
13	Giancarlo Mauri, Alberto Leporati	On the Computational Complexity of Conservative Computing.	MFCS	2003	DBLP DOI BibTeX RDF
13	Wai Kin Chan, Lee Schruben	Special topics on simulation analysis: properties of discrete event systems from their mathematical programming representations.	WSC	2003	DBLP DOI BibTeX RDF
13	Julien Cervelle, Enrico Formenti	On Sand Automata.	STACS	2003	DBLP DOI BibTeX RDF
13	Stina Svensson, Pieter P. Jonker	On the Use of Shape Primitives for Reversible Surface Skeletonization.	DGCI	2003	DBLP DOI BibTeX RDF	Topological erosion, mathematical morphology, distance transform
13	Ketan N. Patel, John P. Hayes, Igor L. Markov	Fault Testing for Reversible Circuits.	VTS	2003	DBLP DOI BibTeX RDF
13	Jia Lee, Ferdinand Peper, Susumu Adachi, Kenichi Morita, Shinro Mashiko	Reversible Computation in Asynchronous Cellular Automata.	UMC	2002	DBLP DOI BibTeX RDF
13	M. Pomper	Predicting the success of a radiopharmaceutical for in vivo imaging.	ISBI	2002	DBLP DOI BibTeX RDF
13	Xianfeng Zhao, Weinong Wang, Kefei Chen	Exploiting the Intrinsic Irreversibility of Adaptive Technologies to Enhance the Security of Digital Watermarking.	WAIM	2002	DBLP DOI BibTeX RDF
13	Alexandra Bonnassie, Françoise Peyrin, Dominique Attali	Shape description of three-dimensional images based on medial axis.	ICIP (3)	2001	DBLP DOI BibTeX RDF
13	Kenichi Morita	A Simple Universal Logic Element and Cellular Automata for Reversible Computing.	MCU	2001	DBLP DOI BibTeX RDF
13	Tsai-Ching Lu, Marek J. Druzdzel	Supporting Changes in Structure in Causal Model Construction.	ECSQARU	2001	DBLP DOI BibTeX RDF
13	Karsten Schmidt 0004	LoLA: A Low Level Analyser.	ICATPN	2000	DBLP DOI BibTeX RDF
13	Karsten Schmidt 0004	Stubborn Sets for Standard Properties.	ICATPN	1999	DBLP DOI BibTeX RDF	(Theory) Analysis of nets, Computer tools for nets
13	Richard F. Paige, Jonathan S. Ostroff	Developing BON as an Industrial-Strength Formal Method.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
13	Jean Françon, Laurent Papier	Polyhedrization of the Boundary of a Voxel Object.	DGCI	1999	DBLP DOI BibTeX RDF
13	Bertrand Meyer 0001	Seamless Development with the Eiffel Method.	TOOLS (29)	1999	DBLP DOI BibTeX RDF
13	Jérôme Olivier Durand-Lose	Intrinsic Universality of a 1-Dimensional Reversible Cellular Automaton.	STACS	1997	DBLP DOI BibTeX RDF
13	Henning Christiansen 0001	Implicit Program Synthesis by a Reversible Metainterpreter.	LOPSTR	1997	DBLP DOI BibTeX RDF
13	Dinah W. Cheng, Rhonda Righter	On the order of tandem queues.	Queueing Syst. Theory Appl.	1995	DBLP DOI BibTeX RDF	optimal order of servers, reversed hazard rate, coupling arguments, Tandem queues, stochastic ordering, flowshops
13	Thomas E. Hall, Georgios B. Giannakis	Bispectral analysis and model validation of texture images.	IEEE Trans. Image Process.	1995	DBLP DOI BibTeX RDF
13	Kimon P. Valavanis, Srinivasan Ramaswamy, Steve P. Landry	Extended Petri net-based modeling, analysis and simulation of an intelligent materials handling system.	J. Intell. Robotic Syst.	1994	DBLP DOI BibTeX RDF	Intelligent materials handling system, diagnostic intelligence, extended Petri nets, hierarchical decomposition
13	Fei-Yue Wang 0001, Michael Mittmann, George N. Saridis	Coordination specification for CIRSSE robotic platform system using Petri net transducers.	J. Intell. Robotic Syst.	1994	DBLP DOI BibTeX RDF	Petri net transducer, coordination structure, intelligent machines, communication, command language
13	Laurent Younes	Synchronous Image restoration.	ECCV (2)	1994	DBLP DOI BibTeX RDF
13	Klaus Mayr	Refinements and Extensions of Model Elimination.	LPAR	1993	DBLP DOI BibTeX RDF
13	Tiehua Cao, Arthur C. Sanderson	Variable Reasoning and Analysis about Uncertainty with Fuzzy Petri Nets.	Application and Theory of Petri Nets	1993	DBLP DOI BibTeX RDF
13	Yves Dallery, Stanley B. Gershwin	Manufacturing flow line systems: a review of models and analytical results.	Queueing Syst. Theory Appl.	1992	DBLP DOI BibTeX RDF	Manufacturing flow line systems, modelling, performance, evaluation, failures, blocking, analytical methods, approximate analysis, exact analysis
13	Jörg Desel, Javier Esparza	Reachability in Reversible Free Choice Systems.	STACS	1991	DBLP DOI BibTeX RDF
13	Yixian Yang	Dyadic Matrices and Their Potential Significance in Cryptography.	AUSCRYPT	1990	DBLP DOI BibTeX RDF
13	Hiroyuki Kitagawa, Tosiyasu L. Kunii	Form transformer - A formalism for Office form manipulation.	Operating Systems Engineering	1980	DBLP DOI BibTeX RDF