Search results for "Refinement"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
18	Liu Zheng	A Novel Graph-Based Image Annotation Refinement Algorithm.	FSKD (5)	2009	DBLP DOI BibTeX RDF	Image annotation refinement, graph algorithm, semantic similarity, MAX-CUT problem
18	Xiaolei Gao, Huaikou Miao	Proving Total Correctness of Refinement Based on Tableau.	ISPA	2009	DBLP DOI BibTeX RDF	Tableau method, Specification, refinement, theorem proving, Program Synthesis, total correctness
18	Tahina Ramananandro	Mondex , an electronic purse: specification and refinement checks with the Alloy model-finding method.	Formal Aspects Comput.	2008	DBLP DOI BibTeX RDF	Model-finding, Mondex electronic purse, Refinement, Alloy, Security properties
18	Muga Nishizawa, Shigeru Chiba	A small extension to Java for class refinement.	SAC	2008	DBLP DOI BibTeX RDF	class refinement, java, programming transformation
18	Sharon Shoham, Orna Grumberg	A game-based framework for CTL counterexamples and 3-valued abstraction-refinement.	ACM Trans. Comput. Log.	2007	DBLP DOI BibTeX RDF	3-valued semantics, Model checking games, Temporal logic, CTL, Counterexamples, Abstraction-Refinement
18	Bin Wang, Zhiwei Li 0006, Mingjing Li	Automatic Refinement of Keyword Annotations for Web Image Search.	MMM (1)	2007	DBLP DOI BibTeX RDF	multiple modality, image annotation refinement, hypergraph, Web image search
18	Zhenbang Chen, Zhiming Liu 0001, Volker Stolz, Lu Yang, Anders P. Ravn	A Refinement Driven Component-Based Design.	ICECCS	2007	DBLP DOI BibTeX RDF	object-orientation, refinement, Software development process, component-based modeling
18	Hyunmo Kang, Catherine Plaisant, Bongshin Lee, Benjamin B. Bederson	Exploring content-actor paired network data using iterative query refinement with NetLens.	JCDL	2006	DBLP DOI BibTeX RDF	incremental data exploration, iterative query refinement, piccolo, human-computer interaction, user interfaces, digital library, network visualization
18	Changhu Wang, Feng Jing, Lei Zhang 0001, HongJiang Zhang	Image annotation refinement using random walk with restarts.	ACM Multimedia	2006	DBLP DOI BibTeX RDF	image annotation refinement, random walk with restarts
18	Norazlin Yusop, David B. Lowe, Didar Zowghi	A survey of issue resolution on the incremental refinement of the system scope in web system development.	ICWE	2006	DBLP DOI BibTeX RDF	business domain issues, issues resolution, project issues, scope refinement, system technical issues, web system
18	Siu-Wing Cheng, Tamal K. Dey, Tathagata Ray	Weighted Delaunay Refinement for Polyhedra with Small Angles.	IMR	2005	DBLP DOI BibTeX RDF	computational geometry, mesh generation, Delaunay refinement, sliver, weighted Delaunay triangulation
18	Marco Antonio Barbosa	A refinement calculus for software components and architectures.	ESEC/SIGSOFT FSE	2005	DBLP DOI BibTeX RDF	software architectures, refinement calculus
18	Daniel I. Azuma, Daniel N. Wood, Brian Curless, Tom Duchamp, David Salesin, Werner Stuetzle	View-dependent refinement of multiresolution meshes with subdivision connectivity.	Afrigraph	2003	DBLP DOI BibTeX RDF	wavelets, level-of-detail, multiresolution representations, view-dependent refinement
18	Peter G. Anick	Using terminological feedback for web search refinement: a log-based study.	SIGIR	2003	DBLP DOI BibTeX RDF	interactive query refinement, terminological feedback, evaluation, web search, user logs
18	Xiang-Yang Li 0001, Shang-Hua Teng, Alper Üngör	Simultaneous Refinement and Coarsening for Adaptive Meshing.	Eng. Comput.	1999	DBLP DOI BibTeX RDF	Coarsening, Moving boundary, Sphere packing, Refinement, Delaunay triangulation, Adaptive meshing
18	Fei-Ah Law, Tiow Seng Tan	Preprocessing occlusion for real-time selective refinement.	SI3D	1999	DBLP DOI BibTeX RDF	level of detail modeling, occlusion preserving simplification, cell, occlusion culling, selective refinement
18	J. Bey	Tetrahedral Grid Refinement.	Computing	1995	DBLP DOI BibTeX RDF	Tetrahedral grid refinement, stable refinements, consistent triangulations, green closure, grid coarsening
18	Gruia-Catalin Roman, C. Donald Wilcox	Architecture-Directed Refinement.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	architectural constraints, program derivation process, architecture-directed refinement, software engineering, formal specification, parallel programming, formal methods, specification, parallel architectures, correctness, design process, concurrent systems, program refinements
18	Amir Pnueli	System Specification and Refinement in Temporal Logic.	FSTTCS	1992	DBLP DOI BibTeX RDF	stuttering robustness, simulation, Temporal logic, validation, refinement, requirement specification, system specification, temporal semantics
18	Hans-Dieter Ehrich, Amílcar Sernadas	Algebraic Implementation of Objects over Objects.	REX Workshop	1989	DBLP DOI BibTeX RDF	object morphisms, process morphisms, semantic fundamentals, algebraic implementation, refinement, processes, objects, extension, encapsulation, object-oriented systems, reification
18	Bengt Jonsson 0001	On Decomposing and Refining Specifications of Distributed Systems.	REX Workshop	1989	DBLP DOI BibTeX RDF	Fair Transition System, Distributed Systems, Verification, Specification, Fairness, Refinement, Completeness, Compositionality
17	Patrick Maxim Rondon, Ming Kawaguchi, Ranjit Jhala	Low-level liquid types.	POPL	2010	DBLP DOI BibTeX RDF	liquid types, c, type inference, dependent types
17	Mitchell McLaren, Robbie Vogt, Brendan Baker, Sridha Sridharan	Data-Driven Impostor Selection for T-Norm Score Normalisation and the Background Dataset in SVM-Based Speaker Verification.	ICB	2009	DBLP DOI BibTeX RDF
17	Dusko Pavlovic, Peter Pepper, Douglas R. Smith	Evolving Specification Engineering.	AMAST	2008	DBLP DOI BibTeX RDF
17	Alessandro Cavalcante Gurgel, Cristiano Gurgel de Castro, Marcel Vinícius Medeiros Oliveira	Tool Support for the CircusRefinement Calculus.	ABZ	2008	DBLP DOI BibTeX RDF
17	John Derrick, Heike Wehrheim	On using data abstractions for model checking refinements.	Acta Informatica	2007	DBLP DOI BibTeX RDF
17	Siu-Wing Cheng, Tamal K. Dey, Joshua A. Levine	A Practical Delaunay Meshing Algorithm for aLarge Class of Domains*.	IMR	2007	DBLP DOI BibTeX RDF
17	Ralf Wimmer 0001, Marc Herbstritt, Bernd Becker 0001	Optimization techniques for BDD-based bisimulation computation.	ACM Great Lakes Symposium on VLSI	2007	DBLP DOI BibTeX RDF	binary decision diagrams, bisimulation, state space reduction, state space explosion, symbolic methods
17	Larissa Meinicke, Ian J. Hayes	Reasoning Algebraically About Probabilistic Loops.	ICFEM	2006	DBLP DOI BibTeX RDF
17	Ian J. Hayes	Termination of Real-Time Programs: Definitely, Definitely Not, or Maybe.	UTP	2006	DBLP DOI BibTeX RDF
17	Yiming Ma, Sharad Mehrotra, Dawit Yimam Seid, Qi Zhong	RAF: An Activation Framework for Refining Similarity Queries Using Learning Techniques.	DASFAA	2006	DBLP DOI BibTeX RDF
17	Sriram K. Rajamani	Automatic Property Checking for Software: Past, Present and Future.	ASE	2006	DBLP DOI BibTeX RDF
17	Richard Banach	Retrenchment Tutorial.	SEFM	2006	DBLP DOI BibTeX RDF
17	James Zijun Wang, Farha Ali	An Efficient Ontology Comparison Tool for Semantic Web Applications.	Web Intelligence	2005	DBLP DOI BibTeX RDF
17	Sagar Chaki, Edmund M. Clarke, Joël Ouaknine, Natasha Sharygina	Automated, compositional and iterative deadlock detection.	MEMOCODE	2004	DBLP DOI BibTeX RDF
17	Marcel Oliveira, Ana Cavalcanti 0001	From Circus to JCSP.	ICFEM	2004	DBLP DOI BibTeX RDF	concurrency, object-orientation, program development
17	C. A. R. Hoare	Process Algebra: A Unifying Approach.	25 Years Communicating Sequential Processes	2004	DBLP DOI BibTeX RDF
17	Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar	Counterexample-Guided Control.	ICALP	2003	DBLP DOI BibTeX RDF
17	Neil J. Robinson, Colin J. Fidge	Animation of Data Refinements.	APSEC	2002	DBLP DOI BibTeX RDF
17	Geoffrey Watson	Refining Exceptions Using King and Morgan's exit Construct.	APSEC	2002	DBLP DOI BibTeX RDF
17	Allan W. K. Loh, Mike Robey, Geoff A. W. West	Refining 3D Models Using a Two-Stage Neural Network-Based Iterative Process.	ICPR (1)	2002	DBLP DOI BibTeX RDF
17	Peter K. Jimack, Sarfraz Ahmad Nadeem	A Parallel Domain Decomposition Algorithm for the Adaptive Finite Element Solution of 3-D Convection-Diffusion Problems.	International Conference on Computational Science (2)	2002	DBLP DOI BibTeX RDF
17	Mark A. Iwen, Amol Dattatraya Mali	DSatz: A Directional SAT Solver for Planning.	ICTAI	2002	DBLP DOI BibTeX RDF
17	R. Bruce Simpson, Nancy Hitschfeld, Maria-Cecilia Rivara	Approximate Shape Quality Mesh Generation.	Eng. Comput.	2001	DBLP DOI BibTeX RDF	Quality triangulation, Pre-conditioning, Mesh generation
17	Fred W. Ware, Jerry D. Gibson	A Three-Layer, Two Description Image Coder.	Data Compression Conference	2000	DBLP DOI BibTeX RDF	robustness, layered coding, progressive coding
17	Pierre Bontron, Marie-Laure Potet	Automatic Construction of Validated B Components from Structured Developments.	ZB	2000	DBLP DOI BibTeX RDF
17	Jitian Xiao, Yanchun Zhang, Xiaohua Jia	Multilevel Data Clustering for Spatial Join Processing.	DANTE	1999	DBLP DOI BibTeX RDF	Spatial join processing, Clustering, Optimization, Partition
17	Martin Große-Rhode, Francesco Parisi-Presicce, Marta Simeoni	Refinements and Modules for Typed Graph Transformation Systems.	WADT	1998	DBLP DOI BibTeX RDF
17	Marcello M. Bonsangue, Joost N. Kok, Kaisa Sere	An Approach to Object-Orientation in Action Systems.	MPC	1998	DBLP DOI BibTeX RDF
17	Manfred Broy	A Logical Basis for Modular Software and Systems Engineering.	SOFSEM	1998	DBLP DOI BibTeX RDF
17	Roberto Giacobazzi, Francesco Ranzato	Refining and Compressing Abstract Domains.	ICALP	1997	DBLP DOI BibTeX RDF
17	Antonio Cau, Willem P. de Roever	A Dense-Time Temporal Logic with Nice Compositionality Properties.	EUROCAST	1997	DBLP DOI BibTeX RDF
17	David Sands 0001	A Compositional Semantics of Combining Forms for Gramma Programs.	Formal Methods in Programming and Their Applications	1993	DBLP DOI BibTeX RDF
17	Huiping Cao, Yan Qi 0002, K. Selçuk Candan, Maria Luisa Sapino	Feedback-driven result ranking and query refinement for exploring semi-structured data collections.	EDBT	2010	DBLP DOI BibTeX RDF	data-centric XML, feature cover, inter-dependent structural feature, relevance feedback
17	Songbo Tan, Gaowei Wu, Xueqi Cheng	Enhancing the Performance of Centroid Classifier by ECOC and Model Refinement.	ECML/PKDD (2)	2009	DBLP DOI BibTeX RDF
17	Santiago Ontañón, Enric Plaza	On Similarity Measures Based on a Refinement Lattice.	ICCBR	2009	DBLP DOI BibTeX RDF
17	Matthias Heizmann, Jochen Hoenicke, Andreas Podelski	Refinement of Trace Abstraction.	SAS	2009	DBLP DOI BibTeX RDF
17	Mark Kattenbelt, Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001	Abstraction Refinement for Probabilistic Software.	VMCAI	2009	DBLP DOI BibTeX RDF
17	Chaitanya Mishra, Nick Koudas	Interactive query refinement.	EDBT	2009	DBLP DOI BibTeX RDF
17	Julia Padberg	Integration of Categorical Frameworks: Rule-Based Refinement and Hierarchical Composition for Components.	Appl. Categorical Struct.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 68Q85, 18A99, 68Q42
17	Zhijun Ding, Changjun Jiang, MengChu Zhou, Yaying Zhang	Preserving Languages and Properties in Stepwise Refinement-Based Synthesis of Petri Nets.	IEEE Trans. Syst. Man Cybern. Part A	2008	DBLP DOI BibTeX RDF
17	Himanshu Jain, Daniel Kroening, Natasha Sharygina, Edmund M. Clarke	Word-Level Predicate-Abstraction and Refinement Techniques for Verifying RTL Verilog.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2008	DBLP DOI BibTeX RDF
17	Li Li 0006, Yun Yang 0001	Agent negotiation based ontology refinement process and mechanisms for service applications.	Serv. Oriented Comput. Appl.	2008	DBLP DOI BibTeX RDF	Service applications, Multi-agent systems, Ontology evolution, Agent negotiation
17	Alina Maor, Neri Merhav	On Successive Refinement With Causal Side Information at the Decoders.	IEEE Trans. Inf. Theory	2008	DBLP DOI BibTeX RDF
17	Kwangsu Cho, Tingting (Rachel) Chung, William R. King, Christian D. Schunn	Peer-based computer-supported knowledge refinement: an empirical investigation.	Commun. ACM	2008	DBLP DOI BibTeX RDF
17	Srenivas Varadarajan, Lina J. Karam	An improved perception-based no-reference objective image sharpness metric using iterative edge refinement.	ICIP	2008	DBLP DOI BibTeX RDF
17	Temesghen Kahsai, Markus Roggenbach	Property Preserving Refinement for Csp-Casl.	WADT	2008	DBLP DOI BibTeX RDF
17	Mihaela Gheorghiu Bobaru, Corina S. Pasareanu, Dimitra Giannakopoulou	Automated Assume-Guarantee Reasoning by Abstraction Refinement.	CAV	2008	DBLP DOI BibTeX RDF
17	Josefina Sierra, Josefina Santibáñez	Horn Query Learning with Multiple Refinement.	SEAL	2008	DBLP DOI BibTeX RDF
17	Francien Dechesne, Simona Orzan, Yanjing Wang 0001	Refinement of Kripke Models for Dynamics.	ICTAC	2008	DBLP DOI BibTeX RDF
17	Minyoung Kim, Mark-Oliver Stehr, Carolyn L. Talcott, Nikil D. Dutt, Nalini Venkatasubramanian	Constraint Refinement for Online Verifiable Cross-Layer System Adaptation.	DATE	2008	DBLP DOI BibTeX RDF
17	Jifeng He 0001	Service Refinement.	APSEC	2008	DBLP DOI BibTeX RDF
17	Tim McComb, Graeme Smith 0001	Introducing Objects through Refinement.	FM	2008	DBLP DOI BibTeX RDF
17	David Novo, Min Li 0001, Bruno Bougard, Frederik Naessens, Liesbet Van der Perre, Francky Catthoor	Application-driven adaptive fixed-point refinement for SDRs.	SiPS	2008	DBLP DOI BibTeX RDF
17	Gaurav Singh 0006, Sandeep K. Shukla	Verifying Compiler Based Refinement of BluespecTM.	SPIN	2008	DBLP DOI BibTeX RDF	Bluespec System Verilog (BSV), Formal Verification, Hardware Designs, SPIN Model Checker
17	Abderrahman Matoussi, Frédéric Gervais, Régine Laleau	A First Attempt to Express KAOS Refinement Patterns with Event B.	ABZ	2008	DBLP DOI BibTeX RDF
17	Gogul Balakrishnan, Sriram Sankaranarayanan 0001, Franjo Ivancic, Ou Wei, Aarti Gupta	SLR: Path-Sensitive Analysis through Infeasible-Path Detection and Syntactic Language Refinement.	SAS	2008	DBLP DOI BibTeX RDF
17	Tim Paek, Bo Thiesson, Yun-Cheng Ju, Bongshin Lee	Search Vox: leveraging multimodal refinement and partial knowledge for mobile voice search.	UIST	2008	DBLP DOI BibTeX RDF	speech recognition, multimodal, mobile search
17	Gong Cheng 0001, Yuzhong Qu	Integrating Lightweight Reasoning into Class-Based Query Refinement for Object Search.	ASWC	2008	DBLP DOI BibTeX RDF
17	Sebastian Ewert, Meinard Müller	Refinement Strategies for Music Synchronization.	CMMR	2008	DBLP DOI BibTeX RDF
17	Yohan Boichut, Roméo Courbis, Pierre-Cyrille Héam, Olga Kouchnarenko	Finer Is Better: Abstraction Refinement for Rewriting Approximations.	RTA	2008	DBLP DOI BibTeX RDF
17	Bertrand Fontaine, Herbert Peremans	Modeling the Bat LSO Tonotopical Map Refinement during Development.	SAB	2008	DBLP DOI BibTeX RDF
17	Tobe Toben	Counterexample Guided Spotlight Abstraction Refinement.	FORTE	2008	DBLP DOI BibTeX RDF
17	Jifeng He 0001	Refinement and test case generation in Unifying Theory of Programming.	ICSM	2008	DBLP DOI BibTeX RDF
17	Bin Sun, Pei Liu, Ying Zheng	Short Query Refinement with Query Derivation.	AIRS	2008	DBLP DOI BibTeX RDF	Short query problem, derived query, word sense
17	Stefan Ratschan, Zhikun She	Safety verification of hybrid systems by constraint propagation-based abstraction refinement.	ACM Trans. Embed. Comput. Syst.	2007	DBLP DOI BibTeX RDF	Hybrid systems, constraint propagation, intervals
17	Andreas Podelski, Andrey Rybalchenko	ARMC: The Logical Choice for Software Model Checking with Abstraction Refinement.	PADL	2007	DBLP DOI BibTeX RDF
17	Lingyu Sun, Ming Leng	An Effective Refinement Algorithm Based on Swarm Intelligence for Graph Bipartitioning.	ESCAPE	2007	DBLP DOI BibTeX RDF
17	Geoffrey M. Brown, Lee Pike	Temporal Refinement Using SMT and Model Checking with an Application to Physical-Layer Protocols.	MEMOCODE	2007	DBLP DOI BibTeX RDF
17	Ana Cavalcanti 0001, Marie-Claude Gaudel	Testing for Refinement in CSP.	ICFEM	2007	DBLP DOI BibTeX RDF
17	Siu-Wing Cheng, Tamal K. Dey, Edgar A. Ramos	Delaunay refinement for piecewise smooth complexes.	SODA	2007	DBLP BibTeX RDF
17	Pierre Ganty, Jean-François Raskin, Laurent Van Begin	From Many Places to Few: Automatic Abstraction Refinement for Petri Nets.	ICATPN	2007	DBLP DOI BibTeX RDF
17	Sean Safarpour, Andreas G. Veneris	Abstraction and refinement techniques in automated design debugging.	DATE	2007	DBLP DOI BibTeX RDF
17	Sylvain Boulmé	Intuitionistic Refinement Calculus.	TLCA	2007	DBLP DOI BibTeX RDF
17	Bernd Schattenberg, Julien Bidot, Susanne Biundo	On the Construction and Evaluation of Flexible Plan-Refinement Strategies.	KI	2007	DBLP DOI BibTeX RDF
17	Ali Mili 0001	A Refinement Based Framework for Computing Loop Behavior.	SEW	2007	DBLP DOI BibTeX RDF
17	Zhuo Xue, Kok-Keong Loo, John Cosmas	Embedded Side Information Refinement for Pixel Domain Wyner-Ziv Video Coding Towards UMTS 3G Application.	ICME	2007	DBLP DOI BibTeX RDF
17	Liu Yang 0001, Rong Jin 0001, Caroline Pantofaru, Rahul Sukthankar	Discriminative Cluster Refinement: Improving Object Category Recognition Given Limited Training Data.	CVPR	2007	DBLP DOI BibTeX RDF
17	Alessandro Armando, Massimo Benerecetti, Jacopo Mantovani	Abstraction Refinement of Linear Programs with Arrays.	TACAS	2007	DBLP DOI BibTeX RDF
17	Nina Amla, Kenneth L. McMillan	Combining Abstraction Refinement and SAT-Based Model Checking.	TACAS	2007	DBLP DOI BibTeX RDF