Search results for "unfolding"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
28	Eric Fabre	Trellis Processes : A Compact Representation for Runs of Concurrent Systems.	Discret. Event Dyn. Syst.	2007	DBLP DOI BibTeX RDF	True concurrency semantics, Petri net, Diagnosis, Product, Factorization, Concurrent system, Unfolding, Category theory, Branching process, Trellis
28	Glynn Winskel	Symmetry and Concurrency.	CALCO	2007	DBLP DOI BibTeX RDF	higher order processes, nondeterministic dataflow, higher dimensional automata, Petri nets, symmetry, unfolding, Event structures, spans, pseudo monads
28	Delphine Longuet, Marc Aiguier	Specification-Based Testing for CoCasl's Modal Specifications.	CALCO	2007	DBLP DOI BibTeX RDF	axiom unfolding, coalgebraic specifications, CoCasl, modal logic, Specification-based testing
28	Hsueh-Chih Yang, Lan-Rong Dung	On multiple-voltage high-level synthesis using algorithmic transformations.	ASP-DAC	2005	DBLP DOI BibTeX RDF	loop shrinking, multiple voltage scheduling, high-level synthesis, retiming, unfolding, low power circuit
28	Qingfeng Zhuge, Zili Shao, Bin Xiao 0001, Edwin Hsing-Mean Sha	Design space minimization with timing and code size optimization for embedded DSP.	CODES+ISSS	2003	DBLP DOI BibTeX RDF	retiming, unfolding, code size reduction, DSP processors
28	Victor Khomenko, Maciej Koutny	Branching Processes of High-Level Petri Nets.	TACAS	2003	DBLP DOI BibTeX RDF	model checking, Verification, high-level Petri nets, unfolding
28	Marko Mäkelä	Optimising Enabling Tests and Unfoldings of Algebraic System Nets.	ICATPN	2001	DBLP DOI BibTeX RDF	reachability analysis, unification, high-level Petri nets, unfolding
28	Roberto Bruni, Ugo Montanari	Executing Transactions in Zero-Safe Nets.	ICATPN	2000	DBLP DOI BibTeX RDF	PT nets, zero-safe nets, net unfolding, reachability, distributed transactions
28	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
28	Alexei L. Semenov, Alexandre Yakovlev, Enric Pastor, Marco A. Peña, Jordi Cortadella, Luciano Lavagno	Partial order based approach to synthesis of speed-independent circuits.	ASYNC	1997	DBLP DOI BibTeX RDF	approximation, synthesis, asynchronous circuits, unfolding, Signal Transition Graph
28	Sourav Bhattacharya, Aloke Guha, Allalaghatta Pavan, David Hung-Chang Du	Optimal multihop routing. An iterative approach to TWDM embedding.	LCN	1995	DBLP DOI BibTeX RDF	TWDM embedding, time-wave division multiplexed, lightwave networks, time slot assignments, graph unfolding, routing delay, performance, wavelength division multiplexing, telecommunication network routing, time division multiplexing, weighted graphs, optimal routing, shortest path routing, optical fibre LAN, multihop routing, iterative approach
28	Eduardus A. T. Merks, J. Michael Dyck, Robert D. Cameron	Language Design For Program Manipulation.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	software engineering, Ada, object-oriented programming, Pascal, typing, language design, high level languages, unfolding, Modula-2, naming, abstract syntax, scoping, object-oriented programming languages, static semantics, program manipulation, program manipulations, procedural languages
28	Francis Alexandre, Khaled Bsaïes, Jean-Pierre Finance, Alain Quéré	Spes: A System for Logic Program Transformation.	LPAR	1992	DBLP DOI BibTeX RDF	Key-words program transformation, strategy, unfolding, folding
28	Wim H. Hesselink, Ronald Reinds	Temporal Preconditions of Recursive Procedures.	REX Workshop	1992	DBLP DOI BibTeX RDF	leads-to, eventually, healthiness law, guarded recursion, unfolding, weakest precondition, recursive procedure
24	Kristine Deray, Simeon J. Simoff	Visualising the Dynamics of Unfolding Interactions on Mobile Devices.	ER Workshops	2008	DBLP DOI BibTeX RDF
24	Jun Xie, Min Hu, Mubarak Shah	Unfolding warping for object recognition.	ICPR	2008	DBLP DOI BibTeX RDF
24	Martin T. Swain, Vitaliy Ostropytskyy, Cândida G. Silva, Frederic T. Stahl, Olivier Riche, Rui M. M. Brito, Werner Dubitzky	Grid Computing Solutions for Distributed Repositories of Protein Folding and Unfolding Simulations.	ICCS (3)	2008	DBLP DOI BibTeX RDF
24	Frédéric Herbreteau, Grégoire Sutre, The Quang Tran	Unfolding Concurrent Well-Structured Transition Systems.	TACAS	2007	DBLP DOI BibTeX RDF
24	Dhish Kumar Saxena, Kalyanmoy Deb	Non-linear Dimensionality Reduction Procedures for Certain Large-Dimensional Multi-objective Optimization Problems: Employing Correntropy and a Novel Maximum Variance Unfolding.	EMO	2007	DBLP DOI BibTeX RDF
24	Alexander Andreopoulos, Bill Andreopoulos, Aijun An, Xiaogang Wang 0007	Translation and Rotation Invariant Mining of Frequent Trajectories: Application to Protein Unfolding Pathways.	PAKDD Workshops	2007	DBLP DOI BibTeX RDF
24	Tomi Janhunen, Ilkka Niemelä, Dietmar Seipel, Patrik Simons, Jia-Huai You	Unfolding partiality and disjunctions in stable model semantics.	ACM Trans. Comput. Log.	2006	DBLP DOI BibTeX RDF	disjunctive stable models, partial models, Answer set programming, inference engine, quantified Boolean formulas, minimal models
24	Nicolas Baudru, Rémi Morin	Unfolding Synthesis of Asynchronous Automata.	CSR	2006	DBLP DOI BibTeX RDF
24	John Halloran 0001, Eva Hornecker, Geraldine Fitzpatrick, Mark J. Weal, David E. Millard, Danius T. Michaelides, Don Cruickshank, David De Roure	Unfolding understandings: co-designing UbiComp In Situ, over time.	Conference on Designing Interactive Systems	2006	DBLP DOI BibTeX RDF	in-situ methods, ubiquitous computing, user experience, time, co-design, public spaces, tour guides
24	Yong Ki Lee, Herwin Chan, Ingrid Verbauwhede	Throughput Optimized SHA-1 Architecture Using Unfolding Transformation.	ASAP	2006	DBLP DOI BibTeX RDF
24	Fabrice Kordon, Alban Linard, Emmanuel Paviot-Adet	Optimized Colored Nets Unfolding.	FORTE	2006	DBLP DOI BibTeX RDF
24	Honam Ahn, Byeong-Seok Shin	Height-Based Deformation and Ray Supersampling for Colon Unfolding.	ICAT	2006	DBLP DOI BibTeX RDF
24	Litong Song, Krishna M. Kavi	What can we gain by unfolding loops?	ACM SIGPLAN Notices	2004	DBLP DOI BibTeX RDF	loop peeling, loop quasi invariant code motion, quasi-index variable, quasi-invariant variable, loop unrolling
24	Kensaku Mori, Hiroki Oka, Takayuki Kitasaka, Yasuhito Suenaga, Jun-ichiro Toriwaki	Virtual Unfolding of the Stomach Based on Volumetric Image Deformation.	MICCAI (2)	2004	DBLP DOI BibTeX RDF
24	Paolo Baldan, Andrea Corradini 0001, Barbara König 0001	Verifying Finite-State Graph Grammars: An Unfolding-Based Approach.	CONCUR	2004	DBLP DOI BibTeX RDF
24	Litong Song, Krishna M. Kavi, Ron Cytron	An Unfolding-Based Loop Optimization Technique.	SCOPES	2003	DBLP DOI BibTeX RDF
24	Jussi Rintanen	Partial Implicit Unfolding in the Davis-Putnam Procedure for Quantified Boolean Formulae.	LPAR	2001	DBLP DOI BibTeX RDF
24	Javier Esparza, Keijo Heljanko	A New Unfolding Approach to LTL Model Checking.	ICALP	2000	DBLP DOI BibTeX RDF
24	Steven O. Kimbrough, Yao-Hua Tan	On Lean Messaging with Wrapping and Unfolding for E-Commerce.	HICSS	1999	DBLP DOI BibTeX RDF
24	Marcos Veloso Peixoto, Laurent Fribourg	Unfolding Parametric Automata.	LATIN	1998	DBLP DOI BibTeX RDF
24	Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik	Unfolding the Mystery of Mergesort.	LOPSTR	1997	DBLP DOI BibTeX RDF
24	Alexei L. Semenov, Alexandre Yakovlev, Enric Pastor, Marco A. Peña, Jordi Cortadella	Synthesis of Speed-Independent Circuits from STG-Unfolding Segment.	DAC	1997	DBLP DOI BibTeX RDF
24	Maurizio Proietti, Alberto Pettorossi	Unfolding - Definition - Folding, in this Order, for Avaoiding Unnecessary Variables in Logic Programs. (long version: TCS 142(1): 89-124 (1995))	PLILP	1991	DBLP DOI BibTeX RDF
24	Pankaj K. Agarwal, Boris Aronov, Joseph O'Rourke, Catherine A. Schevon	Star Unfolding of a Polytope with Applications (Extended Abstract).	SWAT	1990	DBLP DOI BibTeX RDF
20	Franco Scarselli, Marco Gori, Ah Chung Tsoi, Markus Hagenbuchner, Gabriele Monfardini	Computational Capabilities of Graph Neural Networks.	IEEE Trans. Neural Networks	2009	DBLP DOI BibTeX RDF
20	Roberto Costantini, Luciano Sbaiz, Sabine Süsstrunk	Higher Order SVD Analysis for Dynamic Texture Synthesis.	IEEE Trans. Image Process.	2008	DBLP DOI BibTeX RDF
20	Deli Zhao, Zhouchen Lin, Xiaoou Tang	Laplacian PCA and Its Applications.	ICCV	2007	DBLP DOI BibTeX RDF
20	Rui Xu 0002, Yen-Wei Chen 0001	Appearance Models for Medical Volumes with Few Samples by Generalized 3D-PCA.	ICONIP (1)	2007	DBLP DOI BibTeX RDF
20	Thomas Chatain, Claude Jard	Complete Finite Prefixes of Symbolic Unfoldings of Safe Time Petri Nets.	ICATPN	2006	DBLP DOI BibTeX RDF
20	Sami Evangelista, Jean-François Pradat-Peyre	On the Computation of Stubborn Sets of Colored Petri Nets.	ICATPN	2006	DBLP DOI BibTeX RDF
20	Pedro Gabriel Ferreira, Paulo J. Azevedo, Cândida G. Silva, Rui M. M. Brito	Mining Approximate Motifs in Time Series.	Discovery Science	2006	DBLP DOI BibTeX RDF
20	Magnus Karlsson, Mark Vesterbacka	Digit-serial/parallel multipliers with improved throughput and latency.	ISCAS	2006	DBLP DOI BibTeX RDF
20	Ruwei Yun, Haixu Xi, Yi Li	The Experiment of Improving Students' Spatial Ability by Using VGLS.	ICAT	2006	DBLP DOI BibTeX RDF	Virtual Geometry Learning System (VGLS), Virtual Reality, spatial ability
20	Lin Xiao 0003, Jun Sun 0003, Stephen P. Boyd	A duality view of spectral methods for dimensionality reduction.	ICML	2006	DBLP DOI BibTeX RDF
20	Fernando López-García 0001, José Manuel Prats-Montalbán, Alberto Ferrer 0001, José Miguel Valiente	Defect Detection in Random Colour Textures Using the MIA T2 Defect Maps.	ICIAR (2)	2006	DBLP DOI BibTeX RDF
20	Eugene Zhang, Konstantin Mischaikow, Greg Turk	Feature-based surface parameterization and texture mapping.	ACM Trans. Graph.	2005	DBLP DOI BibTeX RDF	segmentation, topology, texture mapping, Surface parameterization
20	Erika Ábrahám, Bernd Becker 0001, Felix Klaedtke, Martin Steffen	Optimizing Bounded Model Checking for Linear Hybrid Systems.	VMCAI	2005	DBLP DOI BibTeX RDF
20	P. Madhusudan, P. S. Thiagarajan, Shaofa Yang	The MSO Theory of Connectedly Communicating Processes.	FSTTCS	2005	DBLP DOI BibTeX RDF
20	Thomas Chatain, Claude Jard	Time Supervision of Concurrent Systems Using Symbolic Unfoldings of Time Petri Nets.	FORMATS	2005	DBLP DOI BibTeX RDF
20	Thomas Chatain, Claude Jard	Models for the Supervision of Web Services Orchestration with Dynamic Changes.	AICT/SAPIR/ELETE	2005	DBLP DOI BibTeX RDF
20	Imre Pázsit	Diagnostics and Surveillance Methods in Nuclear Systems for Real-Time Applications.	Real Time Syst.	2004	DBLP DOI BibTeX RDF	neutron noise, visualization, wavelets, surveillance, on-line, diagnostics, vibrations, impacting, instability
20	Andreas Abel 0001, Ralph Matthes	Fixed Points of Type Constructors and Primitive Recursion.	CSL	2004	DBLP DOI BibTeX RDF
20	Xingquan Zhu 0001, Jianping Fan 0001, Ahmed K. Elmagarmid, Xindong Wu 0001	Hierarchical video content description and summarization using unified semantic and visual similarity.	Multim. Syst.	2003	DBLP DOI BibTeX RDF	Hierarchical video summarization, Semi-automatic video annotation, Video grouping, Content description
20	Dietrich Kuske, Markus Lohrey	Decidable Theories of Cayley-Graphs.	STACS	2003	DBLP DOI BibTeX RDF
20	Qingfeng Zhuge, Edwin Hsing-Mean Sha, Chantana Chantrapornchai	An Integrated Framework of Design Optimization and Space Minimization for DSP applications.	ISCAS (5)	2003	DBLP DOI BibTeX RDF
20	Arnaud Carayol, Stefan Wöhrle	The Caucal Hierarchy of Infinite Graphs in Terms of Logic and Higher-Order Pushdown Automata.	FSTTCS	2003	DBLP DOI BibTeX RDF
20	Stefan Haar	Probabilistic Unfoldings and Partial Order Fairness in Petri Nets.	PAPM-PROBMIV	2002	DBLP DOI BibTeX RDF
20	Vitaly E. Kozura	Unfoldings of Coloured Petri Nets.	Ershov Memorial Conference	2001	DBLP DOI BibTeX RDF
20	Kevin X. He, Michael D. Lemmon	Liveness Verification of Discrete Event Systems Modeled by n -Safe Ordinary Petri Nets.	ICATPN	2000	DBLP DOI BibTeX RDF
20	Anatoli Degtyarev, Andrei Voronkov	Stratified Resolution.	CADE	2000	DBLP DOI BibTeX RDF
20	Jean-Michel Couvreur, Denis Poitrenaud	Detection of Illegal Behaviors Based on Unfoldings.	ICATPN	1999	DBLP DOI BibTeX RDF	Failure Equivalence, Model Checking, Petri Net, Partial Order
20	Maurice Bruynooghe, Michael Leuschel, Konstantinos Sagonas	A Polyvariant Binding-Time Analysis for Off-line Partial Deduction.	ESOP	1998	DBLP DOI BibTeX RDF
20	Michaela Huhn, Peter Niebert, Frank Wallner	Verification Based on Local States.	TACAS	1998	DBLP DOI BibTeX RDF
20	Ugo Montanari, Marco Pistore	Checking Bisimilarity for Finitary pi-Calculus.	CONCUR	1995	DBLP DOI BibTeX RDF
20	José Meseguer 0001, Ugo Montanari, Vladimiro Sassone	On the Model of Computation of Place/Transition Petri Nets.	Application and Theory of Petri Nets	1994	DBLP DOI BibTeX RDF
20	Kazuhito Ito, Lori E. Lucke, Keshab K. Parhi	Module selection and data format conversion for cost-optimal DSP synthesis.	ICCAD	1994	DBLP DOI BibTeX RDF
20	Francis Alexandre	A technique for Transforming Logic Programs by Fold-Unfold Transformations.	PLILP	1992	DBLP DOI BibTeX RDF	definite program, fold-unfold, program transformation, schema
18	Jenny Quillien, Pam Rostal, Dave West	Agile anthropology and Alexander's architecture: an essay in three voices.	OOPSLA	2009	DBLP DOI BibTeX RDF	alexander, complexity, ethnography, patterns, agile, unfolding, theory-building
18	Yevgeny Schreiber, Micha Sharir	An Optimal-Time Algorithm for Shortest Paths on a Convex Polytope in Three Dimensions.	Discret. Comput. Geom.	2008	DBLP DOI BibTeX RDF	Continuous Dijkstra, Polytope surface, Shortest path, Unfolding, Geodesics, Wavefront, Shortest path map
18	Yevgeny Schreiber, Micha Sharir	An optimal-time algorithm for shortest paths on a convex polytope in three dimensions.	SCG	2006	DBLP DOI BibTeX RDF	continuous Dijkstra, polytope surface, shortest path, unfolding, geodesics, wavefront, shortest path map
18	Parthasarathy Ramachandran, Manjunath Kamath	A Sufficient Condition for Reachability in a General Petri Net.	Discret. Event Dyn. Syst.	2004	DBLP DOI BibTeX RDF	acyclic transformations, net expansion, transition firing sequence, Petri nets, reachability analysis, unfolding
18	Xinmiao Zhang, Keshab K. Parhi	High-speed architectures for parallel long BCH encoders.	ACM Great Lakes Symposium on VLSI	2004	DBLP DOI BibTeX RDF	BCH, critical loop, iteration bound, parallel processing, encoder, linear feedback shift register, retiming, unfolding, fanout, generator polynomial
18	Javier Esparza, Bernhard von Stengel	The Asynchronous Committee Meeting Problem.	WG	1993	DBLP DOI BibTeX RDF	Committee meeting problem, maximal antichains, N-free posets, Petri net unfolding
18	Kyungsook Y. Lee, Hyunsoo Yoon	Indirect Star-Type Networks for Large Multiprocessor Systems.	IEEE Trans. Computers	1991	DBLP DOI BibTeX RDF	star network II, large multiprocessor systems, indirect star-type networks, star networks I, star-delta network, star-delta network, unfolding scheme, recursive property, destination tag routing scheme, indirect cube-type networks, performance evaluation, performance, multiprocessor interconnection networks, n-cube
18	Paul Tarau, Michel Boyer	Elementary Logic Programs.	PLILP	1990	DBLP DOI BibTeX RDF	logic program transformations, binary programs, fair evaluation, unfolding, metaprograms, OR-parallelism
18	Charles Consel	New Insights into Partial Evaluation: the SCHISM Experiment.	ESOP	1988	DBLP DOI BibTeX RDF	applicative languages, SCHISM, mixed computation, Program transformation, Scheme, partial evaluation, unfolding, specialization, program generation, compiler generation
14	Ziwei Zhao, Jinfeng Hu, Kai Zhong, Yongfeng Zuo, Huiyong Li, Bozhou Zhang	MIMO Radar Waveform Design for Range-ISL Optimization via Iterative Deep Unfolding Network.	IEEE Geosci. Remote. Sens. Lett.	2024	DBLP DOI BibTeX RDF
14	Songcheng Du, Yihong Leng, Xinyi Liang, Jiaojiao Li 0001, Wei Liu, Qian Du 0001	Degradation Aware Unfolding Network for Spectral Super-Resolution.	IEEE Geosci. Remote. Sens. Lett.	2024	DBLP DOI BibTeX RDF
14	Yao Zhao, Chengwen Ou, He Tian, Bingo Wing-Kuen Ling, Ye Tian, Zhe Zhang	Sparse SAR Imaging Algorithm in Marine Environments Based on Memory-Augmented Deep Unfolding Network.	Remote. Sens.	2024	DBLP DOI BibTeX RDF
14	Wenjiao Chen, Jiwen Geng, Fanjie Meng, Li Zhang	Pseudo-L0-Norm Fast Iterative Shrinkage Algorithm Network: Agile Synthetic Aperture Radar Imaging via Deep Unfolding Network.	Remote. Sens.	2024	DBLP DOI BibTeX RDF
14	Faming Lu, Fenghua Lv, Minghao Cui, Yunxia Bao, Qingtian Zeng	Petri Net Unfolding-Based Detection and Replay of Program Deadlocks.	IEEE Access	2024	DBLP DOI BibTeX RDF
14	Mark de Rooij, Frank M. T. A. Busing	Multinomial Restricted Unfolding.	J. Classif.	2024	DBLP DOI BibTeX RDF
14	R. Swetha, Sabitha Ramakrishnan	Unfolding VLSI Architecture for Mixed Noise Removal and Multiple Classification of ECG Signals.	Circuits Syst. Signal Process.	2024	DBLP DOI BibTeX RDF
14	Truong Thanh Nhat Mai, Edmund Y. Lam, Chul Lee	Deep Unfolding Tensor Rank Minimization With Generalized Detail Injection for Pansharpening.	IEEE Trans. Geosci. Remote. Sens.	2024	DBLP DOI BibTeX RDF
14	Chengle Zhou, Zhi He, Anjun Lou, Antonio Plaza	RGB-to-HSV: A Frequency-Spectrum Unfolding Network for Spectral Super-Resolution of RGB Videos.	IEEE Trans. Geosci. Remote. Sens.	2024	DBLP DOI BibTeX RDF
14	Kai Zhang 0010, Jun Yan, Feng Zhang, Chiru Ge, Wenbo Wan, Jiande Sun 0001, Huaxiang Zhang 0001	Spectral-Spatial Dual Graph Unfolding Network for Multispectral and Hyperspectral Image Fusion.	IEEE Trans. Geosci. Remote. Sens.	2024	DBLP DOI BibTeX RDF
14	Hailin Tao, Jinjiang Li, Zhen Hua, Fan Zhang 0045	DUDB: Deep Unfolding-Based Dual-Branch Feature Fusion Network for Pan-Sharpening Remote Sensing Images.	IEEE Trans. Geosci. Remote. Sens.	2024	DBLP DOI BibTeX RDF
14	Chi Zhang, Yi Wang, Tao Liang, Kang Kong, Qiwen Yao, Siyang Zuo	A Novel Miniature Flexible Instrument With Unfolding and Decoupling Design for Endoscopic Surgery.	IEEE Robotics Autom. Lett.	2024	DBLP DOI BibTeX RDF
14	Manuel Radons	Edge-unfolding nested prismatoids.	Comput. Geom.	2024	DBLP DOI BibTeX RDF
14	Luhua Wang, Jun Zhang 0026	BPDQ$_{p}$-Net: A Deep Unfolding Method for Quantized Compressed Sensing.	IEEE Signal Process. Lett.	2024	DBLP DOI BibTeX RDF
14	Tiancheng Li, Qiurong Yan, Quan Zou, Qianling Dai	Gates-Controlled Deep Unfolding Network for Image Compressed Sensing.	IEEE Trans. Computational Imaging	2024	DBLP DOI BibTeX RDF
14	Bonan Zhu, Seán R. Kavanagh, David O. Scanlon	easyunfold: A Python package for unfolding electronic band structures.	J. Open Source Softw.	2024	DBLP DOI BibTeX RDF
14	Wenxue Cui, Xiaopeng Fan, Jian Zhang 0018, Debin Zhao	Deep Unfolding Network for Image Compressed Sensing by Content-Adaptive Gradient Updating and Deformation-Invariant Non-Local Modeling.	IEEE Trans. Multim.	2024	DBLP DOI BibTeX RDF
14	Yuan Fang, Yipeng Liu 0001, Jie Chen, Zhen Long, Ao Li, Chong-Yung Chi, Ce Zhu	Deep unfolding Network for Hyperspectral Image Super-Resolution with Automatic Exposure Correction.	CoRR	2024	DBLP DOI BibTeX RDF
14	Silvia Bonettini, Luca Calatroni, Danilo Pezzi, Marco Prato	Algorithmic unfolding for image reconstruction and localization problems in fluorescence microscopy.	CoRR	2024	DBLP DOI BibTeX RDF
14	Ryo Hagiwara, Satoshi Takabe	Convergence Acceleration of Markov Chain Monte Carlo-based Gradient Descent by Deep Unfolding.	CoRR	2024	DBLP DOI BibTeX RDF