Search results for "unfold"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
88	María Alpuente, Demis Ballis, Michele Baggi, Moreno Falaschi	A fold/unfold transformation framework for rewrite theories extended to CCT.	PEPM	2010	DBLP DOI BibTeX RDF	code carrying theory, fold/unfold transformation, rewriting logic
88	Jirí Vyskocil, Petr Stepánek	Improving Efficiency of Prolog Programs by Fully Automated Unfold/Fold Transformation.	MICAI	2007	DBLP DOI BibTeX RDF	unfold/fold transformation, homeomorphic embedding, logic programming, prolog, partial deduction
88	Jeremy Gibbons, Geraint Jones	The Under-Appreciated Unfold.	ICFP	1998	DBLP DOI BibTeX RDF	anamorphism, co-induction, level-order, functional programing, unfold, fold, traversal, breadth-first, program calculation
78	David Sands	Total Correctness by Local Improvement in the Transformation of Functional Programs.	ACM Trans. Program. Lang. Syst.	1996	DBLP DOI BibTeX RDF	operational equivalence, unfold-fold, program transformation, correctness, improvement
75	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
74	Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan 0001, I. V. Ramakrishnan	An unfold/fold transformation framework for definite logic programs.	ACM Trans. Program. Lang. Syst.	2004	DBLP DOI BibTeX RDF	inductive theorem proving, Logic programming, program transformation, unfolding, folding
64	Sukhyun Lim, Hye-Jin Lee, Byeong-Seok Shin	Surface Reconstruction for Efficient Colon Unfolding.	GMP	2006	DBLP DOI BibTeX RDF
61	Nicoletta De Francesco, Antonella Santone	Unfold/Fold Transformations of Concurrent Processes.	PLILP	1996	DBLP DOI BibTeX RDF
51	David Sands 0001	Total Correctness by Local Improvement in Program Transformation. (long version: ACM Trans. Program. Lang. Syst. 18(2): 175-234(1996))	POPL	1995	DBLP DOI BibTeX RDF
48	Tjark Weber, James L. Caldwell	Constructively Characterizing Fold and Unfold.	LOPSTR	2003	DBLP DOI BibTeX RDF
48	Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan 0001, I. V. Ramakrishnan	Beyond Tamaki-Sato Style Unfold/Fold Transformations for Normal Logic Programs.	ASIAN	1999	DBLP DOI BibTeX RDF
48	Annalisa Bossi, Nicoletta Cocco	Preserving Universal Termination through Unfold/Fold.	ALP	1994	DBLP DOI BibTeX RDF	universal termination, program transformations
48	Manolis Gergatsoulis, Maria Katzouraki	Unfold/Fold Transformations For Definite Clause Programs.	PLILP	1994	DBLP DOI BibTeX RDF
48	Saumya K. Debray	Unfold/Fold Transformations and Loop Optimization of Logic Programs.	PLDI	1988	DBLP DOI BibTeX RDF
38	Jeremy Gibbons	Streaming Representation-Changers.	MPC	2004	DBLP DOI BibTeX RDF
38	Nicoletta De Francesco, Antonella Santone	A Transformation System for Concurrent Processes.	Acta Informatica	1998	DBLP DOI BibTeX RDF
38	Sandro Etalle, Maurizio Gabbrielli, Elena Marchiori	A Transformation System for CLP with Dynamic Scheduling and CCP.	PEPM	1997	DBLP DOI BibTeX RDF	concurrent constraint logic programming, transformation, deadlock, coroutining
35	Alberto Pettorossi, Maurizio Proietti	Perfect Model Checking via Unfold/Fold Transformations.	Computational Logic	2000	DBLP DOI BibTeX RDF
35	Graham Hutton	Fold and Unfold for Program Semantics.	ICFP	1998	DBLP DOI BibTeX RDF	CCS
35	Torben Amtoft	Unfold/fold Transformations Preserving Termination Properties.	PLILP	1992	DBLP DOI BibTeX RDF
35	Taisuke Sato	An Equivalence Preserving First Order Unfold/fold Transformation System.	ALP	1990	DBLP DOI BibTeX RDF
27	Janis Voigtländer	Using Circular Programs to Deforest in Accumulating Parameters.	High. Order Symb. Comput.	2004	DBLP DOI BibTeX RDF	intermediate results, accumulating arguments, unfold/fold, (short cut) deforestation, tree transducers, program transformation, tupling, circular programs
27	Jun Mitani, Hiromasa Suzuki	Making papercraft toys from meshes using strip-based approximate unfolding.	ACM Trans. Graph.	2004	DBLP DOI BibTeX RDF	Papercraft, Mesh, Simplification, Unfold
26	Alberto Pettorossi, Maurizio Proietti, Valerio Senni	Automatic Correctness Proofs for Logic Program Transformations.	ICLP	2007	DBLP DOI BibTeX RDF
26	Tyng-Ruey Chuang, Jan-Li Lin	On modular transformation of structural content.	ACM Symposium on Document Engineering	2004	DBLP DOI BibTeX RDF	bird-meertens formalism, document transformation and validation, XML, functional programming, ML, modules
26	Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti	Verification of Sets of Infinite State Processes Using Program Transformation.	LOPSTR	2001	DBLP DOI BibTeX RDF
26	Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan 0001, I. V. Ramakrishnan, Scott A. Smolka	Verification of Parameterized Systems Using Logic Program Transformations.	TACAS	2000	DBLP DOI BibTeX RDF
26	Zdzislaw Splawski, Pawel Urzyczyn	Type Fixpoints: Iteration vs. Recursion.	ICFP	1999	DBLP DOI BibTeX RDF
26	Gerardo Hermosillo, Olivier D. Faugeras, José Gomes	Unfolding the Cerebral Cortex Using Level Set Methods.	Scale-Space	1999	DBLP DOI BibTeX RDF
26	Robert Glück, Jesper Jørgensen, Bern Martens, Morten Heine Sørensen	Controlling Conjunctive Partial Deduction.	PLILP	1996	DBLP DOI BibTeX RDF
26	Annalisa Bossi, Sandro Etalle	Transforming Acyclic Programs.	ACM Trans. Program. Lang. Syst.	1994	DBLP DOI BibTeX RDF	acyclic programs, terminating programs, termination
26	Morten Heine Sørensen, Robert Glück, Neil D. Jones	Towards Unifying Partial Evaluation, Deforestation, Supercompilation, and GPC.	ESOP	1994	DBLP DOI BibTeX RDF
23	Ningquan Gu, Ruhan He, Lianqing Yu	Learning to Unfold Garment Effectively Into Oriented Direction.	IEEE Robotics Autom. Lett.	2024	DBLP DOI BibTeX RDF
23	Mahmudul Faisal Al Ameen, Naoki Kobayashi 0001, Ryosuke Sato 0001	Asynchronous unfold/fold transformation for fixpoint logic.	Sci. Comput. Program.	2024	DBLP DOI BibTeX RDF
23	Aditya Dixit, Anup Kumar Gupta, Puneet Gupta 0002, Saurabh Srivastava 0003, Ankur Garg	UNFOLD: 3-D U-Net, 3-D CNN, and 3-D Transformer-Based Hyperspectral Image Denoising.	IEEE Trans. Geosci. Remote. Sens.	2023	DBLP DOI BibTeX RDF
23	James P. Bagrow	Using fast and slow data to unfold city dynamics.	Nat. Comput. Sci.	2023	DBLP DOI BibTeX RDF
23	Romain Sacchi	unfold: removing the barriers to sharing and reproducing prospective life-cycle assessment databases.	J. Open Source Softw.	2023	DBLP DOI BibTeX RDF
23	Jung-Ho Hong, Woo-Jeoung Nam, Kyu-Sung Jeon, Seong-Whan Lee	Towards Better Visualizing the Decision Basis of Networks via Unfold and Conquer Attribution Guidance.	CoRR	2023	DBLP DOI BibTeX RDF
23	Joseph O'Rourke	Polar Zonohedra Edge-Unfold to Nets.	CoRR	2023	DBLP DOI BibTeX RDF
23	Olivier Danvy	Fold-unfold lemmas for reasoning about recursive programs using the Coq proof assistant - ERRATUM.	J. Funct. Program.	2023	DBLP DOI BibTeX RDF
23	Jung-Ho Hong, Woo-Jeoung Nam, Kyu-Sung Jeon, Seong-Whan Lee	Towards Better Visualizing the Decision Basis of Networks via Unfold and Conquer Attribution Guidance.	AAAI	2023	DBLP DOI BibTeX RDF
23	Weiyue Lin, Ting Li, Liu Liu, Qian Zhu 0010	"Unfold and Go Touch": A Portable Method for Making Existing Touchscreens Accessible to Blind and Low Vision People in Self-Service Terminals.	CHI Extended Abstracts	2023	DBLP DOI BibTeX RDF
23	Shunji Fujihara, Yuta Yoshioka, Kimitoshi Yamazaki	A Pair of End-Effectors for Unfold-to-Fold a Fabric by Dual-Arm Manipulation.	ROBIO	2023	DBLP DOI BibTeX RDF
23	Joseph O'Rourke	Every Combinatorial Polyhedron Can Unfold with Overlap.	CoRR	2022	DBLP DOI BibTeX RDF
23	Antara Sengupta, Subhadip Chakraborty, Pabitra Pal Choudhury	Chemical characterizations of neurotransmission receptors of human and plant to unfold the evolutionary relationships among them.	Comput. Biol. Chem.	2022	DBLP DOI BibTeX RDF
23	Olivier Danvy	Fold-unfold lemmas for reasoning about recursive programs using the Coq proof assistant.	J. Funct. Program.	2022	DBLP DOI BibTeX RDF
23	Mahmudul Faisal Al Ameen, Naoki Kobayashi 0001, Ryosuke Sato 0001	Asynchronous Unfold/Fold Transformation for Fixpoint Logic.	FLOPS	2022	DBLP DOI BibTeX RDF
23	Baobao Li, Xiaofei Zhang 0001, Jianfeng Li 0001, Jinke Cao	Direct Position Determination using Distributed Unfold Coprime Arrays with Unknown Mutual Coupling: based on Reduced-Dimension Search.	EITCE	2022	DBLP DOI BibTeX RDF
23	Yiheng Tu, Dimitrios Pantazis, Georgia Wilson, Sheraz Khan 0002, Seppo P. Ahlfors, Jian Kong	How expectations of pain elicited by consciously and unconsciously perceived cues unfold over time.	NeuroImage	2021	DBLP DOI BibTeX RDF
23	Michael Prilla, Oliver Blunk, Irene-Angelica Chounta	How Does Collaborative Reflection Unfold in Online Communities? An Analysis of Two Data Sets.	Comput. Support. Cooperative Work.	2020	DBLP DOI BibTeX RDF
23	Thorsten Korpitsch, Shigeo Takahashi, Eduard Gröller, Hsiang-Yun Wu	Simulated Annealing to Unfold 3D Meshes and Assign Glue Tabs.	J. WSCG	2020	DBLP DOI BibTeX RDF
23	Mohamed Yousef, Tom E. Bishop	OrigamiNet: Weakly-Supervised, Segmentation-Free, One-Step, Full Page Text Recognition by learning to unfold.	CoRR	2020	DBLP BibTeX RDF
23	Immaculada Baldomá, Santiago Ibáñez 0002, Tere M. Seara	Hopf-Zero singularities truly unfold chaos.	Commun. Nonlinear Sci. Numer. Simul.	2020	DBLP DOI BibTeX RDF
23	Mohamed Yousef, Tom E. Bishop	OrigamiNet: Weakly-Supervised, Segmentation-Free, One-Step, Full Page Text Recognition by learning to unfold.	CVPR	2020	DBLP BibTeX RDF
23	Naoki Kobayashi 0001, Grigory Fedyukovich, Aarti Gupta	Fold/Unfold Transformations for Fixpoint Logic.	TACAS (2)	2020	DBLP DOI BibTeX RDF
23	Shannon Patricia Devlin, Jake Ryan Flynn, Sara Lu Riggs	How Shared Visual Attention Patterns of Pairs Unfold Over Time when Workload Changes.	ETRA Short Papers	2020	DBLP DOI BibTeX RDF
23	Pinjiao Zhao, Ke Wang 0005, Guobing Hu, Liangtian Wan	Underdetermined DOA Estimation Using Unfold Coprime Array From the Perspective of Sum-Difference Co-Array.	IEEE Access	2019	DBLP DOI BibTeX RDF
23	Matteo Tomei, Marcella Cornia, Lorenzo Baraldi 0001, Rita Cucchiara	Image-to-Image Translation to Unfold the Reality of Artworks: An Empirical Analysis.	ICIAP (2)	2019	DBLP DOI BibTeX RDF
23	Hissu Hyvärinen, Roman Beck	How Emotions Unfold in Online Discussions After a Terror Attack.	ICIS	2019	DBLP BibTeX RDF
23	Hai Lan 0001, Xinshi Zheng, Paul M. Torrens	Spark Sensing: A Cloud Computing Framework to Unfold Processing Efficiencies for Large and Multiscale Remotely Sensed Data, with Examples on Landsat 8 and MODIS Data.	J. Sensors	2018	DBLP DOI BibTeX RDF
23	Llorenç Burgas, Joaquím Meléndez, Joan Colomer, Joaquim Massana, Carles Pous	N-dimensional extension of unfold-PCA for granular systems monitoring.	Eng. Appl. Artif. Intell.	2018	DBLP DOI BibTeX RDF
23	Lefei Liu, Peter Liu, Jiawei Liu, Vickey Chang	Unfold income myth: Revolution in income models with advanced machine learning techniques for better accuracy.	Model. Assist. Stat. Appl.	2018	DBLP DOI BibTeX RDF
23	Elisa Mattarelli, Aaron Schecter, Pamela J. Hinds, Noshir Contractor, Cindy Lu, Begum Topac	How Co-creation Processes Unfold and Predict Submission Quality in Crowd-based Open Innovation.	ICIS	2018	DBLP BibTeX RDF
23	Andrzej Jalowiecki, Wojciech Skarka	Generative Modelling Technique Application for Unfold Surface Designs.	TE	2018	DBLP DOI BibTeX RDF
23	Reza Yazdani, José-María Arnau, Antonio González 0001	UNFOLD: a memory-efficient speech recognizer using on-the-fly WFST composition.	MICRO	2017	DBLP DOI BibTeX RDF
23	Zhonghua Xi, Yunhyeong Kim, Young J. Kim, Jyh-Ming Lien	Learning to segment and unfold polyhedral mesh from failures.	Comput. Graph.	2016	DBLP DOI BibTeX RDF
23	Neomi Singer, Nori Jacoby, Tamar Lin, Gal Raz, Lavi Shpigelman, Gadi Gilam, Roni Y. Granot, Talma Hendler	Common modulation of limbic network activation underlies musical emotions as they unfold.	NeuroImage	2016	DBLP DOI BibTeX RDF
23	Ting Hua, Liang Zhao 0002, Feng Chen 0001, Chang-Tien Lu, Naren Ramakrishnan	How events unfold: spatiotemporal mining in social media.	ACM SIGSPATIAL Special	2015	DBLP DOI BibTeX RDF
23	Ivan Dokmanic, Juri Ranieri, Martin Vetterli	Relax and unfold: Microphone localization with Euclidean distance matrices.	EUSIPCO	2015	DBLP DOI BibTeX RDF
23	Peng Qiu	Unfold High-Dimensional Clouds for Exhaustive Gating of Flow Cytometry Data.	IEEE ACM Trans. Comput. Biol. Bioinform.	2014	DBLP DOI BibTeX RDF
23	Masanori Nagashima, Tomofumi Kato, Masahiko Sakai, Naoki Nishida 0001	Inverse Unfold Problem and Its Heuristic Solving.	WPTE@RTA/TLCA	2014	DBLP DOI BibTeX RDF
23	Jennifer Hackett, Graham Hutton, Mauro Jaskelioff	The Under-Performing Unfold: A new approach to optimising corecursive programs.	IFL	2013	DBLP DOI BibTeX RDF
23	S. Domsch, A. Lemke, Sebastian Weingärtner, Lothar R. Schad	A novel temporal filtering strategy for functional MRI using UNFOLD.	NeuroImage	2012	DBLP DOI BibTeX RDF
23	Weiwei Cui, Huamin Qu, Hong Zhou 0004, Wenbin Zhang 0007, Steven Skiena	Watch the Story Unfold with TextWheel: Visualization of Large-Scale News Streams.	ACM Trans. Intell. Syst. Technol.	2012	DBLP DOI BibTeX RDF
23	Chris T. Bauch, Samit Bhattacharyya	Evolutionary Game Theory and Social Learning Can Determine How Vaccine Scares Unfold.	PLoS Comput. Biol.	2012	DBLP DOI BibTeX RDF
23	YingLiang Ma, Rashed Karim, Richard James Housden, Geert Gijsbers, Roland Bullens, Christopher Aldo Rinaldi, Reza Razavi, Tobias Schaeffter, Kawal S. Rhode	Cardiac Unfold: A Novel Technique for Image-Guided Cardiac Catheterization Procedures.	IPCAI	2012	DBLP DOI BibTeX RDF
23	Peggy St. Jacques, Martin A. Conway, Matthew W. Lowder, Roberto Cabeza	Watching My Mind Unfold versus Yours: An fMRI Study Using a Novel Camera Technology to Examine Neural Differences in Self-projection of Self versus Other Perspectives.	J. Cogn. Neurosci.	2011	DBLP DOI BibTeX RDF
23	Geoff W. Hamilton, Neil D. Jones	Proving the Correctness of Unfold/Fold Program Transformations Using Bisimulation.	Ershov Memorial Conference	2011	DBLP DOI BibTeX RDF
23	Feng Li 0002, Jun Luo 0001, Chi Zhang 0064, Shi-Qing Xin, Ying He 0001	UNFOLD: uniform fast on-line boundary detection for dynamic 3D wireless sensor networks.	MobiHoc	2011	DBLP DOI BibTeX RDF
23	Ben D. Eaton, Silvia Elaluf-Calderwood, Carsten Sørensen, Youngjin Yoo	Structural Narrative Analysis as a Means to Unfold the Paradox of Control and Generativity that Lies within Mobile Platforms.	ICMB	2011	DBLP DOI BibTeX RDF	structural narrative analysis, control, generativity, innovation, mobile platforms
23	Hirohisa Seki	Proving Properties of Co-Logic Programs by Unfold/Fold Transformations.	LOPSTR	2011	DBLP DOI BibTeX RDF
23	Carlo Vittorio Cannistraci, Timothy Ravasi, Franco Maria Montevecchi, Trey Ideker, Massimo Alessio	Nonlinear dimension reduction and clustering by Minimum Curvilinearity unfold neuropathic pain and tissue embryological classes.	Bioinform.	2010	DBLP DOI BibTeX RDF
23	Hirohisa Seki	On Inductive Proofs by Extended Unfold/Fold Transformation Rules.	LOPSTR	2010	DBLP DOI BibTeX RDF
23	Onur Afacan, William Scott Hoge, Dana H. Brooks, István Ákos Mórocz	Increasing Temporal Resolution in Hybrid 3D EPI fMRI Studies Using Unfold.	ISBI	2009	DBLP DOI BibTeX RDF
23	Conor McBride	Let's See How Things Unfold: Reconciling the Infinite with the Intensional (Extended Abstract).	CALCO	2009	DBLP DOI BibTeX RDF
23	Hirohisa Seki	On Inductive and Coinductive Proofs via Unfold/Fold Transformations.	LOPSTR	2009	DBLP DOI BibTeX RDF
23	W. Scott Hoge, Huan Tan, Robert A. Kraft	Improved PASL EPI acquisitions with parallel imaging and unfold.	ACSCC	2008	DBLP DOI BibTeX RDF
23	Stefan Haar	Unfold and cover: Qualitative diagnosability for Petri Nets.	CDC	2007	DBLP DOI BibTeX RDF
23	Mark Johnson 0001	Transforming Projective Bilexical Dependency Grammars into efficiently-parsable CFGs with Unfold-Fold.	ACL	2007	DBLP BibTeX RDF
23	Alberto Pettorossi, Maurizio Proietti, Valerio Senni	Proofs of Program Properties via Unfold/Fold Transformations of Constraint Logic Programs.	Transformation Techniques in Software Engineering	2005	DBLP BibTeX RDF
23	A. M. Livshits, Yurii E. Lozovik	Cut-and-Unfold Approach to Fullerene Enumeration.	J. Chem. Inf. Model.	2004	DBLP DOI BibTeX RDF
23	Abhik Roychoudhury, C. R. Ramakrishnan 0001	Unfold/Fold Transformations for Automated Verification of Parameterized Concurrent Systems.	Program Development in Computational Logic	2004	DBLP DOI BibTeX RDF
23	Ginés Moreno	A narrowing-based instantiation rule for rewriting-based fold/unfold transformations.	WFLP	2003	DBLP DOI BibTeX RDF
23	Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan 0001, I. V. Ramakrishnan	Beyond Tamaki-Sato Style Unfold/Fold Transformations for Normal Logic Programs.	Int. J. Found. Comput. Sci.	2002	DBLP DOI BibTeX RDF
23	Hironohu Aoki, Motoki Miura, Jiro Tanaka	A Web Site Editing System Based on Unfold/ Fold Operations.	International Conference on Internet Computing	2002	DBLP BibTeX RDF
23	Jeremy Gibbons, Graham Hutton, Thorsten Altenkirch	When is a function a fold or an unfold?	CMCS	2001	DBLP DOI BibTeX RDF
23	Franklyn A. Turbak, J. B. Wells	Cycle Therapy: A Prescription for Fold and Unfold on Regular Trees.	PPDP	2001	DBLP DOI BibTeX RDF
23	Alberto Pettorossi, Maurizio Proietti	Synthesis and Transformation of Logic Programs Using Unfold/Fold Proofs.	J. Log. Program.	1999	DBLP DOI BibTeX RDF
23	Abhik Roychoudhury, K. Narayan Kumar, I. V. Ramakrishnan	Generalized Unfold/fold Transformation Systems for Normal Logic Programs.	ICLP	1999	DBLP BibTeX RDF
23	Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan 0001, I. V. Ramakrishnan	A Parameterized Unfold/Fold Transformation Framework for Definite Logic Programs.	PPDP	1999	DBLP DOI BibTeX RDF