Search results for "refinement"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
17	Giovanni Gallo, Giorgio M. Grasso, Salvatore Nicotra, Alfredo Pulvirenti	Remote Sensed Images Segmentation through Shape Refinement.	ICIAP	2001	DBLP DOI BibTeX RDF
17	Juliette Dibie-Barthélemy, Ollivier Haemmerlé, Stéphane Loiseau	Refinement of Conceptual Graphs.	ICCS	2001	DBLP DOI BibTeX RDF
17	Chao Wang 0001, Roderick Bloem, Gary D. Hachtel, Kavita Ravi, Fabio Somenzi	Divide and Compose: SCC Refinement for Language Emptiness.	CONCUR	2001	DBLP DOI BibTeX RDF
17	Dusko Pavlovic, Douglas R. Smith	Composition and Refinement of Behavioral Specifications.	ASE	2001	DBLP DOI BibTeX RDF
17	Rolf H. Möhring, Matthias Müller-Hannemann	Complexity and Modeling Aspects of Mesh Refinement into Quadrilater.	Algorithmica	2000	DBLP DOI BibTeX RDF	Bidirected flows, cal NP -completeness, Computer-aided design, Mesh generation, Mesh decomposition
17	Giorgio Levi, Fausto Spoto	Non Pair-Sharing and Freeness Analysis Through Linear Refinement.	PEPM	2000	DBLP DOI BibTeX RDF
17	Jarmo Rantakokko	A Local Refinement Algorithm for Data Partitioning.	PARA	2000	DBLP DOI BibTeX RDF
17	Kai Engelhardt, Ron van der Meyden, Yoram Moses	A Program Refinement Framework Supporting Reasoning about Knowledge and Time.	FoSSaCS	2000	DBLP DOI BibTeX RDF
17	Geoff A. W. West, Ezra Tassone	Assessing Different Features for Pose Refinement .	ICPR	2000	DBLP DOI BibTeX RDF
17	Ralph Miarka, Eerke A. Boiten, John Derrick	Guards, Preconditions, and Refinement in Z.	ZB	2000	DBLP DOI BibTeX RDF
17	Benjamin Yin-Sun Lynn, Antonios Symvonis, David R. Wood	Refinement of Three-Dimensional Orthogonal Graph Drawings.	GD	2000	DBLP DOI BibTeX RDF
17	Nirmalie Wiratunga, Susan Craw	Informed Selection of Training Examples for Knowledge Refinement.	EKAW	2000	DBLP DOI BibTeX RDF
17	Veselin Dobrev, Panayot S. Vassilevski	Local Refinement in Non-overlapping Domain Decomposition.	NAA	2000	DBLP DOI BibTeX RDF
17	Grigorii I. Shishkin	A Posteriori and a Priori Techniques of Loal Grid Refinement for Parabolic Problems with Boundary and Transition Layers.	NAA	2000	DBLP DOI BibTeX RDF
17	Robert Colvin, Ian J. Hayes, Paul A. Strooper	A Technique for Modular Logic Program Refinement.	LOPSTR (LNCS 2042: Selected Papers)	2000	DBLP DOI BibTeX RDF
17	Elena Baralis, Giuseppe Psaila	Incremental Refinement of Mining Queries.	DaWaK	1999	DBLP DOI BibTeX RDF
17	Michael W. Beattie, Lawrence T. Pileggi	Electromagnetic parasitic extraction via a multipole method with hierarchical refinement.	ICCAD	1999	DBLP DOI BibTeX RDF
17	Claus Schneider	Executable Specification for Multimedia Supporting Refinement and Architecture Exploration.	EUROMICRO	1999	DBLP DOI BibTeX RDF
17	Klaus Bergner, Andreas Rausch, Marc Sihling, Alexander Vilbig	Structuring and Refinement of Class Diagrams.	HICSS	1999	DBLP DOI BibTeX RDF
17	Jürgen Dingel	A Trace-Based Refinement Calculus for Shared-Variable Parallel Programs.	AMAST	1998	DBLP DOI BibTeX RDF
17	James Shin Young, Josh MacDonald, Michael Shilman, Abdallah Tabbara, Paul N. Hilfinger, A. Richard Newton	Design and Specification of Embedded Systems in Java Using Successive, Formal Refinement.	DAC	1998	DBLP DOI BibTeX RDF	Java
17	Julia Padberg, Magdalena Gajewsky, Claudia Ermel	Rule-Based Refinement of High-Level Nets Preserving Safety Properties.	FASE	1998	DBLP DOI BibTeX RDF
17	Rolf H. Möhring, Matthias Müller-Hannemann, Karsten Weihe	Mesh refinement via bidirected flows: modeling, complexity, and computational results.	J. ACM	1997	DBLP DOI BibTeX RDF	b-matching problem, augmenting paths, bidirected flows, NP-completeness, templates, mesh generation
17	Bart Jacobs 0001	Behaviour-Refinement of Coalgebraic Specifications with Coinductive Correctness Proofs.	TAPSOFT	1997	DBLP DOI BibTeX RDF
17	Arend Rensink, Roberto Gorrieri	Action Refinement as an Implementation Relations.	TAPSOFT	1997	DBLP DOI BibTeX RDF
17	Seppo Puuronen, Vagan Y. Terziyan	The Voting-Type Technique in the Refinement of Multiple Expert Knowledge.	HICSS (5)	1997	DBLP DOI BibTeX RDF
17	James D. Roberts	A New Parallelization of Subgraphs Isomorphism Refinement for Classification and Retrieval of Conceptual Structures.	ICCS	1995	DBLP DOI BibTeX RDF
17	Paulo Blauth Menezes, José Félix Costa, Amílcar Sernadas	Refinement Mapping for General (Discrete Event) Systems Theory.	EUROCAST	1995	DBLP DOI BibTeX RDF
17	Karlis Cerans	CTR: A Calculus of Timed Refinement.	CONCUR	1995	DBLP DOI BibTeX RDF
17	Robert R. Goldberg	Constrained pose refinement of parametric objects.	Int. J. Comput. Vis.	1994	DBLP DOI BibTeX RDF
17	François Erasmy, Emil Sekerinski	Stepwise Refinement of Control Software - A Case Study Using RAISE.	FME	1994	DBLP DOI BibTeX RDF
17	Chih-Chuan Lin, Mark E. Law, Rex E. Lowther	Automatic grid refinement and higher order flux discretization for diffusion modeling.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1993	DBLP DOI BibTeX RDF
17	Jim Grundy	A Three-Valued Logic for Refinement.	Formal Methods in Programming and Their Applications	1993	DBLP DOI BibTeX RDF
17	Colin J. Fidge	Real-Time Refinement.	FME	1993	DBLP DOI BibTeX RDF
17	Steve A. Schneider	Timewise Refinement for Communicating Processes.	MFPS	1993	DBLP DOI BibTeX RDF
17	Kenneth R. Wood	A Practical Approach to Software Engineering Using Z and the Refinement Calculus.	SIGSOFT FSE	1993	DBLP DOI BibTeX RDF	Z
17	Bruno Baccus, Dominique Collard, Emmanuel Dubois 0002	Adaptive mesh refinement for multilayer process simulation using the finite element method.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1992	DBLP DOI BibTeX RDF
17	Lalita Jategaonkar, Albert R. Meyer	Testing Equivalence for Petri Nets with Action Refinement: Preliminary Report.	CONCUR	1992	DBLP DOI BibTeX RDF
17	David C. Arney, Joseph E. Flaherty	An adaptive mesh-moving and local refinement method for time-dependent partial differential equations.	ACM Trans. Math. Softw.	1990	DBLP DOI BibTeX RDF
17	Steve King 0001	Z and the Refinement Calculus.	VDM Europe	1990	DBLP DOI BibTeX RDF
17	Joseph A. Goguen	An Algebraic Approach to Refinement.	VDM Europe	1990	DBLP DOI BibTeX RDF
17	Mahesh Sharma, Graham F. Carey	Semiconductor device simulation using adaptive refinement and flux upwinding.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1989	DBLP DOI BibTeX RDF
17	Peter Kilpatrick, P. McParland	Software Support for the Refinement of VDM Specifications.	VDM Europe	1988	DBLP DOI BibTeX RDF
17	Jifeng He 0001, C. A. R. Hoare, Jeff W. Sanders	Data Refinement Refined.	ESOP	1986	DBLP DOI BibTeX RDF
17	Larry Wos, Ross A. Overbeek, Lawrence J. Henschen	Hyperparamodulation: A Refinement of Paramodulation.	CADE	1980	DBLP DOI BibTeX RDF
16	Fuga Kawamata, Hiroshi Unno 0001, Taro Sekiyama, Tachio Terauchi	Answer Refinement Modification: Refinement Type System for Algebraic Effects and Handlers.	Proc. ACM Program. Lang.	2024	DBLP DOI BibTeX RDF
16	Tianrun Gao, Huihe Qiu, Lin Fu	Multi-level adaptive particle refinement method with large refinement scale ratio and new free-surface detection algorithm for complex fluid-structure interaction problems.	J. Comput. Phys.	2023	DBLP DOI BibTeX RDF
16	Fuga Kawamata, Hiroshi Unno 0001, Taro Sekiyama, Tachio Terauchi	Answer Refinement Modification: Refinement Type System for Algebraic Effects and Handlers.	CoRR	2023	DBLP DOI BibTeX RDF
16	Robert Burlacu	On refinement strategies for solving ${\textsc {MINLP}\mathrm{s}}$ by piecewise linear relaxations: a generalized red refinement.	Optim. Lett.	2022	DBLP DOI BibTeX RDF
16	Yongxing Dai, Jun Liu 0036, Yan Bai, Zekun Tong, Ling-Yu Duan	Dual-Refinement: Joint Label and Feature Refinement for Unsupervised Domain Adaptive Person Re-Identification.	IEEE Trans. Image Process.	2021	DBLP DOI BibTeX RDF
16	Yongxing Dai, Jun Liu 0036, Yan Bai, Zekun Tong, Ling-Yu Duan	Dual-Refinement: Joint Label and Feature Refinement for Unsupervised Domain Adaptive Person Re-Identification.	CoRR	2020	DBLP BibTeX RDF
16	Huili Xing	Refinement Modal Logic Based on Finite Approximation of Covariant-Contravariant Refinement.	IEEE Access	2019	DBLP DOI BibTeX RDF
16	Mathieu Montin, Marc Pantel	Ordering Strict Partial Orders to Model Behavioral Refinement.	Refine@FM	2018	DBLP DOI BibTeX RDF
16	Efraim Machado, Aline Andrade	A Refinement Repair Algorithm Based on Refinement Game for KMTS Models.	SBMF	2016	DBLP DOI BibTeX RDF
16	John Derrick, Eerke A. Boiten	Relational Concurrent Refinement - Partial and Total Frameworks.	From Action Systems to Distributed Systems	2016	DBLP DOI BibTeX RDF
16	Rimvydas Ruksenas, Paolo Masci 0001, Paul Curzon	Developing and Verifying User Interface Requirements for Infusion Pumps: A Refinement Approach.	From Action Systems to Distributed Systems	2016	DBLP DOI BibTeX RDF
16	Alessandro Fantechi, Stefania Gnesi	Refinement of Behavioural Models for Variability Description.	From Action Systems to Distributed Systems	2016	DBLP DOI BibTeX RDF
16	Diana-Elena Gratie, Bogdan Iancu, Sepinoud Azimi, Ion Petre	Quantitative Model Refinement in Four Different Frameworks, with Applications to the Heat Shock Response.	From Action Systems to Distributed Systems	2016	DBLP DOI BibTeX RDF
16	Jüri Vain, Leonidas Tsiopoulos, Pontus Boström	Integrating Refinement-Based Methods for Developing Timed Systems.	From Action Systems to Distributed Systems	2016	DBLP DOI BibTeX RDF
16	Michael Kerber, Michael Sagraloff	Root refinement for real polynomials using quadratic interval refinement.	J. Comput. Appl. Math.	2015	DBLP DOI BibTeX RDF
16	Diana-Elena Gratie, Ion Petre	Full structural model refinement as type refinement of colored Petri nets.	BioPPN@Petri Nets	2015	DBLP BibTeX RDF
16	Jason Koenig, K. Rustan M. Leino	Programming Language Features for Refinement.	Refine@FM	2015	DBLP DOI BibTeX RDF
16	Thomas Fayolle, Marc Frappier, Régine Laleau, Frédéric Gervais	Formal refinement of extended state machines.	Refine@FM	2015	DBLP DOI BibTeX RDF
16	Eerke A. Boiten	Big Data Refinement.	Refine@FM	2015	DBLP DOI BibTeX RDF
16	Brijesh Dongol, Lindsay Groves	Towards linking correctness conditions for concurrent objects and contextual trace refinement.	Refine@FM	2015	DBLP DOI BibTeX RDF
16	Alvaro Miyazawa, Ana Cavalcanti 0001	SCJ-Circus: a refinement-oriented formal notation for Safety-Critical Java.	Refine@FM	2015	DBLP DOI BibTeX RDF
16	Alexandre Madeira, Manuel A. Martins 0001, Luís Soares Barbosa	A logic for n-dimensional hierarchical refinement.	Refine@FM	2015	DBLP DOI BibTeX RDF
16	Brijesh Dongol, John Derrick	Data refinement for true concurrency	Refine@IFM	2013	DBLP DOI BibTeX RDF
16	Michael J. Butler, John Colley, Andrew Edmunds, Colin F. Snook, Neil Evans, Neil Grant, Helen Marshall	Modelling and Refinement in CODA	Refine@IFM	2013	DBLP DOI BibTeX RDF
16	Alexandre Madeira, Manuel A. Martins 0001, Luís Soares Barbosa	Bisimilarity and refinement for hybrid(ised) logics	Refine@IFM	2013	DBLP DOI BibTeX RDF
16	Emil Sekerinski, Tian Zhang	On a New Notion of Partial Refinement	Refine@IFM	2013	DBLP DOI BibTeX RDF
16	John Derrick, Eerke A. Boiten	Relational Concurrent Refinement: Timed Refinement.	FMOODS/FORTE	2011	DBLP DOI BibTeX RDF
16	John Derrick, Siobhán North, Anthony J. H. Simons	Building a refinement checker for Z	Refine@FM	2011	DBLP DOI BibTeX RDF
16	Gian Perrone, Søren Debois, Thomas T. Hildebrandt	Bigraphical Refinement	Refine@FM	2011	DBLP DOI BibTeX RDF
16	Alvaro Miyazawa, Ana Cavalcanti 0001	Refinement-based verification of sequential implementations of Stateflow charts	Refine@FM	2011	DBLP DOI BibTeX RDF
16	Steve A. Schneider, Helen Treharne, Heike Wehrheim	A CSP Account of Event-B Refinement	Refine@FM	2011	DBLP DOI BibTeX RDF
16	Ukachukwu Ndukwu, Annabelle McIver	Model exploration and analysis for quantitative safety refinement in probabilistic B	Refine@FM	2011	DBLP DOI BibTeX RDF
16	Steve Reeves, David Streader	Refinement for Probabilistic Systems with Nondeterminism	Refine@FM	2011	DBLP DOI BibTeX RDF
16	Eerke A. Boiten	Perspicuity and Granularity in Refinement	Refine@FM	2011	DBLP DOI BibTeX RDF
16	César Jesus Rodrigues, Manuel A. Martins 0001, Alexandre Madeira, Luís Soares Barbosa	Refinement by interpretation in π-institutions	Refine@FM	2011	DBLP DOI BibTeX RDF
16	Takeshi Nagaoka, Kozo Okano, Shinji Kusumoto	An Abstraction Refinement Technique for Timed Automata Based on Counterexample-Guided Abstraction Refinement Loop.	IEICE Trans. Inf. Syst.	2010	DBLP DOI BibTeX RDF
16	Shengtai Li	Comparison of refinement criteria for structured adaptive mesh refinement.	J. Comput. Appl. Math.	2010	DBLP DOI BibTeX RDF
16	Steve Reeves, David Streader	Guarded Operations, Refinement and Simulation.	REFINE@FMWeek	2009	DBLP DOI BibTeX RDF
16	Carroll Morgan	How to Brew-up a Refinement Ordering.	REFINE@FMWeek	2009	DBLP DOI BibTeX RDF
16	Viorel Preoteasa, Ralph-Johan Back	Data Refinement of Invariant Based Programs.	REFINE@FMWeek	2009	DBLP DOI BibTeX RDF
16	T. M. Rabehaja, Jeff W. Sanders	Data Refinement with Probability in Mind.	REFINE@FMWeek	2009	DBLP DOI BibTeX RDF
16	John Derrick, Eerke A. Boiten	Relational Concurrent Refinement: Automata.	REFINE@FMWeek	2009	DBLP DOI BibTeX RDF
16	César Jesus Rodrigues, José Nuno Oliveira, Luís Soares Barbosa	A Single Complete Relational Rule for Coalgebraic Refinement.	REFINE@FMWeek	2009	DBLP DOI BibTeX RDF
16	Manuel A. Martins 0001, Alexandre Madeira, Luís Soares Barbosa	Refinement by Interpretation in a General Setting.	REFINE@FMWeek	2009	DBLP DOI BibTeX RDF
16	John Derrick, Eerke A. Boiten	More Relational Concurrent Refinement: Traces and Partial Relations.	Refine@FM	2008	DBLP DOI BibTeX RDF
16	Emil Sekerinski	An Algebraic Approach to Refinement with Fair Choice.	Refine@FM	2008	DBLP DOI BibTeX RDF
16	Gerhard Schellhorn	Completeness of ASM Refinement.	Refine@FM	2008	DBLP DOI BibTeX RDF
16	Wim H. Hesselink	Simulation Refinement for Concurrency Verification.	Refine@FM	2008	DBLP DOI BibTeX RDF
16	Neil Evans	Refinement for Pipelining in Event-B.	Refine@FM	2008	DBLP DOI BibTeX RDF
16	Alexandre Madeira	Observational Refinement Process.	Refine@FM	2008	DBLP DOI BibTeX RDF
16	Marcel Oliveira, Ana Cavalcanti 0001	ArcAngelC: a Refinement Tactic Language for Circus.	Refine@FM	2008	DBLP DOI BibTeX RDF
16	Maria Spichkova	Refinement-Based Verification of Interactive Real-Time Systems.	Refine@FM	2008	DBLP DOI BibTeX RDF
16	Georg Struth	Modal Tools for Separation and Refinement.	Refine@FM	2008	DBLP DOI BibTeX RDF
16	Sven Apel, Christian Kästner, Thomas Leich, Gunter Saake	Aspect Refinement Ð Unifying AOP and Stepwise Refinement.	J. Object Technol.	2007	DBLP DOI BibTeX RDF
16	Larissa Meinicke, Kim Solin	Refinement Algebra for Probabilistic Programs.	REFINE@IFM	2007	DBLP DOI BibTeX RDF