Search results for "refinement"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
17	Holger Grandy, Kurt Stenzel, Wolfgang Reif	A Refinement Method for Java Programs.	FMOODS	2007	DBLP DOI BibTeX RDF
17	Jens Lehmann 0001, Pascal Hitzler	Foundations of Refinement Operators for Description Logics.	ILP	2007	DBLP DOI BibTeX RDF
17	Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski	On Modal Refinement and Consistency.	CONCUR	2007	DBLP DOI BibTeX RDF
17	Nicolas Stouls, Marie-Laure Potet	Security Policy Enforcement Through Refinement Process.	B	2007	DBLP DOI BibTeX RDF
17	Colin F. Snook, Marina Waldén	Refinement of Statemachines Using Event B Semantics.	B	2007	DBLP DOI BibTeX RDF
17	Felix Klaedtke, Stefan Ratschan, Zhikun She	Language-Based Abstraction Refinement for Hybrid System Verification.	VMCAI	2007	DBLP DOI BibTeX RDF
17	Nabil Hameurlain	Contextualizing Behavioural Substitutability and Refinement of Role Components in MAS.	ESAW	2007	DBLP DOI BibTeX RDF
17	Henning Dierks, Sebastian Kupferschmid, Kim Guldstrand Larsen	Automatic Abstraction Refinement for Timed Automata.	FORMATS	2007	DBLP DOI BibTeX RDF
17	James Demmel, Yozo Hida, William Kahan, Xiaoye S. Li, Sonil Mukherjee, E. Jason Riedy	Error bounds from extra-precise iterative refinement.	ACM Trans. Math. Softw.	2006	DBLP DOI BibTeX RDF	Linear algebra, floating-point arithmetic, BLAS, LAPACK
17	Radu Marculescu, Ümit Y. Ogras, Nicholas H. Zamora	Computation and communication refinement for multiprocessor SoC design: A system-level perspective.	ACM Trans. Design Autom. Electr. Syst.	2006	DBLP DOI BibTeX RDF	communication, Embedded systems, performance analysis, prototype, Markov chains, systems-on-chip, networks-on-chip, traffic, energy optimization
17	Damien Lefol, David R. Bull	Mode Refinement Algorithm for H.264 Inter Frame Requantization.	ICIP	2006	DBLP DOI BibTeX RDF
17	Kim Solin	On Two Dually Nondeterministic Refinement Algebras.	RelMiCS	2006	DBLP DOI BibTeX RDF
17	Rachel Tzoref, Orna Grumberg	Automatic Refinement and Vacuity Detection for Symbolic Trajectory Evaluation.	CAV	2006	DBLP DOI BibTeX RDF
17	Ming Leng, Songnian Yu, Yang Chen	An Effective Refinement Algorithm Based on Multilevel Paradigm for Graph Bipartitioning.	PROLAMAT	2006	DBLP DOI BibTeX RDF	multilevel paradigm, Tabu search, min-cut, graph bipartitioning
17	Sean Safarpour, Andreas G. Veneris	Abstraction and Refinement Techniques in Automated Design Debugging.	MTV	2006	DBLP DOI BibTeX RDF
17	Christophe Alexandre, Marek Sroka, Hugo Clément, Christian Masson	Zephyr: A Static Timing Analyzer Integrated in a Trans-hierarchical Refinement Design Flow.	PATMOS	2006	DBLP DOI BibTeX RDF
17	Carroll Morgan	The Shadow Knows: Refinement of Ignorance in Sequential Programs.	MPC	2006	DBLP DOI BibTeX RDF
17	Pavel Avgustinov, Eric Bodden, Elnar Hajiyev, Oege de Moor, Neil Ongkingco, Damien Sereni, Ganesh Sittampalam, Julian Tibble	Aspects and Data Refinement.	MPC	2006	DBLP DOI BibTeX RDF
17	Kim Solin, Joakim von Wright	Refinement Algebra with Operators for Enabledness and Termination.	MPC	2006	DBLP DOI BibTeX RDF
17	Quang Huy Nguyen 0002, Boutheina Chetali	Certifying Native Java API by Formal Refinement.	CARDIS	2006	DBLP DOI BibTeX RDF
17	Roman Manevich, John Field, Thomas A. Henzinger, G. Ramalingam, Mooly Sagiv	Abstract Counterexample-Based Refinement for Powerset Domains.	Program Analysis and Compilation	2006	DBLP DOI BibTeX RDF
17	Samira Si-Said Cherfi, Jacky Akoka, Isabelle Comyn-Wattiau	Use Case Modeling and Refinement: A Quality-Based Approach.	ER	2006	DBLP DOI BibTeX RDF	complexity, modularization, use case modelling, quality criteria
17	Andrey N. Chernikov, Nikos Chrisochoides	Generalized Delaunay Mesh Refinement: From Scalar to Parallel.	IMR	2006	DBLP DOI BibTeX RDF
17	Juhan-Peep Ernits, Andres Kull, Kullo Raiend, Jüri Vain	Generating Tests from EFSM Models Using Guided Model Checking and Iterated Search Refinement.	FATES/RV	2006	DBLP DOI BibTeX RDF
17	Dieter Hutter	Possibilistic Information Flow Control in MAKS and Action Refinement.	ETRICS	2006	DBLP DOI BibTeX RDF
17	Gilad Arnold	Specialized 3-Valued Logic Shape Analysis Using Structure-Based Refinement and Loose Embedding.	SAS	2006	DBLP DOI BibTeX RDF
17	Huazhong Ning, Wei Xu 0007, Yihong Gong, Thomas S. Huang	Improving Speaker Diarization by Cross EM Refinement.	ICME	2006	DBLP DOI BibTeX RDF
17	Javier Esparza, Stefan Kiefer, Stefan Schwoon	Abstraction Refinement with Craig Interpolation and Symbolic Pushdown Systems.	TACAS	2006	DBLP DOI BibTeX RDF
17	Barbara König 0001, Vitali Kozioura	Counterexample-Guided Abstraction Refinement for the Analysis of Graph Transformation Systems.	TACAS	2006	DBLP DOI BibTeX RDF
17	Bhargav S. Gulavani, Sriram K. Rajamani	Counterexample Driven Refinement for Abstract Interpretation.	TACAS	2006	DBLP DOI BibTeX RDF
17	Daniel Fredouille, Christopher H. Bryant, Channa K. Jayawickreme, Steven Jupe, Simon Topp	An ILP Refinement Operator for Biological Grammar Learning.	ILP	2006	DBLP DOI BibTeX RDF
17	Brad Grinstead, Andreas F. Koschan, Mongi A. Abidi	Geometry Refinement of 3D Surfaces Using Kriging.	3DPVT	2006	DBLP DOI BibTeX RDF
17	Ryosuke Yamasaki, Kazutaka Kobayashi, Nurul Azma Zakaria, Shuji Narazaki, Norihiko Yoshida	Refactoring-Based Stepwise Refinement in Abstract System-Level Design.	EUC	2006	DBLP DOI BibTeX RDF
17	Bruno Girodias, El Mostapha Aboulhamid, Gabriela Nicolescu	A Platform for Refinement of OS Services for Embedded Systems.	DELTA	2006	DBLP DOI BibTeX RDF
17	R. Bruce Simpson, Maria-Cecilia Rivara	Geometrical Mesh Improvement Properties of Delaunay Terminal Edge Refinement.	GMP	2006	DBLP DOI BibTeX RDF
17	Annabelle McIver, Carroll Morgan	Abstraction and refinement in probabilistic systems.	SIGMETRICS Perform. Evaluation Rev.	2005	DBLP DOI BibTeX RDF
17	Stefano Cattani, Marta Z. Kwiatkowska	A refinement-based process algebra for timed automata.	Formal Aspects Comput.	2005	DBLP DOI BibTeX RDF
17	Diego Nehab, Szymon Rusinkiewicz, James Davis 0001	Improved Sub-pixel Stereo Correspondences through Symmetric Refinement.	ICCV	2005	DBLP DOI BibTeX RDF
17	Ruixuan Wang, Wee Kheng Leow	Human body posture refinement by nonparametric belief propagation.	ICIP (3)	2005	DBLP DOI BibTeX RDF
17	Timothy Chklovski, Patrick Pantel	Global Path-Based Refinement of Noisy Graphs Applied to Verb Semantics.	IJCNLP	2005	DBLP DOI BibTeX RDF
17	Juha Plosila, Pasi Liljeberg, Jouni Isoaho	Modelling and Refinement of an On-Chip Communication Architecture.	ICFEM	2005	DBLP DOI BibTeX RDF
17	Michel Bidoit, Rolf Hennicker	Externalized and Internalized Notions of Behavioral Refinement.	ICTAC	2005	DBLP DOI BibTeX RDF
17	Fausto Spoto	Information Flow Is Linear Refinement of Constancy.	ICTAC	2005	DBLP DOI BibTeX RDF
17	Stefan Ratschan, Zhikun She	Safety Verification of Hybrid Systems by Constraint Propagation Based Abstraction Refinement.	HSCC	2005	DBLP DOI BibTeX RDF
17	Le-Jeng Shiue, Jörg Peters 0001	Mesh Refinement Based on Euler Encoding.	SMI	2005	DBLP DOI BibTeX RDF
17	Thai Son Hoang, Zhendong Jin, Ken Robinson, Annabelle McIver, Carroll Morgan	Development via Refinement in Probabilistic B - Foundation and Case Study.	ZB	2005	DBLP DOI BibTeX RDF
17	Anubhav Gupta 0001, Edmund M. Clarke	Reconsidering CEGAR: Learning Good Abstractions without Refinement.	ICCD	2005	DBLP DOI BibTeX RDF
17	Jeffrey R. Merrick, Shige Wang, Kang G. Shin, Jing Song, William Milam	Priority Refinement for Dependent Tasks in Large Embedded Real-Time Software.	IEEE Real-Time and Embedded Technology and Applications Symposium	2005	DBLP DOI BibTeX RDF
17	Andrzej S. Murawski, Joël Ouaknine	On Probabilistic Program Equivalence and Refinement.	CONCUR	2005	DBLP DOI BibTeX RDF
17	Orland Hoeber, Xue Dong Yang, Yiyu Yao	Visualization Support for Interactive Query Refinement.	Web Intelligence	2005	DBLP DOI BibTeX RDF
17	Don S. Batory, Jacob Neal Sarvela, Axel Rauschmayer	Scaling Step-Wise Refinement.	IEEE Trans. Software Eng.	2004	DBLP DOI BibTeX RDF
17	Marc Vigo Anglada, Núria Pla Garcia, Dolors Ayala	Two Triangulation Methods Based on Edge Refinement.	Computing	2004	DBLP DOI BibTeX RDF	regular triangulation, curvature adaptive, meshing, Delaunay triangulation, trimmed surfaces
17	Till Mossakowski, Donald Sannella, Andrzej Tarlecki	A Simple Refinement Language for Casl.	WADT	2004	DBLP DOI BibTeX RDF
17	Thomas Ball, Byron Cook, Shuvendu K. Lahiri, Lintao Zhang	Zapato: Automatic Theorem Proving for Predicate Abstraction Refinement.	CAV	2004	DBLP DOI BibTeX RDF
17	Heike Wehrheim	Refinement and Consistency in Component Models with Multiple Views.	Architecting Systems with Trustworthy Components	2004	DBLP DOI BibTeX RDF
17	Christoph Grimm 0001, Wilhelm Heupke, Klaus Waldschmidt	Refinement of Mixed-Signal Systems with Affine Arithmetic.	DATE	2004	DBLP DOI BibTeX RDF
17	Alexander Krupp, Wolfgang Müller 0003, Ian Oliver	Formal Refinement and Model Checking of an Echo Cancellation Unit.	DATE	2004	DBLP DOI BibTeX RDF
17	John Derrick, Graeme Smith 0001	Linear Temporal Logic and Z Refinement.	AMAST	2004	DBLP DOI BibTeX RDF
17	Vincent Englebert, F. Vermaut	Attribute-Based Refinement of Software Architectures.	WICSA	2004	DBLP DOI BibTeX RDF
17	Luciano Baresi, Reiko Heckel, Sebastian Thöne, Dániel Varró	Style-Based Refinement of Dynamic Software Architectures.	WICSA	2004	DBLP DOI BibTeX RDF
17	Jain-Shing Liu, Chun-Hung Richard Lin	RBR: Refinement-Based Route Maintenance Protocol in Wireless Ad Hoc Networks.	MWCN	2004	DBLP DOI BibTeX RDF	ad hoc wireless network, route maintenance
17	Pei-Hsin Ho	Abstraction Refinement.	ATVA	2004	DBLP DOI BibTeX RDF
17	Reza Abedi, Shuo-Heng Chung, Jeff Erickson 0001, Yong Fan, Michael Garland, Damrong Guoy, Robert B. Haber, John M. Sullivan, Shripad Thite, Yuan Zhou	Spacetime meshing with adaptive refinement and coarsening.	SCG	2004	DBLP DOI BibTeX RDF	spacetime discontinuous Galerkin, adaptivity, mesh generation, tetrahedral meshes, unstructured meshes, advancing front
17	Nenad Stojanovic, Ljiljana Stojanovic	On Modelling Cooperative Retrieval Using an Ontology-Based Query Refinement Process.	ER	2004	DBLP DOI BibTeX RDF
17	Andrey N. Chernikov, Nikos Chrisochoides	Practical and efficient point insertion scheduling method for parallel guaranteed quality delaunay refinement.	ICS	2004	DBLP DOI BibTeX RDF	delaunay triangulation, mesh generation, COTS software, parallel scientific computing
17	Luís Soares Barbosa	A Perspective on Component Refinement.	FMCO	2004	DBLP DOI BibTeX RDF
17	Cosmin Danut Bocaniala, José L. Sá da Costa, Vasile Palade	Refinement of the Diagnosis Process Performed with a Fuzzy Classifier.	KES	2004	DBLP DOI BibTeX RDF
17	Kazuaki Kishida, Noriko Kando, Kuang-hua Chen	Two-Stage Refinement of Transitive Query Translation with English Disambiguation for Cross-Language Information Retrieval: An Experiment at CLEF 2004.	CLEF	2004	DBLP DOI BibTeX RDF
17	Sharon Shoham, Orna Grumberg	Monotonic Abstraction-Refinement for CTL.	TACAS	2004	DBLP DOI BibTeX RDF
17	Nenad Stojanovic	An Approach for Ontology-Enhanced Query Refinement in Information Portals.	ICTAI	2004	DBLP DOI BibTeX RDF
17	Arosha K. Bandara, Emil Lupu, Jonathan D. Moffett, Alessandra Russo	A Goal-based Approach to Policy Refinement.	POLICY	2004	DBLP DOI BibTeX RDF
17	Nenad Stojanovic	A Logic-Based Approach for Query Refinement.	Web Intelligence	2004	DBLP DOI BibTeX RDF
17	Nenad Stojanovic, Rudi Studer, Ljiljana Stojanovic	An Approach for Step-By-Step Query Refinement in the Ontology-Based Information Retrieval.	Web Intelligence	2004	DBLP DOI BibTeX RDF
17	Abdelgawad Eb. Taher	New Refinement Schemes for Voice Conversion.	TSD	2004	DBLP DOI BibTeX RDF
17	Wei-Ta Chu, Wen-Huang Cheng, Sheng-Fang He, Chia-Wei Wang, Ja-Ling Wu	A Unified Framework Using Spatial Color Descriptor and Motion-Based Post Refinement for Shot Boundary Detection.	PCM (3)	2004	DBLP DOI BibTeX RDF
17	Egon Börger	The ASM Refinement Method.	Formal Aspects Comput.	2003	DBLP DOI BibTeX RDF	Specifying and Verifying and Reasoning about Programs, Models of computation
17	Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Shaz Qadeer	Thread-Modular Abstraction Refinement.	CAV	2003	DBLP DOI BibTeX RDF
17	Nabil Hameurlain	Refinement of Open Protocols for Modelling and Analysis of Complex Interactions in Multi-agent Systems.	CEEMAS	2003	DBLP DOI BibTeX RDF
17	Thomas Haase, Oliver Meyer 0001, Boris Böhlen, Felix H. Gatzemeier	Fire3: Architecture Refinement for A-posteriori Integration.	AGTIVE	2003	DBLP DOI BibTeX RDF
17	Moshe Deutsch, Martin C. Henson, Besnik Kajtazi	Modular refinement in novel schema calculi.	APSEC	2003	DBLP DOI BibTeX RDF
17	Feng-Hsu Wang	Knowledge Refinement Tools to Support Inductive Learning by Inquiry Examples.	ICWL	2003	DBLP DOI BibTeX RDF
17	Soon-Yong Park, Murali Subbarao	A Range Image Refinement Technique for Multi-view 3D Model Reconstruction.	3DIM	2003	DBLP DOI BibTeX RDF
17	María-del-Mar Gallardo, Jesús Martínez, Pedro Merino 0001, Ernesto Pimentel 0001	Abstract Model Checking and Refinement of Temporal Logic in aSPIN.	ACSD	2003	DBLP DOI BibTeX RDF
17	Moshe Deutsch, Martin C. Henson, Steve Reeves	Operation Refinement and Monotonicity in the Schema Calculus.	ZB	2003	DBLP DOI BibTeX RDF
17	Don S. Batory, Jacob Neal Sarvela, Axel Rauschmayer	Scaling Step-Wise Refinement.	ICSE	2003	DBLP DOI BibTeX RDF
17	Pedro R. D'Argenio, Bertrand Jeannet, Henrik Ejersbo Jensen, Kim Guldstrand Larsen	Reduction and Refinement Strategies for Probabilistic Analysis.	PAPM-PROBMIV	2002	DBLP DOI BibTeX RDF
17	Prosenjit Chatterjee, Hemanthkumar Sivaraj, Ganesh Gopalakrishnan	Shared Memory Consistency Protocol Verification Against Weak Memory Models: Refinement via Model-Checking.	CAV	2002	DBLP DOI BibTeX RDF
17	Jifeng He 0001, Zhiming Liu 0001, Xiaoshan Li	Towards a Refinement Calculus for Object Systems.	IEEE ICCI	2002	DBLP DOI BibTeX RDF
17	Sibylle Peuker, Ian J. Hayes	Towards a Refinement Calculus for Concurrent Real-Time Programs.	ICFEM	2002	DBLP DOI BibTeX RDF
17	Siu-Wing Cheng, Tamal K. Dey	Quality meshing with weighted Delaunay refinement.	SODA	2002	DBLP BibTeX RDF
17	David G. Stork, Rob J. van Glabbeek	Token-Controlled Place Refinement in Hierarchical Petri Nets with Application to Active Document Workflow.	ICATPN	2002	DBLP DOI BibTeX RDF
17	Claus Pahl	Interference Analysis for Dependable Systems Using Refinement and Abstraction.	FME	2002	DBLP DOI BibTeX RDF
17	Xin Liu 0046, Yihong Gong, Wei Xu 0007, Shenghuo Zhu	Document clustering with cluster refinement and model selection capabilities.	SIGIR	2002	DBLP DOI BibTeX RDF	EM algorithm, gaussian mixtures model, document clustering, model selection
17	Hagen Völzer	Refinement-Robust Fairness.	CONCUR	2002	DBLP DOI BibTeX RDF
17	Jing-Ru C. Cheng, Paul E. Plassmann	An A Posteriori Error Estimator for Adaptive Mesh Refinement Using Parallel In-Element Particle Tracking Methods.	VECPAR	2002	DBLP DOI BibTeX RDF
17	Kwang-deok Seo, Jae-kyoon Kim	Fast motion vector refinement for MPEG-1 to MPEG-4 transcoding with spatial down-sampling in DCT domain.	ICIP (1)	2001	DBLP DOI BibTeX RDF
17	Kai Engelhardt, Ron van der Meyden, Yoram Moses	A Refinement Theory that Supports Reasoning About Knowledge and Time.	LPAR	2001	DBLP DOI BibTeX RDF
17	Maritta Heisel, Andreas Pfitzmann, Thomas Santen	Confidentiality-Preserving Refinement.	CSFW	2001	DBLP DOI BibTeX RDF
17	Rajeev Alur, Radu Grosu, Insup Lee 0001, Oleg Sokolsky	Compositional Refinement for Hierarchical Hybrid Systems.	HSCC	2001	DBLP DOI BibTeX RDF
17	Kolja Kähler, Jörg Haber, Hans-Peter Seidel	Dynamic Refinement of Deformable Triangle Meshes for Rendering.	Computer Graphics International	2001	DBLP DOI BibTeX RDF