Search results for "Refinement"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
21	Shinya Umeno, Nancy A. Lynch	Safety Verification of an Aircraft Landing Protocol: A Refinement Approach.	HSCC	2007	DBLP DOI BibTeX RDF
21	Jean Pierre Charalambos, Jirí Bittner, Michael Wimmer 0001, Eduardo Romero 0001	Optimized HLOD Refinement Driven by Hardware Occlusion Queries.	ISVC (1)	2007	DBLP DOI BibTeX RDF
21	Kenneth L. Knowles, Cormac Flanagan	Type Reconstruction for General Refinement Types.	ESOP	2007	DBLP DOI BibTeX RDF
21	Andrey N. Chernikov, Nikos Chrisochoides	Three-dimensional Semi-generalized Point Placement Method for Delaunay Mesh Refinement.	IMR	2007	DBLP DOI BibTeX RDF
21	Jane Tournois, Pierre Alliez, Olivier Devillers	Interleaving Delaunay Refinement and Optimization for 2D Triangle Mesh Generation.	IMR	2007	DBLP DOI BibTeX RDF
21	Alberto Signoroni, Riccardo Leonardi	Two-way interactive refinement of segmented medical volumes.	ICIAP	2007	DBLP DOI BibTeX RDF
21	Harald Fecher, Immo Grabe	Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition and Refinement-Preserving Logic.	FSEN	2007	DBLP DOI BibTeX RDF
21	Xiaopeng Fan, Oscar C. Au, Yan Chen 0007, Jiantao Zhou 0001, Peter H. W. Wong	Wyner-Ziv Successive Refinement of Video and Rate Distortion Analysis.	ICME	2007	DBLP DOI BibTeX RDF
21	Changhu Wang, Feng Jing, Lei Zhang 0001, Hong-Jiang Zhang	Content-Based Image Annotation Refinement.	CVPR	2007	DBLP DOI BibTeX RDF
21	Roberto Sebastiani, Stefano Tonetta, Moshe Y. Vardi	Property-Driven Partitioning for Abstraction Refinement.	TACAS	2007	DBLP DOI BibTeX RDF
21	Peter Y. H. Wong, Jeremy Gibbons	A Process-Algebraic Approach to Workflow Specification and Refinement.	SC@ETAPS	2007	DBLP DOI BibTeX RDF
21	Taufiq Rochaeli, Claudia Eckert 0001	Expertise Knowledge-Based Policy Refinement Process.	POLICY	2007	DBLP DOI BibTeX RDF
21	Benoît Hudson, Gary L. Miller, Todd Phillips	Sparse parallel Delaunay mesh refinement.	SPAA	2007	DBLP DOI BibTeX RDF	computational geometry, mesh generation, shared-memory parallelism
21	Anhong Wang, Yao Zhao 0001, Lei Wei 0006	Wavelet-Domain Distributed Video Coding with Motion-Compensated Refinement.	ICIP	2006	DBLP DOI BibTeX RDF
21	Thomas Ball, Orna Kupferman	An Abstraction-Refinement Framework for Multi-Agent Systems.	LICS	2006	DBLP DOI BibTeX RDF
21	Zhiguo Gong, Qian Liu, Jingbai Zhang	Web Image Retrieval Refinement by Visual Contents.	WAIM	2006	DBLP DOI BibTeX RDF
21	Renato Fernandes Hentschke, Guilherme Flach, Felipe Pinto, Ricardo Reis 0001	Quadratic placement for 3d circuits using z-cell shifting, 3d iterative refinement and simulated annealing.	SBCCI	2006	DBLP DOI BibTeX RDF	3d circuits, cell shifting, placement, quadratic placement
21	Zhijun Ding, Yaying Zhang, Changjun Jiang, Zhaohui Zhang	Refinement of Petri Nets in Workflow Integration.	CSCWD (Selected Papers)	2006	DBLP DOI BibTeX RDF
21	Timo Volkmer, Apostol Natsev	Exploring Automatic Query Refinement for Text-Based Video Retrieval.	ICME	2006	DBLP DOI BibTeX RDF
21	Bing Li, Fabio Somenzi	Efficient Abstraction Refinement in Interpolation-Based Unbounded Model Checking.	TACAS	2006	DBLP DOI BibTeX RDF
21	Fredrik Seehusen, Ketil Stølen	Maintaining Information Flow Security Under Refinement and Transformation.	Formal Aspects in Security and Trust	2006	DBLP DOI BibTeX RDF
21	Seung-Kyun Oh, HyunWook Park	Motion Vector Estimation and Adatptive Refinement for the MPEG-4 to H.264/AVC Video Transcoder.	APCCAS	2006	DBLP DOI BibTeX RDF
21	Nicolas Bruno, Surajit Chaudhuri	Physical Design Refinement: The "Merge-Reduce" Approach.	EDBT	2006	DBLP DOI BibTeX RDF
21	Nancy Hitschfeld-Kahler	Generation of 3D mixed element meshes using a flexible refinement approach.	Eng. Comput.	2005	DBLP DOI BibTeX RDF	Modified octree approach, Delaunay meshes, Mixed-element meshes
21	Hong Lu 0001, Yap-Peng Tan	An effective post-refinement method for shot boundary detection.	IEEE Trans. Circuits Syst. Video Technol.	2005	DBLP DOI BibTeX RDF
21	Panagiotis Manolios, Sudarshan K. Srinivasan	Refinement Maps for Efficient Verification of Processor Models.	DATE	2005	DBLP DOI BibTeX RDF
21	Ivana Mijajlovic, Hongseok Yang	Data Refinement with Low-Level Pointer Operations.	APLAS	2005	DBLP DOI BibTeX RDF
21	Martin Atzmüller, Joachim Baumeister, Achim Hemsing, Ernst-Jürgen Richter, Frank Puppe	Subgroup Mining for Interactive Knowledge Refinement.	AIME	2005	DBLP DOI BibTeX RDF
21	Andrey N. Chernikov, Nikos Chrisochoides	Parallel 2D Graded Guaranteed Quality Delaunay Mesh Refinement.	IMR	2005	DBLP DOI BibTeX RDF
21	John Derrick, Heike Wehrheim	Non-atomic Refinement in Z and CSP.	ZB	2005	DBLP DOI BibTeX RDF
21	Lindsay Groves	Practical Data Refinement for the Z Schema Calculus.	ZB	2005	DBLP DOI BibTeX RDF
21	Steve Dunne, Stacey Conroy	Process Refinement in B.	ZB	2005	DBLP DOI BibTeX RDF
21	Francesco Ranzato, Francesco Tapparo	An Abstract Interpretation-Based Refinement Algorithm for Strong Preservation.	TACAS	2005	DBLP DOI BibTeX RDF
21	W. Greg Phillips, T. C. Nicholas Graham, Christopher Wolfe	A Calculus for the Refinement and Evolution of Multi-user Mobile Applications.	DSV-IS	2005	DBLP DOI BibTeX RDF
21	Javier Rubio-Loyola, Joan Serrat 0001, Marinos Charalambides, Paris Flegkas, George Pavlou, Alberto Lluch-Lafuente	Using Linear Temporal Model Checking for Goal-Oriented Policy Refinement Frameworks.	POLICY	2005	DBLP DOI BibTeX RDF
21	Mark E. Botkin, Hui-Ping Wang	An adaptive mesh refinement of quadrilateral finite element meshes based upon an a posteriori error estimation of quantities of interest: modal response.	Eng. Comput.	2004	DBLP DOI BibTeX RDF	Adaptive mesh generation, Error analysis, Error estimation, Finite element analysis, Modal analysis
21	Claudia Pons, Roxana S. Giandini, Gabriela Pérez, Pablo Pesce, Valeria Becker, Jorge Longinotti, Javier Cengia	PAMPERO: Precise Assistant for the Modeling Process in an Environment with Refinement Orientation.	UML Satellite Activities	2004	DBLP DOI BibTeX RDF
21	Gary L. Miller	A time efficient Delaunay refinement algorithm.	SODA	2004	DBLP BibTeX RDF
21	Olga Kouchnarenko, Arnaud Lanoix	Verifying Invariants of Component-Based Systems through Refinement.	AMAST	2004	DBLP DOI BibTeX RDF
21	David Lesaint, George Papamargaritis	Aspects for Synthesizing Applications by Refinement.	ICSR	2004	DBLP DOI BibTeX RDF
21	Christine Tanner, Michael Khazen, Preminda Kessar, Martin O. Leach, David J. Hawkes	Classification Improvement by Segmentation Refinement: Application to Contrast-Enhanced MR-Mammography.	MICCAI (1)	2004	DBLP DOI BibTeX RDF
21	Byeong-Seok Shin	Efficient Perspective Volume Visualization Method Using Progressive Depth Refinement.	CIS	2004	DBLP DOI BibTeX RDF
21	Robert Colvin, Lindsay Groves, Ian J. Hayes, David Hemer, Ray Nickson, Paul A. Strooper	Developing Logic Programs from Specifications Using Stepwise Refinement.	Program Development in Computational Logic	2004	DBLP DOI BibTeX RDF
21	Geoffrey Watson	Compilation by Refinement for a Practical Assembly Language.	ICFEM	2003	DBLP DOI BibTeX RDF
21	Kyoung-Mi Lee	Neural Network-Generated Image Retrieval and Refinement.	Adaptive Multimedia Retrieval	2003	DBLP DOI BibTeX RDF
21	Robert Niewiadomski, José Nelson Amaral, Robert C. Holte	Crafting Data Structures: A Study of Reference Locality in Refinement-Based Pathfinding.	HiPC	2003	DBLP DOI BibTeX RDF
21	Jean-Pierre Talpin, Paul Le Guernic, Sandeep K. Shukla, Rajesh K. Gupta 0001, Frederic Doucet	Polychrony for Formal Refinement-Checking in a System-Level Design Methodology.	ACSD	2003	DBLP DOI BibTeX RDF
21	John Derrick, Eerke A. Boiten	Recent Advances in Refinement.	Abstract State Machines	2003	DBLP DOI BibTeX RDF
21	Kazuaki Kishida, Noriko Kando	Two-Stage Refinement of Query Translation in a Pivot Language Approach to Cross-Lingual Information Retrieval: An Experiment at CLEF 2003.	CLEF	2003	DBLP DOI BibTeX RDF
21	Edmund M. Clarke, Ansgar Fehnker, Zhi Han, Bruce H. Krogh, Olaf Stursberg, Michael Theobald	Verification of Hybrid Systems Based on Counterexample-Guided Abstraction Refinement.	TACAS	2003	DBLP DOI BibTeX RDF
21	Julia Padberg, Milan Urbásek	Rule-Based Refinement of Petri Nets: A Survey.	Petri Net Technology for Communication-Based Systems	2003	DBLP DOI BibTeX RDF
21	Wei Jyh Heng, King Ngi Ngan	Shot boundary refinement for long transition in digital video sequence.	IEEE Trans. Multim.	2002	DBLP DOI BibTeX RDF
21	Harald Fecher, Mila E. Majster-Cederbaum, Jinzhao Wu	Action Refinement for Probabilistic Processes with True Concurrency Models.	PAPM-PROBMIV	2002	DBLP DOI BibTeX RDF
21	Thomas Stauner	Discrete-Time Refinement of Hybrid Automata.	HSCC	2002	DBLP DOI BibTeX RDF
21	Einar Broch Johnsen, Olaf Owe	Composition and Refinement for Partial Object Specifications.	IPDPS	2002	DBLP DOI BibTeX RDF
21	Dusko Pavlovic, Douglas R. Smith	Software Development by Refinement.	10th Anniversary Colloquium of UNU/IIST	2002	DBLP DOI BibTeX RDF
21	Thomas Ball, Andreas Podelski, Sriram K. Rajamani	Relative Completeness of Abstraction Refinement for Software Model Checking.	TACAS	2002	DBLP DOI BibTeX RDF
21	Jae Hun Lee, Jong Beom Ra	Efficient motion estimation using edge-based binary block-matching and refinement based on motion vector correlation.	ICIP (2)	2001	DBLP DOI BibTeX RDF
21	Rajeev Alur, Bow-Yaw Wang	Verifying Network Protocol Implementations by Symbolic Refinement Checking.	CAV	2001	DBLP DOI BibTeX RDF
21	David Hemer, Ian J. Hayes, Paul A. Strooper	Refinement Calculus for Logic Programming in Isabelle/HOL.	TPHOLs	2001	DBLP DOI BibTeX RDF
21	Dolors Costal, Antoni Olivé, Ernest Teniente	Relationship Type Refinement in Conceptual Models with Multiple Classification.	ER	2001	DBLP DOI BibTeX RDF
21	Sergey P. Kopysov, Alexander K. Novikov	Parallel Adaptive Mesh Refinement with Load Balancing for Finite Element Method.	PaCT	2001	DBLP DOI BibTeX RDF
21	Heiko Mantel	Preserving Information Flow Properties under Refinement.	S&P	2001	DBLP DOI BibTeX RDF
21	Mark Ryan 0001, Pierre-Yves Schobbens	Agents and Roles: Refinement in Alternating-Time Temporal Logic.	ATAL	2001	DBLP DOI BibTeX RDF
21	Paul B. Jackson	Total-Correctness Refinement for Sequential Reactive Systems.	TPHOLs	2000	DBLP DOI BibTeX RDF
21	Rajeev Alur, Radu Grosu	Modular Refinement of Hierarchic Reactive Machines.	POPL	2000	DBLP DOI BibTeX RDF
21	Furio Honsell, John Longley, Donald Sannella, Andrzej Tarlecki	Constructive Data Refinement in Typed Lambda Calculus.	FoSSaCS	2000	DBLP DOI BibTeX RDF
21	Alan Stagg, Jackie Hallberg, Joseph Schmidt	A Parallel, Adaptive Refinement Scheme for Tetrahedral and Triangular Grids.	IPDPS Workshops	2000	DBLP DOI BibTeX RDF
21	Robin Boswell, Susan Craw	Experiences with a Generic Refinement Toolkit (Short Paper).	EKAW	2000	DBLP DOI BibTeX RDF
21	Paul Z. Kolano, Richard A. Kemmerer, Dino Mandrioli	Parallel Refinement Mechanisms for Real-Time Systems.	FASE	2000	DBLP DOI BibTeX RDF
21	Bo Martins, Søren Forchhammer	Lossless, near-lossless, and refinement coding of bilevel images.	IEEE Trans. Image Process.	1999	DBLP DOI BibTeX RDF
21	Yann Rouzaud	Interpreting the B-Method in the Refinement Calculus.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
21	Mila E. Majster-Cederbaum, Frank Salger	A Verification Technique Based on Syntactic Action Refinement in a TCSP-like Process Algebra and the Hennessy-Milner-Logic.	ASIAN	1999	DBLP DOI BibTeX RDF
21	Jihoon Yang, Rajesh Parekh, Vasant G. Honavar, Drena Dobbs	Data-Driven Theory Refinement Using KBDistAl.	IDA	1999	DBLP DOI BibTeX RDF
21	Shan-Hwei Nienhuys-Cheng, Wim Van Laer, Jan Ramon, Luc De Raedt	Generalizing Refinement Operators to Learn Prenex Conjunctive Normal Forms.	ILP	1999	DBLP DOI BibTeX RDF
21	Stefan Hendricx, Luc J. M. Claesen	Symbolic Multi-Level Verification of Refinement.	Great Lakes Symposium on VLSI	1999	DBLP DOI BibTeX RDF
21	Yoshiki Kinoshita, John Power	Data-Refinement for Call-By-Value Programming Languages.	CSL	1999	DBLP DOI BibTeX RDF
21	Ralph-Johan Back, Michael J. Butler	Fusion and Simultaneous Execution in the Refinement Calculus.	Acta Informatica	1998	DBLP DOI BibTeX RDF
21	Karl J. Lieberherr, Boaz Patt-Shamir	The Refinement Relation of Graph-Based Generic Programs.	Generic Programming	1998	DBLP DOI BibTeX RDF
21	Rimvydas Ruksenas, Joakim von Wright	A Tool for Data Refinement.	TPHOLs	1998	DBLP DOI BibTeX RDF
21	Renate Klempien-Hinrichs	Net Refinement by Pullback Rewriting.	FoSSaCS	1998	DBLP DOI BibTeX RDF
21	Martin Große-Rhode, Francesco Parisi-Presicce, Marta Simeoni	Spatial and Temporal Refinement of Typed Graph Transformation Systems.	MFCS	1998	DBLP DOI BibTeX RDF
21	Janet M. Six, Konstantinos G. Kakoulis, Ioannis G. Tollis	Refinement of Orthogonal Graph Drawings.	GD	1998	DBLP DOI BibTeX RDF
21	Kenneth L. McMillan	A Compositional Rule for Hardware Design Refinement.	CAV	1997	DBLP DOI BibTeX RDF
21	Colin J. Fidge, Mark Utting, Peter Kearney, Ian J. Hayes	Integrating Real-Time Scheduling Theory and Program Refinement.	FME	1996	DBLP DOI BibTeX RDF
21	Michael Siegel	A Refinement Theory that Supports both 'Decrease of Nondeterminism' and 'Increase of Parallelism'.	CONCUR	1995	DBLP DOI BibTeX RDF
21	Henryk Jan Komorowski, Silvia Trcek	Towards Refinement of Definite Logic Programs.	ISMIS	1994	DBLP DOI BibTeX RDF
21	Nigel Ward	Adding Specification Constructors to the Refinement Calculus.	FME	1993	DBLP DOI BibTeX RDF
21	Yonit Kesten, Zohar Manna, Amir Pnueli	Temporal Verification of Simulation and Refinement.	REX School/Symposium	1993	DBLP DOI BibTeX RDF
21	Eike Best, Raymond R. Devillers, Javier Esparza	General Refinement and Recursion Operators for the Petri Box Calculus.	STACS	1993	DBLP DOI BibTeX RDF
21	Michael J. Butler	Refinement and Decomposition of Value-Passing Action Systems.	CONCUR	1993	DBLP DOI BibTeX RDF
21	Zhaohui Luo	Program Specification and Data Refinement in Type Theory.	TAPSOFT, Vol.1	1991	DBLP DOI BibTeX RDF
21	David A. Carrington, Kenneth Arthur Robinson	Computer Assistance for Program Refinement.	CAV	1990	DBLP DOI BibTeX RDF
21	Rob J. van Glabbeek, Ursula Goltz	Equivalences and Refinement.	Semantics of Systems of Concurrent Processes	1990	DBLP DOI BibTeX RDF
21	Rob J. van Glabbeek, Ursula Goltz	Equivalence Notions for Concurrent Systems and Refinement of Actions (Extended Abstract).	MFCS	1989	DBLP DOI BibTeX RDF
21	Hartmut Ehrig, Hans-Jörg Kreowski, Bernd Mahr, Peter Padawitz	Compound Algebraic Implementations: An Approach to Stepwise Refinement of Software Systems.	MFCS	1980	DBLP DOI BibTeX RDF
19	Martin P. Ward	Properties of Slicing Definitions.	SCAM	2009	DBLP DOI BibTeX RDF	properties of slicing, semi-refinement, refinement, program analysis, transformation, Program Slicing, slicing
19	Martin P. Ward	Derivation of Data Intensive Algorithms by Formal Transformation: The Schnorr-Waite Graph Marking Algorithm.	IEEE Trans. Software Eng.	1996	DBLP DOI BibTeX RDF	transformational development, graph marking, Schorr-Waite, ghost variables, recursion removal, pointer switching, refinement, transformation, Program development, data refinement
19	Patrica H. Baucom	Software Blueprints.	ACM Annual Conference (1)	1978	DBLP DOI BibTeX RDF	Chapin charts, Nassi-Shneiderman charts, Program design language, Structured code, Structured flowcharts, Structured programming team, Structured walkthrough, Software design, Structured programming, Stepwise refinement, Structured design, Iterative refinement
18	Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon 0001	Modular verification of security protocol code by typing.	POPL	2010	DBLP DOI BibTeX RDF	f7, refinement type