Search results for "markings"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
12	Kuo-Yu Liu, Jin-Yi Wang, Herng-Yow Chen	A Marking-Based Synchronized Multimedia Tutoring System for Composition Studies.	ICALT	2005	DBLP DOI BibTeX RDF
12	GangShin Lee, Heeran Lim, Manpyo Hong, Dong Hoon Lee 0001	A Dynamic Path Identification Mechanism to Defend Against DDoS Attacks.	ICOIN	2005	DBLP DOI BibTeX RDF
12	Rui Pais, S. P. Barros, Luís Gomes 0001	A tool for tailored code generation from Petri net models.	ETFA	2005	DBLP DOI BibTeX RDF
12	Xi Zhang 0005, Kang G. Shin	Markov-chain modeling for multicast signaling delay analysis.	IEEE/ACM Trans. Netw.	2004	DBLP DOI BibTeX RDF	multicast feedback synchronization/consolidation, multicast flow-control signaling, soft-synchronization protocol (SSP), Markov chain
12	Lawrence E. Holloway, A. S. Khare, Yu Gong	Computing bounds for forbidden State reachability functions for controlled Petri nets.	IEEE Trans. Syst. Man Cybern. Part A	2004	DBLP DOI BibTeX RDF
12	Yu Ru, Weimin Wu, Hongye Su, Jian Chu	State Feedback Control of DES on the Finite Forbidden State Problem.	ICRA	2004	DBLP DOI BibTeX RDF
12	Gianfranco Ciardo	Reachability Set Generation for Petri Nets: Can Brute Force Be Smart?	ICATPN	2004	DBLP DOI BibTeX RDF
12	Hosoon Ku, David Wells, Jean-Luc Scherer	Public Ethernet connection management systems for IP access networks.	NOMS (1)	2004	DBLP DOI BibTeX RDF
12	Fei Xue, Da-Zhong Zheng	Diagnosability for discrete event systems based on Petri net language.	ICARCV	2004	DBLP DOI BibTeX RDF
12	Charles Lakos, Laure Petrucci	Modular Analysis of Systems Composed of Semiautonomous Subsystems.	ACSD	2004	DBLP DOI BibTeX RDF
12	Leila Toursi, Nathalie Sauer	Branch and bound approach for marking optimization problem of weighted marked graphs.	SMC (2)	2004	DBLP DOI BibTeX RDF
12	Elvia Ruiz-Beltrán, Antonio Ramírez-Treviño, Ernesto López-Mellado	Building diagnosable Petri net models for distributed fault location of DES.	SMC (5)	2004	DBLP DOI BibTeX RDF
12	Luiz Cláudio G. Andrade, Mario Fernando Montenegro Campos, Rodrigo L. Carceroni	A Video-Based Support System for Nighttime Navigation in Semi-Structured Environments.	SIBGRAPI	2004	DBLP DOI BibTeX RDF
12	Jun Kong, Dongguang Li, Chunnong Zhao	An Automatic Analysis System for Firearm Identification Based on Ballistics Projectile.	Rough Sets and Current Trends in Computing	2004	DBLP DOI BibTeX RDF
12	Vamsi Paruchuri, Arjan Durresi, Rajgopal Kannan, S. Sitharama Iyengar	Authenticated Autonomous System Traceback.	AINA (1)	2004	DBLP DOI BibTeX RDF	network security, DDoS, traceback
12	K. H. Choi, H. K. Dai 0001	A Marking Scheme Using Huffman Codes for IP Traceback.	ISPAN	2004	DBLP DOI BibTeX RDF
12	Parosh Aziz Abdulla, Johann Deneux, Pritha Mahata, Aletta Nylén	Forward Reachability Analysis of Timed Petri Nets.	FORMATS/FTRTFT	2004	DBLP DOI BibTeX RDF
12	Nathalie Sauer	Marking Optimization of Weighted Marked Graphs.	Discret. Event Dyn. Syst.	2003	DBLP DOI BibTeX RDF	weighted marked graphs, marking optimization problem, timed Petri nets, flexible manufacturing systems
12	Jing Wang 0008, Kristin J. Dana	A Novel Approach For Texture Shape Recovery.	ICCV	2003	DBLP DOI BibTeX RDF
12	Philippe Darondeau	Unbounded Petri Net Synthesis.	Lectures on Concurrency and Petri Nets	2003	DBLP DOI BibTeX RDF
12	Iovka Boneva, Jean-Marc Talbot	When Ambients Cannot Be Opened.	FoSSaCS	2003	DBLP DOI BibTeX RDF
12	Zhongfei (Mark) Zhang, Jian Yao 0003, Saeed Bajwa, Thomas Gudas	"Automatic" Multimodal Medical Image Fusion.	CBMS	2003	DBLP DOI BibTeX RDF
12	Pangyu Jeong, Sergiu Nedevschi	Intelligent road detection based on local averaging classifier in real-time environments.	ICIAP	2003	DBLP DOI BibTeX RDF
12	Paolo Baldan, Barbara König 0001, Bernhard König	A Logic for Analyzing Abstractions of Graph Transformation Systems.	SAS	2003	DBLP DOI BibTeX RDF
12	Eric Saund, David J. Fleet, Daniel Larner, James Mahoney	Perceptually-supported image editing of text and graphics.	UIST	2003	DBLP DOI BibTeX RDF	WYPIWYG, bitmap image, foreground/background, lattice grouping, perceptual document editing, rough document, scanscribe
12	Ana Paula Leitão, Sorin Tilie, Sio-Song Ieng, Vincent Vigneron	Detecting and Classifying Road Turn Directions from a Sequence of Images.	CAIP	2003	DBLP DOI BibTeX RDF
12	Guillaume Gardey, Olivier H. Roux, Olivier F. Roux	Using Zone Graph Method for Computing the State Space of a Time Petri Net.	FORMATS	2003	DBLP DOI BibTeX RDF	Verification, Reachability Analysis, Time Petri Nets, State Space, Zone
12	Hidefumi Ohsugi	Toric Ideals and an Infinite Family of Normal (0, 1)-Polytopes without Unimodular Regular Triangulations.	Discret. Comput. Geom.	2002	DBLP DOI BibTeX RDF
12	Babak Nadjar Araabi, Nasser Kehtarnavaz, Mark B. Yeary, Gilbert R. Hillman, Bernd Würsig	Locating an Affine/Projective Invariant Identifier Patch on an Image.	SSIAI	2002	DBLP DOI BibTeX RDF	Invariant ratios, multilateral patch, identifier patch, digital image, affine
12	David Hales	Evolving Specialisation, Altruism, and Group-Level Optimisation Using Tags.	MABS	2002	DBLP DOI BibTeX RDF
12	W. Sardha Wijesoma, K. R. S. Kodagoda, Arjuna P. Balasuriya	A laser and a camera for mobile robot navigation.	ICARCV	2002	DBLP DOI BibTeX RDF
12	K. R. S. Kodagoda, Wijerupage Sardha Wijesoma, Arjuna P. Balasuriya	Road feature extraction using a 2D LMS.	ICARCV	2002	DBLP DOI BibTeX RDF
12	René David, Hassane Alla	On Hybrid Petri Nets.	Discret. Event Dyn. Syst.	2001	DBLP DOI BibTeX RDF	modeling, Petri nets, continuous, hybrid, extended
12	H. S. M. Coxeter, Branko Grünbaum	Face-Transitive Polyhedra with Rectangular Faces and Icosahedral Symmetry.	Discret. Comput. Geom.	2001	DBLP DOI BibTeX RDF
12	Sasadara Kaluwahandi, Yoshiaki Tadokoro	Portable traveling support system using image processing for the visually impaired.	ICIP (1)	2001	DBLP DOI BibTeX RDF
12	Babak Nadjar Araabi, Nasser Kehtarnavaz, Gilbert R. Hillman, Bernd Würsig	Evaluation of Invariant Models for Dolphin Photo-Identification.	CBMS	2001	DBLP DOI BibTeX RDF
12	Victor Khomenko, Maciej Koutny	Towards an Efficient Algorithm for Unfolding Petri Nets.	CONCUR	2001	DBLP DOI BibTeX RDF	Model checking, Petri nets, concurrency, unfolding
12	Isao Sasano, Zhenjiang Hu, Masato Takeichi	Generation of Efficient Programs for Solving Maximum Multi-marking Problems.	SAIG	2001	DBLP DOI BibTeX RDF	Program Generation Rule, Maximum Marking Problem, Algorithm Synthesis, Functional Programming, Optimization Problem
12	Richard Lowe	Animation of Diagrams: An Aid to Learning?	Diagrams	2000	DBLP DOI BibTeX RDF
12	Philippe Schnoebelen, Natalia Sidorova	Bisimulation and the Reduction of Petri Nets.	ICATPN	2000	DBLP DOI BibTeX RDF
12	Jörg Desel, Gabriel Juhás, Robert Lorenz 0001	Process Semantics of Petri Nets over Partial Algebra.	ICATPN	2000	DBLP DOI BibTeX RDF
12	Lars Michael Kristensen, Antti Valmari	Improved Question-Guided Stubborn Set Methods for State Properties.	ICATPN	2000	DBLP DOI BibTeX RDF
12	Victor Khomenko, Maciej Koutny	LP Deadlock Checking Using Partial Order Dependencies.	CONCUR	2000	DBLP DOI BibTeX RDF
12	Klaus Mück, Hans-Hellmut Nagel, Markus Middendorf	Data-Driven Extraction of Curved Intersection Lanemarks from Road Traffic Image Sequences.	ECCV (2)	2000	DBLP DOI BibTeX RDF
12	Mourad Zerroug, Ramakant Nevatia	Part-Based 3D Descriptions of Complex Objects from a Single Image.	IEEE Trans. Pattern Anal. Mach. Intell.	1999	DBLP DOI BibTeX RDF	3D shape descriptions, part-based representations, object segmentation
12	Frédéric Guichard, Jean-Philippe Tarel	Curve Finder Combining Perceptual Grouping and a Kalman like Fitting.	ICCV	1999	DBLP DOI BibTeX RDF
12	Laura Recalde, Enrique Teruel, Manuel Silva Suárez	Autonomous Continuous P/T Systems.	ICATPN	1999	DBLP DOI BibTeX RDF
12	Christoph Schneider, Joachim Wehler	Petri Net Theory - Problems Solved by Commutative Algebra.	ICATPN	1999	DBLP DOI BibTeX RDF	Artin net, commutative net, Gröbner theory, Coloured Petri net, flow, reachability
12	Jean Fanchon	Trace Channel Nets.	ICATPN	1999	DBLP DOI BibTeX RDF	Fifo Nets, Coloured Nets, concurrent automata, recognisability, concurrency, asynchronous communication, Mazurkiewicz traces
12	Angi Voß, Keiichi Nakata, Marcus Juhnke	Concept indexing.	GROUP	1999	DBLP DOI BibTeX RDF	text marking, collaboration, knowledge management, documents, software agents, concepts
12	Eros Comunello, Aldo von Wangenheim, Jorge Muniz Barreto, Paulo Sergio da Silva Borges, Paulo Roberto Wille, P. C. Bittencourt, Dirk Krechel, Kerstin Faber	CT Scans with Neurocysticercosis in Epileptics Patients: A Computer-Based Method for Detection and Quantification.	CBMS	1999	DBLP DOI BibTeX RDF
12	Gabriel Juhás	On Semantics of Petri Nets over Partial Algebra.	SOFSEM	1999	DBLP DOI BibTeX RDF
12	Richard Szeliski, Richard Weiss 0001	Robust Shape Recovery from Occluding Contours Using a Linear Smoother.	Int. J. Comput. Vis.	1998	DBLP DOI BibTeX RDF	multiframe stereo analysis, contour tracking and matching, reconstruction from profiles, Kalman smoothing, Kalman filtering, surface reconstruction, occluding contours
12	Toshiyuki Miyamoto, Sadatoshi Kumagai	Calculating Place Capacity for Petri Nets Using Unfoldings.	ACSD	1998	DBLP DOI BibTeX RDF	place capacity, Petri net, upper bound, unfolding, maximum clique
12	Jordi Cortadella	Combining Structural and Symbolic Methods for the Verification of Concurrent Systems.	ACSD	1998	DBLP DOI BibTeX RDF	model checking, Petri nets, Formal verification, concurrent systems
12	Walter Vogler, Alexei L. Semenov, Alexandre Yakovlev	Unfolding and Finite Prefix for Nets with Read Arcs.	CONCUR	1998	DBLP DOI BibTeX RDF
12	Nikolaos G. Bourbakis, Anya Lynn Tascillo	An SPN-Neural Planning Methodology for Coordination of two Robotic Hands with Constrained Placement.	J. Intell. Robotic Syst.	1997	DBLP DOI BibTeX RDF	neural nets applications, planning strategies, stochastic Petri-nets
12	Michael Oren, Shree K. Nayar	A Theory of Specular Surface Geometry.	Int. J. Comput. Vis.	1997	DBLP DOI BibTeX RDF
12	Makoto Tanabe	Timed Petri Nets and Temporal Linear Logic.	ICATPN	1997	DBLP DOI BibTeX RDF	temporal linear logic, timed Petri nets, quantales
12	Falko Bause	Analysis of Petri Nets with a Dynamic Priority Method.	ICATPN	1997	DBLP DOI BibTeX RDF
12	Walter Vogler	Partial Order Semantics and Read Arcs.	MFCS	1997	DBLP DOI BibTeX RDF
12	Hüseyin Tek, Perry A. Stoll, Benjamin B. Kimia	Shocks from images: propagation of orientation elements.	CVPR	1997	DBLP DOI BibTeX RDF	orientation elements, figure symmetry, object symmetries, colliding wavefronts, edge elements, feature extraction, real images, image contours
12	Xilin Yi, Octavia I. Camps	Robust Occluding Contour Detection Using the Hausdorff Distance.	CVPR	1997	DBLP DOI BibTeX RDF	object modeling, Hausdorff distance, Occluding contour
12	Laurent Fribourg, Hans Olsén	Proving Safety Properties of Infinite State Systems by Compilation into Presburger Arithmetic.	CONCUR	1997	DBLP DOI BibTeX RDF
12	Burkhard Graves	Computing Reachability Properties Hidden in Finite Net Unfoldings.	FSTTCS	1997	DBLP DOI BibTeX RDF
12	Muhammad A. Qureshi, William H. Sanders, Aad P. A. van Moorsel, Reinhard German	Algorithms for the Generation of State-Level Representations of Stochastic Activity Networks with General Reward Structures.	IEEE Trans. Software Eng.	1996	DBLP DOI BibTeX RDF	well-specified, well-defined, Markov processes, Stochastic Petri nets, stochastic activity networks
12	Mourad Zerroug, Ramakant Nevatia	Three-Dimensional Descriptions Based on the Analysis of the Invariant and Quasi-Invariant Properties of Some Curved-Axis Generalized Cylinders.	IEEE Trans. Pattern Anal. Mach. Intell.	1996	DBLP DOI BibTeX RDF	quasi-invariants, segmentation, invariants, grouping, Shape description, generalized cylinders
12	Mourad Zerroug, Ramakant Nevatia	Volumetric descriptions from a single intensity image.	Int. J. Comput. Vis.	1996	DBLP DOI BibTeX RDF
12	Eric Y. T. Juan, Jeffrey J. P. Tsai, Tadao Murata	A new compositional method for condensed state-space verification.	HASE	1996	DBLP DOI BibTeX RDF	compositional method, condensed state-space verification, large-scale systems analysis, condensation rules, tightly coupled modules, reachable marking detection, Petri nets, program verification, reachability analysis, concurrent systems, compositional verification, deadlock detection, dynamic behavior, dynamic properties, state space explosion
12	Jens Bæk Jørgensen, Kjeld Høyer Mortensen	Modelling and Analysis of Distributed Program Execution in BETA Using Coloured Petri Nets.	Application and Theory of Petri Nets	1996	DBLP DOI BibTeX RDF	Topics System design and verification using nets, experience with using nets, application of nets to protocols, case studies, higher-level net models, computer tools for nets
12	Reinhard German, Aad P. A. van Moorsel, Muhammad A. Qureshi, William H. Sanders	Expected Impulsive Rewards in Markov Regenerative Stochastic Petri Nets.	Application and Theory of Petri Nets	1996	DBLP DOI BibTeX RDF	Markov regenerative stochastic Petri nets, method of supplementary variables, rate and impulse reward measures
12	Mourad Zerroug, Ramakant Nevatia	From an Intensity Image to 3-D Segmented Descriptions.	Object Representation in Computer Vision	1996	DBLP DOI BibTeX RDF
12	Michael Oren, Shree K. Nayar	A Theory of Specular Surface Geometry.	ICCV	1995	DBLP DOI BibTeX RDF	specular surface geometry, real scene features, feature classification algorithm, 3D surface profiles, computer vision, feature extraction, motion estimation, camera motion, three-dimensional space
12	Petr Jancar	High Undecidability of Weak Bisimilarity for Petri Nets.	TAPSOFT	1995	DBLP DOI BibTeX RDF
12	Giuliana Franceschinis, Richard R. Muntz	Computing Bounds for the Performance Indices of Quasi-Lumpable Stochastic Well-Formed Nets.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	quasilumpable stochastic well-formed Nets, stochastic well-formed colored Petri nets, aggregated reachability graph, qualitative properties, quasilumpable SWN models, approximated performance indices, SWN models, bounded aggregation method, performance evaluation, Petri nets, Markov processes, stochastic processes, continuous time Markov chain, performance indices, symbolic reachability graph
12	Fernand S. Cohen, Jin-Yinn Wang	Part I: Modeling Image Curves Using Invariant 3-D Object Curve Models-A Path to 3-D Recognition and Shape Estimation from Image Contours.	IEEE Trans. Pattern Anal. Mach. Intell.	1994	DBLP DOI BibTeX RDF	image curves, invariant 3-D object curve models, 3-D recognition, binocular stereo imaging system, minimum mean-square error estimation technique, Bayesian selection rule, prototype curves, sample curve, image recognition, B-splines, Bayes methods, stereo image processing, affine transformation, splines (mathematics), matching algorithm, shape estimation, control points, image contours
12	Enric Pastor, Oriol Roig, Jordi Cortadella, Rosa M. Badia	Petri Net Analysis Using Boolean Manipulation.	Application and Theory of Petri Nets	1994	DBLP DOI BibTeX RDF
12	Maciej Koutny	Partial Order Semantics of Box Expressions.	Application and Theory of Petri Nets	1994	DBLP DOI BibTeX RDF	partial order theory of concurrency, net-based algebraic calculi, Causality, structured operational semantics
12	Gérard Berthelot, Hanifa Boucheneb	Occurrence Graphs for Interval Timed Coloured Nets.	Application and Theory of Petri Nets	1994	DBLP DOI BibTeX RDF	interval timed coloured Petri nets, occurrence graph
12	Mourad Zerroug, Ramakant Nevatia	Segmentation and Recovery of SHGCs from a Real Intensity Image.	ECCV (1)	1994	DBLP DOI BibTeX RDF
12	Giovanni Chiola, Marco Ajmone Marsan, Gianfranco Balbo, Gianni Conte	Generalized Stochastic Petri Nets: A Definition at the Net Level and Its Implications.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	qualitative behavior, firing probabilities, net-level specification, model specification, performance evaluation, formal specification, Petri nets, stochastic processes, structural analysis, structural properties, generalized stochastic Petri net
12	Qian Zhang, Herbert Grünbacher	Petri Nets Modeling in Pipelined Microprocessor Design.	Application and Theory of Petri Nets	1993	DBLP DOI BibTeX RDF
12	Jörg Desel, Javier Esparza	Shortest Paths in Reachability Graphs.	Application and Theory of Petri Nets	1993	DBLP DOI BibTeX RDF
12	Ralph M. Weischedel, Damaris M. Ayuso, Sean Boisen, Heidi Fox, Robert Ingria, Tomoyoshi Matsukawa, Constantine Papageorgiou, Dawn MacLaughlin, Masaichiro Kitagawa, Tsutomu Sakai, June Abe, Hiroto Hosihi, Yoichi Miyamoto, Scott Miller	BBN: description of the PLUM system as used for MUC-5.	MUC	1993	DBLP DOI BibTeX RDF
12	Donald B. Gennery	Visual tracking of known three-dimensional objects.	Int. J. Comput. Vis.	1992	DBLP DOI BibTeX RDF
12	Damaris M. Ayuso, Sean Boisen, Heidi Fox, Herbert Gish, Robert Ingria, Ralph M. Weischedel	BBN: description of the PLUM system as used for MUC-4.	MUC	1992	DBLP DOI BibTeX RDF
12	Michael J. Black	Combining Intensity and Motion for Incremental Segmentation and Tracking Over Long Image Sequences.	ECCV	1992	DBLP DOI BibTeX RDF
12	Gerard Florin, Stéphane Natkin	Generalization of Queueing Network Product Form Solutions to Stochastic Petri Nets.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	queueing network product form solutions, closed synchronized queuing networks, Markov stochastic Petri net, strongly connected reachability graph, constant firing rates, Gordon-Newell theorem, performance evaluation, performance evaluation, Petri nets, queueing theory, stochastic Petri nets, matrix products, steady-state probability
12	Walter Vogler	Deciding History Preserving Bisimilarity.	ICALP	1991	DBLP DOI BibTeX RDF
12	Ralph M. Weischedel, Damaris M. Ayuso, Sean Boisen, Robert Ingria, Jeff Palmucci	BBN: description of the PLUM system as used for MUC-3.	MUC	1991	DBLP DOI BibTeX RDF
12	Cyril Autant, Z. Belmesk, Philippe Schnoebelen	Strong Bisimilarity on Nets Revisited.	PARLE (2)	1991	DBLP DOI BibTeX RDF
12	Ghassan Chehaibar	Use of reentrant nets in modular analysis of colored nets.	Applications and Theory of Petri Nets	1990	DBLP DOI BibTeX RDF	Modular Analysis, Reentrant Net, Observational Home Equivalence, Composition, Colored Petri Nets, Replacement
12	Jitendra Malik, Dror E. Maydan	Recovering Three-Dimensional Shape from a Single Image of Curved Objects.	IEEE Trans. Pattern Anal. Mach. Intell.	1989	DBLP DOI BibTeX RDF	3D shape recover, curved objects, Lambertian surfaces, point light source, shading constraints, Horn's image irradiance equation, pattern recognition, pattern recognition, image segmentation, picture processing, picture processing, edge, line drawing, global constraints, surface orientation, variational techniques, reflectance map, variational formulation, single image
12	José Manuel Colom, Manuel Silva Suárez	Improving the linearly based characterization of P/T nets.	Applications and Theory of Petri Nets	1989	DBLP DOI BibTeX RDF	Linear descriptions of P/T nets, Structural analysis of P/T nets, Linear state equation, Spurious solutions, Implicit place, Structurally implicit place, Cutting implicit place, Deadlocks and Traps, Linear Programming
12	Marco Ajmone Marsan, Giovanni Chiola, Andrea Fumagalli	Improving the efficiency of the analysis of DSPN models.	European Workshop on Applications and Theory in Petri Nets	1988	DBLP DOI BibTeX RDF	Performance evaluation, Markov chains, Stochastic Petri nets
12	Ernst-Rüdiger Olderog	Strong bisimilarity on nets: a new concept for comparing net semantics.	REX Workshop	1988	DBLP DOI BibTeX RDF	Strong bisimilarity, labelled place/transitions nets, causal nets, process terms, COSY, operational and compositional net semantics, CSP, CCS, safeness
12	Jitendra Malik	Interpreting line drawings of curved objects.	Int. J. Comput. Vis.	1987	DBLP DOI BibTeX RDF
12	Marco Ajmone Marsan, Giovanni Chiola	On Petri nets with deterministic and exponentially distributed firing times.	European Workshop on Applications and Theory of Petri Nets	1986	DBLP DOI BibTeX RDF
12	Walter Vogler	Behaviour Preserving Refinement of Petri Nets.	WG	1986	DBLP DOI BibTeX RDF
12	Amitava Bagchi, A. Mahanti	Three Approaches to Heuristic Search in Networks	J. ACM	1985	DBLP DOI BibTeX RDF