Search results for "transitions"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
22	Massimiliano Albanese, Angelo Chianese, Vincenzo Moscato, Lucio Sansone	A Formal Model for Video Shot Segmentation and its Application via Animate Vision.	Multim. Tools Appl.	2004	DBLP DOI BibTeX RDF	shot transitions, animate vision, video indexing, video segmentation
22	T. Lu, Ponnuthurai N. Suganthan	An Accumulation Algorithm for Video Shot Boundary Detection.	Multim. Tools Appl.	2004	DBLP DOI BibTeX RDF	video shot detection, gradual transitions, retrieval
22	Anish Arora, Rajesh Jagannathan, Yi-Min Wang	Model-Based Fault Detection in Powerline Networking.	IPDPS	2002	DBLP DOI BibTeX RDF	hidden state, unobservable transitions, models, formal methods, fault detection, observability, network protocols, finite state automata, X10
22	Wei-Yu Chen, Sandeep K. Gupta 0001, Melvin A. Breuer	Test generation for crosstalk-induced faults: framework and computational result.	Asian Test Symposium	2000	DBLP DOI BibTeX RDF	2-vector test generation, crosstalk-induced faults, noise effects, design effort, debugging effort, pulses, signal speedup, signal slowdown, digital combinational circuits, mixed-signal test generator, XGEN, static values, dynamic signals, signal arrival times, rise times, fall times, integrated circuit testing, automatic test pattern generation, combinational circuits, accuracy, vectors, circuit analysis computing, crosstalk, transitions, integrated logic circuits, technology scaling, SPICE simulations, gate delay, circuit performance, timing information, clock frequency
22	Osman Abul, Faruk Polat, Reda Alhajj	Function approximation based multi-agent reinforcement learning.	ICTAI	2000	DBLP DOI BibTeX RDF	multi-agent based domain independent coordination mechanisms, coordination information, reward distribution, region-wide joint rewards, Adversarial Food-Collecting World, multi-agent environments, multi-agent systems, learning (artificial intelligence), function approximation, function approximation, state transitions, multi-agent reinforcement learning
22	Luong T. Nguyen, Liping Zhao 0001, Bill Appelbe	A Set Approach to Role Modeling.	TOOLS (37)	2000	DBLP DOI BibTeX RDF	set approach, role modeling techniques, role description, role binding, role constraints, set inclusion, role specialisation, role compositions, part role, set notation, dynamic description, class/role relationships, class/role structures, Object-Z-like notation, system obligations, Petri net transitions, objects/role instances, system operations, formal specification, formal method, Petri nets, object-oriented programming, object-oriented methods, set theory, EMS, graphic notations, dynamic aspects, set operations, set intersection, formal notation, set union, set unions, set difference
22	Xiuli Chao, Masakiyo Miyazawa, Richard F. Serfozo, Hiroyuki Takada	Markov network processes with product form stationary distributions.	Queueing Syst. Theory Appl.	1998	DBLP DOI BibTeX RDF	Markov network process, negative customer, migration process, biased local balance, reversible routing, multi-class transitions, queueing network, stationary distribution, product form, quasi-reversibility
22	W. Knox Carey, Daniel B. Chuang, Sheila S. Hemami	Regularity-Preserving Image Interpolation.	ICIP (1)	1997	DBLP DOI BibTeX RDF	regularity-preserving image interpolation, continuous signal, continuous derivatives, instantaneous luminance transitions, oversmoothed edges, wavelet-based interpolation method, wavelet transform coefficients decay, image resynthesis, average PSNR improvement, bicubic techniques, bilinear techniques, algorithm, image processing, natural images
22	Andrea Polesel, Giovanni Ramponi, V. John Mathews	Adaptive Unsharp Masking for Contrast Enhancement.	ICIP (1)	1997	DBLP DOI BibTeX RDF	adaptive unsharp masking, image contrast enhancement, image dynamics, noise amplification reduction, smooth areas, adaptive directional filtering, directional characteristics, high-detail areas, medium-detail areas, sharp transitions, adaptive operator, linear highpass filter, adaptive recursive two-dimensional filter, Gauss-Newton algorithm, filter coefficients, image enhancement, experimental results, adaptive algorithm, zooming, image preprocessing
22	J. M. Lagrange, I. Dauty, Robert Azencott	Tomographic Reconstruction of Axisymmetrical Objects From One View by Model Approximation.	ICIP (1)	1997	DBLP DOI BibTeX RDF	tomographic reconstruction, axisymmetrical objects, model approximation, density transitions, density model, noise effects, real data acquisition, X-ray photographs, shock waves propagation, explosives, feature extraction, perturbations, computerised tomography, artefacts, deconvolution, shock waves
22	Itsuo Takanami, Tadayoshi Horita	Self-reconstruction of mesh-arrays with 1 1/2 -track switches by digital neural circuits.	DFT	1997	DBLP DOI BibTeX RDF	self-reconstruction, digital neural circuits, Hopfield-type neural algorith, 1 1/2 -track switches, compensation paths, subcircuits, stable state, parallel state transitions, VLSI, mesh-connected processor arrays
22	William A. Arbaugh, David J. Farber, Jonathan M. Smith	A Secure and Reliable Bootstrap Architecture.	S&P	1997	DBLP DOI BibTeX RDF	computer bootstrapping, bootstrap architecture, lower-layer integrity, hardware validity, integrity chain, system integrity guarantees, AEGIS architecture, recovery process, integrity check failures, robust systems, security, reliability, active networks, initialization, transitions, Internet commerce
22	Fabiano Borges Paulo, Paulo César Masiero, Maria Cristina Ferreira de Oliveira	Hypercharts: extended statecharts to support hypermedia specification.	ICECCS	1997	DBLP DOI BibTeX RDF	hypercharts, extended statecharts, hypermedia specification, information synchronization requirements, timed history, timed transitions, Petri net based multimedia models, statechart models, hypermedia, synchronization mechanisms, temporal specification
22	Aki Watanabe, Ken Sakamura	A Specification-Based Adaptive Test Case Generation Strategy for Open Operating System Standards.	ICSE	1996	DBLP BibTeX RDF	ITRON2 real time multi task operating system specification, SBATCG method, abstract state transitions, commercially available ITRON2 implementations, fault exposure abilities, open operating system standards, specification based adaptive test case generation strategy, real-time systems, formal specification, specification languages, program testing, open systems, templates, Z, operating systems (computers), multiprogramming, integration testing, mutation analysis, Z notation, software standards, formal specification languages, model based specification, fault detecting ability, internal structure
22	Yinghua Min, Zhuxing Zhao, Zhongcheng Li	Boolean process-an analytical approach to circuit representation (II).	Asian Test Symposium	1995	DBLP DOI BibTeX RDF	waveform analysis, circuit representation, logical behavior, waveform functions, mathematical tools, waveform polynomials, input transitions, VLSI, Boolean functions, timing, design for testability, logic design, logical design, polynomials, integrated circuit design, VLSI circuits, performance enhancement, timing behavior, Boolean process, circuit delay
22	Soumitra Bose, Vishwani D. Agrawal	Sequential logic path delay test generation by symbolic analysis.	Asian Test Symposium	1995	DBLP DOI BibTeX RDF	sequential logic path delay test generation, two-vector test sequences, non-scan sequential circuit, multivalued algebras, three-vector test sequences combinational logic, value propagation rule, ISCAS89 benchmarks, fault diagnosis, logic testing, delays, Boolean functions, Boolean functions, finite state machines, finite state machines, sequential circuits, encoding, automatic testing, Binary Decision Diagrams, multivalued logic, sequential machines, symbolic analysis, combinational logic, state transitions
22	Tony Savor, Rudolph E. Seviora	Improving the efficiency of supervision by software through state aggregation.	IEEE Real Time Technology and Applications Symposium	1995	DBLP DOI BibTeX RDF	private telephone exchanges, supervisory software, software supervision, real time failure detection, real time system monitoring, running time complexity, specification processes, software supervisor, ITU Specification and Description Language, small private branch telephone exchange, SDL processes, telecom switching software, real-time systems, computational complexity, formal specification, fault diagnosis, telecommunication computing, state transitions, telecommunication control, computerised monitoring, inputs queues, state aggregation
22	Tapan J. Chakraborty, Vishwani D. Agrawal	Simulation of at-speed tests for stuck-at faults.	VTS	1995	DBLP DOI BibTeX RDF	stuck-at fault detectability, at-speed test simulation, delayed signal transitions, timing hazards, fault simulation method, delay-hazard robust test coverage, timing considerations, high performance circuits, fault diagnosis, logic testing, delays, timing, integrated circuit testing, circuit analysis computing, hazards and race conditions, path delays, high speed test
22	Kenneth Rose, Eitan Gurewitz, Geoffrey C. Fox	Constrained Clustering as an Optimization Method.	IEEE Trans. Pattern Anal. Mach. Intell.	1993	DBLP DOI BibTeX RDF	cluster mass variables, total mass constraint, second Lagrange multiplier, open path constraint, optimization, pattern recognition, pattern recognition, simulated annealing, information theory, dimensionality reduction, unsupervised learning, traveling salesman problem, neural nets, neural nets, maximum entropy, phase transitions, deterministic annealing, constraint theory, constrained clustering, elastic net
22	Yoheved Dotan, Benjamin Arazi	Using Flat Concurrent Prolog in System Modeling.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	flat concurrent Prolog, AND components, FCP, Petri net methods, reduction process, free competition, conflictingenabled transitions, metaprogramming technique, parallel programming, Petri nets, Petri nets, parallelism, synchronization, logic programming, virtual machines, PROLOG, parallel systems, system modeling, data flow, structural analysis, structured programming, shared variables, guarded commands, indeterminacy
22	Ichiro Suzuki	Formal Analysis of the Alternating Bit Protocol by Temporal Petri Nets.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	temporal Petri nets, omega -regular expressions, Buchi-automata, formal specification, formal specification, Petri nets, formal verification, program verification, programming theory, transitions, formal analysis, automata theory, firings, formulas, alternating bit protocol, temporal operators
22	Marco Ajmone Marsan, Gianfranco Balbo, Andrea Bobbio, Giovanni Chiola, Gianni Conte, Aldo Cumani	The Effect of Execution Policies on the Semantics and Analysis of Stochastic Petri Nets.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	execution policies, atomic transitions, race policy, continuous time homogeneous Markov chain, performance evaluation, Petri nets, semantics, Markov processes, stochastic Petri nets
22	Hany H. Ammar, S. M. Rezaul Islam	Time Scale Decomposition of a Class of Generalized Stochastic Petri Net Models.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	generalized stochastic Petri net models, time-scale decomposition, GSPN model, hierarchical sequence, aggregated subnets, degradable multiprocessor system, TSD algorithm, slow transitions, performance evaluation, complexity, Petri nets, aggregation, multiprocessing systems, stochastic processes, coupling
22	Peter J. Haas, Gerald S. Shedler	Stochastic Petri Net Representation of Discrete Event Simulations.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	transition firings, timed transitions, Petri net simulation, countable state GSMP, generalized semi-Markov process, simulation, formal specification, Petri nets, discrete event simulation, Markov processes, stochastic Petri net
22	Tony T. Lee, Ming-Yee Lai	A Relational Algebraic Approach to Protocol Verification.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	logical correctness, transition table, global-state transitions, protocols, relational databases, relational databases, finite-state machine, program verification, deadlocks, database theory, finite automata, protocol verification, INGRES
22	Yoshiaki Kakuda, Yasushi Wakahara, Masamitsu Norigoe	An Acyclic Expansion Algorithm for Fast Protocol Validation.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	acyclic expansion algorithm, protocol errors, system deadlocks, channel overflows, protocols, finite state machines, program verification, finite automata, system recovery, state transitions, computer communications software, protocol validation, communications software
22	Yann Morvan, Carol O'Sullivan	Handling occluders in transitions from panoramic images: A perceptual study.	ACM Trans. Appl. Percept.	2009	DBLP DOI BibTeX RDF	content mixing, User study, occlusion, transitioning, panorama
22	Kathryn A. Daltorio, Timothy C. Witushynsky, Gregory D. Wile, Luther R. Palmer, Anas A. Malek, Mohd Rasyid Ahmad, Lori Southard, Stanislav N. Gorb, Roy E. Ritzmann, Roger D. Quinn	A body joint improves vertical to horizontal transitions of a wall-climbing robot.	ICRA	2008	DBLP DOI BibTeX RDF
22	Scott W. McQuiggan, Jennifer L. Robison, James C. Lester	Affective Transitions in Narrative-Centered Learning Environments.	Intelligent Tutoring Systems	2008	DBLP DOI BibTeX RDF
22	Emmanuel Pietriga, Caroline Appert	Sigma lenses: focus-context transitions combining space, time and translucence.	CHI	2008	DBLP DOI BibTeX RDF	fisheye lenses, focus targeting, multi-scale interfaces, controlled experiment, translucence, focus + context
22	Zhiwu Li 0001, Moshe Shpitalni	A Deadlock Prevention Policy for FMS Using Elementary Siphons of Petri Nets with Uncontrollable Transitions.	ICNSC	2008	DBLP DOI BibTeX RDF
22	Paul Turner	Automated product grade transitions, exposing the inherent and latent dangers of neural networks in manufacturing process control: an industrial case study.	Neural Comput. Appl.	2007	DBLP DOI BibTeX RDF
22	Francisco Nivando Bezerra, Neucimar Jerônimo Leite	Using string matching to detect video transitions.	Pattern Anal. Appl.	2007	DBLP DOI BibTeX RDF	Video transition detection, Video slice, Longest common subsequence
22	Kevin Pulo	Navani: Navigating Large-Scale Visualisations with Animated Transitions.	IV	2007	DBLP DOI BibTeX RDF
22	Guangcheng Xi, Jianxin Chen	Phase Transitions Caused by Threshold in Random Neural Network and Its Medical Applications.	ISNN (2)	2007	DBLP DOI BibTeX RDF
22	Masatoshi Shiino, Kyoko Doi	Nonequilibrium phase transitions in stochastic systems with and without time delay: controlling various attractors with noise.	FOCI	2007	DBLP DOI BibTeX RDF
22	Markus Damm	State Assignment for Detecting Erroneous Transitions in Finite State Machines.	DSD	2006	DBLP DOI BibTeX RDF
22	Pablo Zegers, Jose G. Johnson	Exponential Transitions: Telltale Sign of Consistency in Learning Systems.	IJCNN	2006	DBLP DOI BibTeX RDF
22	Ahmed Elkammar, Norman Scheinberg, Srinivasa Vemuru	Bus Encoding Scheme To Eliminate Unwanted Signal Transitions.	DELTA	2006	DBLP DOI BibTeX RDF
22	Edward A. Lee	Concurrent Semantics Without the Notions of State or State Transitions.	FORMATS	2006	DBLP DOI BibTeX RDF
22	Jeho Nam, Ahmed H. Tewfik	Detection of gradual transitions in video sequences using B-spline interpolation.	IEEE Trans. Multim.	2005	DBLP DOI BibTeX RDF
22	James Wu, T. C. Nicholas Graham	The Software Design Board: A Tool Supporting Workstyle Transitions in Collaborative Software Design.	EHCI/DS-VIS	2004	DBLP DOI BibTeX RDF
22	Frederic F. Leymarie, Benjamin B. Kimia, Peter J. Giblin	Towards Surface Regularization via Medial Axis Transitions.	ICPR (3)	2004	DBLP DOI BibTeX RDF
22	Arjan Kuijper, Ole Fogh Olsen	Transitions of the Pre-Symmetry Set.	ICPR (3)	2004	DBLP DOI BibTeX RDF
22	Francisco Nivando Bezerra	A Longest Common Subsequence Approach to Detect Cut and Wipe Video Transitions.	SIBGRAPI	2004	DBLP DOI BibTeX RDF	video transition detection, video slice, longest common subsequence
22	Peter J. Giblin, Benjamin B. Kimia	On the Local Form and Transitions of Symmetry Sets, Medial Axes, and Shocks.	Int. J. Comput. Vis.	2003	DBLP DOI BibTeX RDF	symmetry set, medial axis, shock
22	Julien Musset, Michaël Rusinowitch	Computing Meta-transitions for Linear Transition Systems with Polynomials.	FME	2003	DBLP DOI BibTeX RDF	Infinite systems, acceleration rules, model-checking, complex systems
22	Lech Debski, Grzegorz Musial, Jos Rogiers	A Monte Carlo Study of Continuous Non-Ising Phase Transitions in the 3D Ashkin-Teller Model Using the OpenMosix Cluster of Linux PCs.	PPAM	2003	DBLP DOI BibTeX RDF
22	Ozgur Sinanoglu, Ismet Bayraktaroglu, Alex Orailoglu	Test Power Reduction through Minimization of Scan Chain Transitions.	VTS	2002	DBLP DOI BibTeX RDF
22	Reiko Heckel, Hartmut Ehrig, Uwe Wolter, Andrea Corradini 0001	Double-Pullback Transitions and Coalgebraic Loose Semantics for Graph Transformation Systems.	Appl. Categorical Struct.	2001	DBLP DOI BibTeX RDF	concurrent and reactive systems, loose semantics, final coalgebra semantics, graph rewriting, categorical models, graph transformation systems, behavioral constraints
22	James Bruce, Scott Lenser, Manuela M. Veloso	Fast Parametric Transitions for Smooth Quadrupedal Motion.	RoboCup	2001	DBLP DOI BibTeX RDF
22	Kisun Kim, Taekyoon Ahn, Sang-Yeol Han, Chang-Seung Kim, Ki-Hyun Kim	Low-power multiplexer decomposition by suppressing propagation of signal transitions.	ISCAS (5)	2001	DBLP DOI BibTeX RDF
22	Gabriel Istrate	Computational Complexity and Phase Transitions.	CCC	2000	DBLP DOI BibTeX RDF
22	Mineo Kaneko	Analysis and suppression of unnecessary transitions in weakly complementary MOS logic networks for low power.	ISCAS (1)	1999	DBLP DOI BibTeX RDF
22	Dietmar Tutsch, Rainer Holl-Biniasz	Performance Evaluation using Measure Dependent Transitions in Petri Nets.	MASCOTS	1997	DBLP DOI BibTeX RDF
22	Jennifer M. Murphy, Richard B. Bunt	Characterising Program Behaviour with Phases and Transitions.	SIGMETRICS	1988	DBLP DOI BibTeX RDF	UNIX
21	Yizhou Wang 0001, Song Chun Zhu	Perceptual Scale-Space and Its Applications.	Int. J. Comput. Vis.	2008	DBLP DOI BibTeX RDF	Primal sketch, Scale-space, Generative modeling, Graph grammar, Image pyramid
21	Debmalya Biswas, Thomas Gazagnaire, Blaise Genest	Small Logs for Transactional Services: Distinction is Much More Accurate than (Positive) Discrimination.	HASE	2008	DBLP DOI BibTeX RDF
21	Khaled El-Fakih, Anton Kolomeez, Svetlana Prokopenko, Nina Yevtushenko 0001	Extended Finite State Machine Based Test Derivation Driven by User Defined Faults.	ICST	2008	DBLP DOI BibTeX RDF
21	Yuping Shen, Nazim Ashraf, Hassan Foroosh	Action recognition based on homography constraints.	ICPR	2008	DBLP DOI BibTeX RDF
21	Ming-Ching Chang, Benjamin B. Kimia	Regularizing 3D medial axis using medial scaffold transforms.	CVPR	2008	DBLP DOI BibTeX RDF
21	Madhu Mutyam	Selective shielding: a crosstalk-free bus encoding technique.	ICCAD	2007	DBLP DOI BibTeX RDF
21	Zhiyu Liu, Volkan Kursun	Charge Recycling Between Virtual Power and Ground Lines for Low Energy MTCMOS.	ISQED	2007	DBLP DOI BibTeX RDF	Multi-threshold voltage CMOS, gated power, gated ground, sleep switch, subthreshold leakage, charge recycling
21	Stephan Roch, Karsten Schmidt 0004	On the Step Explosion Problem.	ICATPN	2006	DBLP DOI BibTeX RDF	step semantics, inhibitory, signal arcs, priorities, read, partial order reduction, State space exploration, reset
21	Natarajan Meghanathan	Determining a sequence of stable multicast Steiner trees in mobile ad hoc networks.	ACM Southeast Regional Conference	2006	DBLP DOI BibTeX RDF	simulation, mobile ad hoc networks, stability, multicast trees
21	Nicolas Cuperlier, Mathias Quoy, Philippe Gaussier	Navigation and Planning in an Unknown Environment Using Vision and a Cognitive Map.	EUROS	2006	DBLP DOI BibTeX RDF
21	Natarajan Meghanathan	An Algorithm to Determine the Sequence of Stable Connected Dominating Sets in Mobile Ad Hoc Networks.	AICT/ICIW	2006	DBLP DOI BibTeX RDF
21	Jesús Bescós, Guillermo Cisneros, José María Martínez Sanchez, José M. Menéndez, Julián Cabrera	A unified model for techniques on video-shot transition detection.	IEEE Trans. Multim.	2005	DBLP DOI BibTeX RDF
21	Andreas Daffertshofer, C. (Lieke) E. Peper, Peter Jan Beek	Stabilization of bimanual coordination due to active interhemispheric inhibition: a dynamical account.	Biol. Cybern.	2005	DBLP DOI BibTeX RDF
21	Jessica Chen, Robert M. Hierons, Hasan Ural, Hüsnü Yenigün	Eliminating Redundant Tests in a Checking Sequence.	TestCom	2005	DBLP DOI BibTeX RDF
21	Madhukar Anand, Sebastian Fischmeister, Jesung Kim, Insup Lee 0001	Distributed-code generation from hybrid systems models for time-delayed multirate systems.	EMSOFT	2005	DBLP DOI BibTeX RDF	distributed systems, hybrid systems
21	Jiawei Rong, Yufei Ma 0006, Lide Wu	Gradual Transition Detection Using EM Curve Fitting.	MMM	2005	DBLP DOI BibTeX RDF
21	Jörn Freiheit, Jonathan Billington	New Developments in Closed-Form Computation for GSPN Aggregation.	ICFEM	2003	DBLP DOI BibTeX RDF
21	Gabriel Juhás, Robert Lorenz 0001, Tomás Singliar	On Synchronicity and Concurrency in Petri Nets.	ICATPN	2003	DBLP DOI BibTeX RDF
21	Cyril Allauzen, Mehryar Mohri	An Efficient Pre-determinization Algorithm.	CIAA	2003	DBLP DOI BibTeX RDF
21	Wanli Jiang, Eric Peterson, Bob Robotka	Effectiveness Improvement of ECR Tests.	ITC	2003	DBLP DOI BibTeX RDF
21	Itsuki Noda	Hidden Markov Modeling for Multi-agent Systems.	PRICAI	2002	DBLP DOI BibTeX RDF
21	Jianhua Zhao, He Xu, Xuandong Li, Tao Zheng, Guoliang Zheng	Partial Order Path Technique for Checking Parallel Timed Automata.	FTRTFT	2002	DBLP DOI BibTeX RDF
21	Irith Pomeranz, Sudhakar M. Reddy	On Finding a Minimal Functional Description of a Finite-State Machine for Test Generation for Adjacent Machines.	IEEE Trans. Computers	2000	DBLP DOI BibTeX RDF	minimal descriptions, test generation, Finite-state machines
21	Bengi Karaçali, Kuo-Chung Tai, Mladen A. Vouk	Deadlock Detection of EFSMs Using Simultaneous Reachability Analysis.	DSN	2000	DBLP DOI BibTeX RDF	Simultaneous Reachability Analysis, Extended Finite State Machine Model, Race Conditions, Deadlock Detection
21	Nimal Nissanke, Hamdan Dammag	Risk Bands - A Novel Feature of Safecharts.	ISSRE	2000	DBLP DOI BibTeX RDF
21	Ba Tu Truong, Chitra Dorai, Svetha Venkatesh	New enhancements to cut, fade, and dissolve detection processes in video segmentation.	ACM Multimedia	2000	DBLP DOI BibTeX RDF
21	Andrea Corradini 0001, Gian-Luigi Ferrari 0002, Ugo Montanari	Transition Systems with Algebraic Structure as Models of Computations.	Semantics of Systems of Concurrent Processes	1990	DBLP DOI BibTeX RDF
21	Hassan Mountassir	To Correct Communicating Finite State Machines.	ACM Conference on Computer Science	1989	DBLP DOI BibTeX RDF
16	Seung-Woo Son 0003, Hawoong Jeong, Hyunsuk Hong	Phase Transition of Active Rotators in Complex Networks.	Complex (1)	2009	DBLP DOI BibTeX RDF	active rotator model, complex networks, phase transitions
16	Jens Bachmann, Martin Riedl 0001, Johann Schuster, Markus Siegle	An Efficient Symbolic Elimination Algorithm for the Stochastic Process Algebra Tool CASPA.	SOFSEM	2009	DBLP DOI BibTeX RDF	MTBDD, elimination of immediate transitions, stochastic process algebra
16	R. Venky, Ulka Shrotri, Aniket Kulkarni, Prasad Bokil	STATEMATE to SCADE model translation.	ISEC	2008	DBLP DOI BibTeX RDF	SCADE, activity charts, model, translation, statecharts, transitions, state, reaction, STATEMATE
16	Hua-Huai Chern, Michael Fuchs 0001, Hsien-Kuei Hwang	Phase changes in random point quadtrees.	ACM Trans. Algorithms	2007	DBLP DOI BibTeX RDF	Asymptotic transfer, analysis in distribution of algorithms, grid trees, local limit theorems, page usage, total path length, quadtrees, differential equations, phase transitions, depth, central limit theorems, Mellin transforms
16	Hanifa Boucheneb, Hind Rakkay	A more efficient time Petri net state space abstraction preserving linear properties.	ACSD	2007	DBLP DOI BibTeX RDF	state class graph, partial order techniques, independent transitions, relevant execution path, Time Petri nets, state explosion problem
16	Chittarsu Raghunandan, K. S. Sainarayanan, M. B. Srinivas	Bus-encoding technique to reduce delay, power and simultaneous switching noise (SSN) in RLC interconnects.	ACM Great Lakes Symposium on VLSI	2007	DBLP DOI BibTeX RDF	bit transitions, bus-encoding scheme, high impedance state, simultaneous switching noise (SSN), spatial and temporal redundancy, low power, delay, encoder, decoder, crosstalk noise, inductive coupling
16	Sofiane Gueddana, Nicolas Roussel 0001	Pêle-Mêle, a video communication system supporting a variable degree of engagement.	CSCW	2006	DBLP DOI BibTeX RDF	smooth transitions, variable degree of engagement, video-mediated communication
16	Constantinos Daskalakis, Elchanan Mossel, Sébastien Roch	Optimal phylogenetic reconstruction.	STOC	2006	DBLP DOI BibTeX RDF	CFN model, Jukes Cantor, reconstruction problem, phase transitions, phylogenetics, Ising model
16	Carla P. Gomes, Cèsar Fernández, Bart Selman, Christian Bessière	Statistical Regimes Across Constrainedness Regions.	Constraints An Int. J.	2005	DBLP DOI BibTeX RDF	runtime distributions, typical case analysis, phase transitions, heavy-tailed distributions, backtrack search
16	Orla Greevy, Stéphane Ducasse, Tudor Gîrba	Analyzing Feature Traces to Incorporate the Semantics of Change in Software Evolution Analysis.	ICSM	2005	DBLP DOI BibTeX RDF	feature history, transitions of characterizations, reverse engineering, software evolution, dynamic analysis
16	Albert Atserias	On sufficient conditions for unsatisfiability of random formulas.	J. ACM	2004	DBLP DOI BibTeX RDF	Random CNF formulas, propositional resolution, satisfiability, datalog, phase transitions, pebble games
16	Ji-An Zhao, Bo Li 0001, Chi-Wah Kok, Ishfaq Ahmad	MPEG-4 Video Transmission over Wireless Networks: A Link Level Performance Study.	Wirel. Networks	2004	DBLP DOI BibTeX RDF	DBMAP with marked transitions, HMM channel, PH-type distribution, DBMAP/PH/1 priority queue
16	Weixiong Zhang, Zhao Xing, Guandong Wang, Lars Wittenburg	An analysis and application of distributed constraint satisfaction and optimization algorithms in sensor networks.	AAMAS	2003	DBLP DOI BibTeX RDF	distributed breakout, distributed coloring, distributed constraint satisfaction and optimization, distributed stochastic search, sensor networks, object tracking, phase transitions
16	Paul I. Barton, Cha Kun Lee	Modeling, simulation, sensitivity analysis, and optimization of hybrid systems.	ACM Trans. Model. Comput. Simul.	2002	DBLP DOI BibTeX RDF	combined discrete/continuous simulation, consistent reinitialization, state events, sensitivity analysis, transitions, discontinuities, Hybrid automata
16	Mark R. Greenstreet, Anthony Winstanley, Aurélien Garivier	An Event Spacing Experiment.	ASYNC	2002	DBLP DOI BibTeX RDF	Charlie Diagrams, self-timed rings, timing analysis, phase transitions, attractors, hysteresis
16	Dorit Aharonov, Michael Ben-Or	Polynomial Simulations of Decohered Quantum Computers.	FOCS	1996	DBLP DOI BibTeX RDF	decoherence, density matrices, probabilistic Turing machine, decohered sequential quantum computers, parallelism, quantum computation, phase transitions, automata theory, computational power