Search results for "transitions"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
16	Giuseppe Di Guglielmo, Franco Fummi, Cristina Marconcini, Graziano Pravadelli	EFSM Manipulation to Increase High-Level ATPG Effectiveness.	ISQED	2006	DBLP DOI BibTeX RDF
16	Soochahn Lee, Sehyuk Yoon, Il Dong Yun, Duck Hoon Kim, Kyoung Mu Lee, Sang Uk Lee	A New 3-D Model Retrieval System Based on Aspect-Transition Descriptor.	ECCV (4)	2006	DBLP DOI BibTeX RDF
16	Yajun Ran, Alex Kondratyev, Kenneth H. Tseng, Yosinori Watanabe, Malgorzata Marek-Sadowska	Eliminating false positives in crosstalk noise analysis.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2005	DBLP DOI BibTeX RDF
16	Collins G. Assisi, Viktor K. Jirsa, J. A. Scott Kelso	Dynamics of multifrequency coordination using parametric driving: theory and experiment.	Biol. Cybern.	2005	DBLP DOI BibTeX RDF
16	Dong Yu 0001, Alex Acero	Semiautomatic Improvements of System-Initiative Spoken Dialog Applications Using Interactive Clustering.	IEEE Trans. Speech Audio Process.	2005	DBLP DOI BibTeX RDF
16	Madhukar Anand, Jesung Kim, Insup Lee 0001	Code Generation from Hybrid Systems Models for Distributed Embedded Systems.	ISORC	2005	DBLP DOI BibTeX RDF
16	Inho Park, Dokyun Na, Kwang Hyung Lee, Doheon Lee	Fuzzy Continuous Petri Net-Based Approach for Modeling Helper T Cell Differentiation.	ICARIS	2005	DBLP DOI BibTeX RDF
16	Yih-Chuan Lin, Zni-Kang Huang, Ri-Ting Pong, Chuen-Ching Wang	A Robust Watermarking Scheme Combined with the FSVQ for Images.	ICITA (2)	2005	DBLP DOI BibTeX RDF
16	Raid Ayoub, Alex Orailoglu	A unified transformational approach for reductions in fault vulnerability, power, and crosstalk noise & delay on processor buses.	ASP-DAC	2005	DBLP DOI BibTeX RDF
16	Christopher Griffin 0001, Bharat B. Madan, Kishor S. Trivedi	State Space Approach to Security Quantification.	COMPSAC (2)	2005	DBLP DOI BibTeX RDF
16	Ugo A. Buy, Houshang Darabi, Mihai Lehene, Vikram Venepally	Supervisory Control of Time Petri Nets Using Net Unfolding.	COMPSAC (2)	2005	DBLP DOI BibTeX RDF
16	Jinhui Yuan, Jianmin Li 0001, Fuzong Lin, Bo Zhang 0010	A unified shot boundary detection framework based on graph partition model.	ACM Multimedia	2005	DBLP DOI BibTeX RDF	temporal multi-resolution, active learning, graph partition
16	Joyce Ho, Stephen S. Intille	Using context-aware computing to reduce the perceived burden of interruptions from mobile devices.	CHI	2005	DBLP DOI BibTeX RDF	mobile computing, context-aware computing, interruption, human-computer interface
16	Ole Fogh Olsen	Tree Edit Distances from Singularity Theory.	Scale-Space	2005	DBLP DOI BibTeX RDF
16	Mahadevan Subramaniam, Jiangfan Shi	Using Dominators to Extract Observable Protocol Contexts.	SEFM	2005	DBLP DOI BibTeX RDF
16	Inho Park, Dokyun Na, Doheon Lee, Kwang Hyung Lee	Fuzzy Continuous Petri Net-Based Approach for Modeling Immune Systems.	WIRN/NAIS	2005	DBLP DOI BibTeX RDF
16	Thomas Eiter, Wolfgang Faber 0001, Nicola Leone, Gerald Pfeifer, Axel Polleres	A logic programming approach to knowledge-state planning: Semantics and complexity.	ACM Trans. Comput. Log.	2004	DBLP DOI BibTeX RDF	conformant planning, declarative planning, knowledge-states, secure planning, computational complexity, incomplete information, Answer sets
16	Yang Liu 0006, Weiqiang Wang, Wen Gao 0001, Wei Zeng 0006	A novel compressed domain shot segmentation algorithm on H.264/AVC.	ICIP	2004	DBLP DOI BibTeX RDF
16	João P. Hespanha 0001	Stochastic Hybrid Systems: Application to Communication Networks.	HSCC	2004	DBLP DOI BibTeX RDF
16	Natarajan Meghanathan, Andras Farago	Looking at protocol efficiency from a new angle: stability - delay analysis.	Mobility Management & Wireless Access Protocols	2004	DBLP DOI BibTeX RDF	path stability, stability - delay tradeoff, mobile ad hoc networks
16	Elan L. Ohayon, Hon C. Kwan, W. McIntyre Burnham, Piotr Suffczynski, Stiliyan Kalitzin	Emergent complex patterns in autonomous distributed systems: mechanisms for attention recovery and relation to models of clinical epilepsy.	SMC (2)	2004	DBLP DOI BibTeX RDF
16	Vasco Thudichum Vasconcelos, António Ravara, Simon J. Gay	Session Types for Functional Multithreading.	CONCUR	2004	DBLP DOI BibTeX RDF	static typechecking, specification of communication protocols, concurrent programming, Session types
16	John Burns 0001, Heather J. Ruskin	A Stochastic Model of the Effector T Cell Lifecycle.	ACRI	2004	DBLP DOI BibTeX RDF
16	Uttam K. Sarkar, Subramanian Ramakrishnan, Dilip Sarkar	Modeling full-length video using Markov-modulated Gamma-based framework.	IEEE/ACM Trans. Netw.	2003	DBLP DOI BibTeX RDF	QQ plot, frame-size traffic model, leaky-bucket simulation, variable bit rate (VBR) video, MPEG, gamma distribution
16	Ozgur Sinanoglu, Ismet Bayraktaroglu, Alex Orailoglu	Reducing Average and Peak Test Power Through Scan Chain Modification.	J. Electron. Test.	2003	DBLP DOI BibTeX RDF	test power reduction, scan chain modification, average test power, peak test power, scan testing
16	Satoru Miyamoto, Shunsuke Inenaga, Masayuki Takeda, Ayumi Shinohara	Ternary Directed Acyclic Word Graphs.	CIAA	2003	DBLP DOI BibTeX RDF
16	Abby Goodrum, Matthew M. Bejune, Antonio C. Siochi	A State Transition Analysis of Image Search Patterns on the web.	CIVR	2003	DBLP DOI BibTeX RDF
16	Arzu Sardarli, Igor M. Filanovsky, R. M. Sardarli, O. A. Samedov, I. Sh. Sadigov, A. I. Aslanov	Translation of the Phase Transition Temperature in TlInS2 Crystals with Cationic Impurity Doping.	ICMENS	2003	DBLP DOI BibTeX RDF
16	Nicola Nicolici, Bashir M. Al-Hashimi	Multiple Scan Chains for Power Minimization during Test Application in Sequential Circuits.	IEEE Trans. Computers	2002	DBLP DOI BibTeX RDF	Digital systems testing, design for test, low power circuits
16	Wei Jyh Heng, King Ngi Ngan	Shot boundary refinement for long transition in digital video sequence.	IEEE Trans. Multim.	2002	DBLP DOI BibTeX RDF
16	Itsuki Noda	Hidden Markov Modeling of Multi-agent Systems and Its Learning Method.	RoboCup	2002	DBLP DOI BibTeX RDF
16	Moustafa A. Youssef 0001, Arunchandar Vasan 0001, Raymond E. Miller	Specification and Analysis of the DCF and PCF Protocols in the 802.11 Standard Using Systems of Communicating Machines.	ICNP	2002	DBLP DOI BibTeX RDF
16	Ozgur Sinanoglu, Ismet Bayraktaroglu, Alex Orailoglu	Scan Power Reduction Through Test Data Transition Frequency Analysis.	ITC	2002	DBLP DOI BibTeX RDF
16	John M. Linebarger, G. Drew Kessler	GroupMorph: : a group collaboration mode approach to shared 3D virtual environments for product design.	CVE	2002	DBLP DOI BibTeX RDF	collaborative product design, group collaboration modes, models of collaboration, computer supported cooperative work, collaborative virtual environments, distributed virtual reality
16	Andrew S. Glassner	A Change of Scene.	IEEE Computer Graphics and Applications	2001	DBLP DOI BibTeX RDF
16	Vitus S. W. Lam, Julian A. Padget	Formalization of UML Statechart Diagrams in the p-Calculus.	Australian Software Engineering Conference	2001	DBLP DOI BibTeX RDF
16	Parosh Aziz Abdulla, Luc Boasson, Ahmed Bouajjani	Effective Lossy Queue Languages.	ICALP	2001	DBLP DOI BibTeX RDF
16	Wayne H. Wolf	Partial-Frame Transition Detection.	ICME	2001	DBLP DOI BibTeX RDF
16	Tadashige Iwao, Yuji Wada, Makoto Okada, Makoto Amamiya	A Framework for the Exchange and Installation of Protocols in a Multi-agent System.	CIA	2001	DBLP DOI BibTeX RDF
16	Stefan Boettcher, Allon G. Percus, Michelangelo Grigni	Optimizing through Co-evolutionary Avalanches.	PPSN	2000	DBLP DOI BibTeX RDF
16	Nimal Nissanke, Hamdan Dammag	Risk Ordering of States in Safecharts.	SAFECOMP	2000	DBLP DOI BibTeX RDF	risk ordering, nuclear safety, Safety, Statecharts, risk assessment, failures
16	Jan Friso Groote, Jaco van de Pol	State Space Reduction Using Partial tau-Confluence.	MFCS	2000	DBLP DOI BibTeX RDF
16	Nasreddine Aoumeur	Specifying Distributed and Dynamically Evolving Information Systems Using an Extended CO-Nets Approach.	FMLDO - Selected Papers	1999	DBLP DOI BibTeX RDF
16	Christoph Lindemann, Andreas Reuys, Axel Thümmler	The DSPNexpress 2.000 Performance and Dependability Modeling Environment.	FTCS	1999	DBLP DOI BibTeX RDF
16	Marius Minea	Partial Order Reduction for Model Checking of Timed Automata.	CONCUR	1999	DBLP DOI BibTeX RDF
16	Luca de Alfaro	Stochastic Transition Systems.	CONCUR	1998	DBLP DOI BibTeX RDF
16	David Y. W. Park, Jens U. Skakkebæk, David L. Dill	Static Analysis to Identify Invariants in RSML Specifications.	FTRTFT	1998	DBLP DOI BibTeX RDF
16	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
16	David Lee 0001, K. K. Ramakrishnan, W. Melody Moh, A. Udaya Shankar	Protocol Specification Using Parameterized Communicating Extended Finite Stte Machines - A Case Study of The ATM ABR Rate Control Scheme.	ICNP	1996	DBLP DOI BibTeX RDF
16	Thomas T. Hildebrandt, Vladimiro Sassone	Comparing Transition Systems with Independence and Asynchronous Transition Systems.	CONCUR	1996	DBLP DOI BibTeX RDF
16	Pierpaolo Degano, Corrado Priami	Causality for Mobile Processes.	ICALP	1995	DBLP DOI BibTeX RDF
16	Donna S. Nielsen, Leonard Kleinrock	Data Structures and Algorithms for Extended State Space and Structural Level Reduction of the GSPN Model.	Application and Theory of Petri Nets	1994	DBLP DOI BibTeX RDF
16	Roberto Gorrieri, Ugo Montanari	Distributed Implementation of CCS.	Applications and Theory of Petri Nets	1991	DBLP DOI BibTeX RDF	Place/Transition Petri nets, concurrent calculi, net calculi, implementation morphism, atomicity, operational semantics, denotational semantics
16	Gregor von Bochmann	Delay-Independent Design for Distributed Systems.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	interconnected modules, module interfaces, distributed systems, protocols, protocols, synchronization, delays, distributed processing, regularity, communication delays
16	Wlodzimierz M. Zuberek	M-timed Petri nets, priorities, preemptions, and performance evaluation of Petri nets.	Applications and Theory in Petri Nets	1985	DBLP DOI BibTeX RDF
16	Takashi Masuda	Effect of Program Localities on Memory Management Strategies.	SOSP	1977	DBLP DOI BibTeX RDF	Performance evaluation, Memory management, Multiprogramming, Program behavior, Program locality, Computer system simulation
16	Alan P. Batson, A. Wayne Madison	Measurements of major locality phases in symbolic reference strings.	SIGMETRICS	1976	DBLP DOI BibTeX RDF	Reference strings, Locality, Memory management, Program behavior
11	Juan Pablo Pinasco, Nicolas Saintier, Martin Kind	Learning, Mean Field Approximations, and Phase Transitions in Auction Models.	Dyn. Games Appl.	2024	DBLP DOI BibTeX RDF
11	Romy Menghao Jia, Jia Tina Du, Yuxiang (Chris) Zhao	Interaction with peers online: LGBTQIA+ individuals' information seeking and meaning-making during the life transitions of identity construction.	J. Assoc. Inf. Sci. Technol.	2024	DBLP DOI BibTeX RDF
11	Zihui Zhang, Lang Xia, Zifei Zhao, Fen Zhao, Guanyu Hou, Shixin Wu, Xiao Sun, Shangrong Wu, Peng Yang 0005, Yan Zha	How Land Use Transitions Contribute to the Soil Organic Carbon Accumulation from 1990 to 2020.	Remote. Sens.	2024	DBLP DOI BibTeX RDF
11	Yunfei Gao, Albert No	Adaptable DNA Storage Coding: An Efficient Framework for Homopolymer Constraint Transitions.	IEEE Access	2024	DBLP DOI BibTeX RDF
11	Ron Eglash, Kwame Porter Robinson, Audrey Bennett, Lionel Robert 0001, Mathew Garvin	Computational reparations as generative justice: Decolonial transitions to unalienated circular value flow.	Big Data Soc.	2024	DBLP DOI BibTeX RDF
11	Peng Chen, Yuhao Wu, Chaojun Xu, Yaqiang Jin, Chengning Zhou	Markov Modeling of Signal Condition Transitions for Bearing Diagnostics Under External Interference Conditions.	IEEE Trans. Instrum. Meas.	2024	DBLP DOI BibTeX RDF
11	Matteo Colangeli, Antonio Di Francesco, Lamberto Rondoni	Detecting Phase Transitions through Non-Equilibrium Work Fluctuations.	Symmetry	2024	DBLP DOI BibTeX RDF
11	Len Brandes, Wolfram Weise	Constraints on Phase Transitions in Neutron Star Matter.	Symmetry	2024	DBLP DOI BibTeX RDF
11	Minyu Feng, Bin Pi, Liang-Jian Deng, Jürgen Kurths	An Evolutionary Game With the Game Transitions Based on the Markov Process.	IEEE Trans. Syst. Man Cybern. Syst.	2024	DBLP DOI BibTeX RDF
11	Binlin Yi, Haotian Cao, Xiaolin Song, Jianqiang Wang 0003, Song Zhao, Wenfeng Guo, Dongpu Cao	How Can the Trust-Change Direction be Measured and Identified During Takeover Transitions in Conditionally Automated Driving? Using Physiological Responses and Takeover-Related Factors.	Hum. Factors	2024	DBLP DOI BibTeX RDF
11	Daniel Grieser, Sina Held, Hannes Uecker, Boris Vertman	Phase transitions and minimal interfaces on manifolds with conical singularities.	CoRR	2024	DBLP DOI BibTeX RDF
11	Jonathan Vandermause, Anders Johansson, Yucong Miao, Joost J. Vlassak, Boris Kozinsky	Phase discovery with active learning: Application to structural phase transitions in equiatomic NiTi.	CoRR	2024	DBLP DOI BibTeX RDF
11	Nils Rodrigues, Frederik L. Dennig, Vincent Brandt, Daniel A. Keim, Daniel Weiskopf	Comparative Evaluation of Animated Scatter Plot Transitions.	CoRR	2024	DBLP DOI BibTeX RDF
11	Sangung Park, Jiawei Xue, Satish V. Ukkusuri	Finding critical transitions of the post-disaster recovery using the sensitivity analysis of agent-based models.	CoRR	2024	DBLP DOI BibTeX RDF
11	M. Carmen Aguilera-Morillo, Ana M. Aguilera, Francisco Jiménez-Molinos, Juan Bautista Roldán	Stochastic modeling of Random Access Memories reset transitions.	CoRR	2024	DBLP DOI BibTeX RDF
11	Jay Mardia, Kabir Aladin Verchand, Alexander S. Wein	Low-degree phase transitions for detecting a planted clique in sublinear time.	CoRR	2024	DBLP DOI BibTeX RDF
11	Lin Xu, Qixian Zhou, Jinlan Fu, See-Kiong Ng	CET2: Modelling Topic Transitions for Coherent and Engaging Knowledge-Grounded Conversations.	CoRR	2024	DBLP DOI BibTeX RDF
11	Jaesang Park, Alireza Askarian, Srinivasa M. Salapaka	Control Designs for Critical-Continegency Responsible Grid-Following Inverters and Seamless Transitions To and From Grid-Forming Modes.	CoRR	2024	DBLP DOI BibTeX RDF
11	M. A. Shalu, Cyriac Antony	Hardness transitions and uniqueness of acyclic colouring.	Discret. Appl. Math.	2024	DBLP DOI BibTeX RDF
11	David Pérez-García, Leonardo Santilli, Miguel Tierz	Dynamical quantum phase transitions from random matrix theory.	Quantum	2024	DBLP DOI BibTeX RDF
11	Jing Chen, Hongli Chen, Yingyun Li	Transitions in daily search tactics: during the cross-app interaction search process.	Inf. Technol. People	2024	DBLP DOI BibTeX RDF
11	Khushboo Sinha, Yogesh N. Trivedi	Spectrum sensing for dynamic primary user with multiple transitions under Rayleigh distributed channel attenuation in additive Laplacian noise.	Phys. Commun.	2024	DBLP DOI BibTeX RDF
11	Eduardo Jardón-Valadez, Alfredo Ulloa-Aguirre	Tracking conformational transitions of the gonadotropin hormone receptors in a bilayer of (SDPC) poly-unsaturated lipids from all-atom molecular dynamics simulations.	PLoS Comput. Biol.	2024	DBLP DOI BibTeX RDF
11	Paul J. N. Brodersen, Hannah Alfonsa, Lukas B. Krone, Cristina Blanco-Duque, Angus S. Fisk, Sarah J. Flaherty, Mathilde C. C. Guillaumin, Yi-Ge Huang, Martin C. Kahn, Laura E. McKillop, Linus Milinski, Lewis Taylor, Christopher W. Thomas, Tomoko Yamagata, Russell G. Foster, Vladyslav V. Vyazovskiy, Colin J. Akerman	Somnotate: A probabilistic sleep stage classifier for studying vigilance state transitions.	PLoS Comput. Biol.	2024	DBLP DOI BibTeX RDF
11	Albert Meijer 0001	Perspectives on the twin transition: Instrumental and institutional linkages between the digital and sustainability transitions.	Inf. Polity	2024	DBLP DOI BibTeX RDF
11	Naren Vohra, Malgorzata Peszynska	Robust conservative scheme and nonlinear solver for phase transitions in heterogeneous permafrost.	J. Comput. Appl. Math.	2024	DBLP DOI BibTeX RDF
11	Ning Ran, Tingting Li, Shouguang Wang, Zhou He 0001	Supervisor Synthesis for Petri Nets With Uncontrollable and Unobservable Transitions.	IEEE Trans Autom. Sci. Eng.	2024	DBLP DOI BibTeX RDF
11	Raffaele Marino, Federico Ricci-Tersenghi	Phase transitions in the mini-batch size for sparse and dense two-layer neural networks.	Mach. Learn. Sci. Technol.	2024	DBLP DOI BibTeX RDF
11	Nils Rodrigues, Frederik L. Dennig, Vincent Brandt, Daniel A. Keim, Daniel Weiskopf	Comparative Evaluation of Animated Scatter Plot Transitions - Supplemental Material.		2024	RDF
11	Sérgio-Pedro Duarte, António Lobo, Boris Delibasic, Daouda Kamissoko (eds.)	Decision Support Systems XIV. Human-Centric Group Decision, Negotiation and Decision Support Systems for Societal Transitions - 10th International Conference on Decision Support System Technology, ICDSST 2024, Porto, Portugal, June 3-5, 2024, Proceedings	ICDSST	2024	DBLP DOI BibTeX RDF
11	Li Yang 0011, Mohamed Malki, Roberto Gómez-García	Multilayer Dual-Band Bandpass Filter Using Microstrip-to-Slotline Transitions and Transversal Signal-Interference Microstrip Lines.	RWS	2024	DBLP DOI BibTeX RDF
11	Martin Brennecke, Dominik Jurek, Alexander Rieger, Tamara Roth	Towards Social Justice in Energy Transitions: An Information Systems Perspective.	HICSS	2024	DBLP BibTeX RDF
11	Tianyu Zhu, Yansong Shi, Yuan Zhang, Yihong Wu, Fengran Mo, Jian-Yun Nie	Collaboration and Transition: Distilling Item Transitions into Multi-Query Self-Attention for Sequential Recommendation.	WSDM	2024	DBLP DOI BibTeX RDF
11	Zihui Liu, Bingfeng Ge, Yuming Huang, Zeqiang Hou, Wanying Wei, Jichao Li	Research on Cost Estimation of Launch Vehicle Based on Grey Neural Network.	ICDSST	2024	DBLP DOI BibTeX RDF
11	Vitor Oliveira, Thiago Sobral, José Telhada, Maria do Sameiro Carvalho	A Decision Support Tool for Paratransit Systems Planning.	ICDSST	2024	DBLP DOI BibTeX RDF
11	Marta Campos Ferreira, Maria Veloso, João Manuel R. S. Tavares	A Comprehensive Examination of User Experience in AI-Based Symptom Checker Chatbots.	ICDSST	2024	DBLP DOI BibTeX RDF
11	Guoqing Zhao, Guoyu Zhao, Nasiru Zubairu, Xiaoning Chen, Femi Olan, Denis Dennehy, Paul Jones 0002	Understanding Supply Chain Resilience as a Multi-level Framework: A Systematic Literature Review.	ICDSST	2024	DBLP DOI BibTeX RDF
11	Tarsila Rani Soares de Vasconcelos, Lucia Reis Peixoto Roselli, Adiel Teixeira de Almeida	Performance of Holistic Evaluation for Multi-criteria Decisions Comparing Selection or Elimination of Alternatives.	ICDSST	2024	DBLP DOI BibTeX RDF
11	Sérgio-Pedro Duarte, João Pedro Maia, Miguel Lopes, António Lobo	Data Driven Approach to Support the Design of Road Safety Plans in Portuguese Municipalities.	ICDSST	2024	DBLP DOI BibTeX RDF
11	Pavlos Delias, Dimitrios Trygoniaris, Nikolaos Mittas	A Tool to Support Propensity Score Weighting for Enhanced Causal Inference in Business Processes.	ICDSST	2024	DBLP DOI BibTeX RDF
11	He Huang, Peter Burgherr	MCDA Calculator: A Streamlined Decision Support System for Multi-criteria Decision Analysis.	ICDSST	2024	DBLP DOI BibTeX RDF
11	Pierre-Emmanuel Arduin, Saliha Ziam	If Digital Tools are the Solution to Knowledge Transfer, What is the Problem?	ICDSST	2024	DBLP DOI BibTeX RDF
11	Guoste Pivoraite, Shaofeng Liu 0001, Saeyeon Roh, Guoqing Zhao	Framework for Understanding Consumer Perceptions and Attitudes to Support Decisions on Cultured Meat: A Theoretical Approach and Future Directions.	ICDSST	2024	DBLP DOI BibTeX RDF