Search results for "refinements"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
74	Daniel Crabtree, Peter Andreae, Xiaoying Gao	Understanding Query Aspects with applications to Interactive Query Expansion.	Web Intelligence	2007	DBLP DOI BibTeX RDF
63	Jana Dunfield	Refined typechecking with Stardust.	PLPV	2007	DBLP DOI BibTeX RDF	type refinements, dependent types, intersection types, union types
58	Josh Buresh-Oppenheim, Toniann Pitassi	The Complexity of Resolution Refinements.	LICS	2003	DBLP DOI BibTeX RDF
55	Eldar Sadikov, Jayant Madhavan, Lu Wang, Alon Y. Halevy	Clustering query refinements by user intent.	WWW	2010	DBLP DOI BibTeX RDF	clustering, random walks, query refinements
47	Christian Kästner, Sven Apel, Martin Kuhlemann	A model of refactoring physically and virtually separated features.	GPCE	2009	DBLP DOI BibTeX RDF	CIDE, FeatureHouse, refinements, software product lines, separation of concerns, preprocessor, AHEAD
41	Max J. Egenhofer, Matthew P. Dube	Topological relations from metric refinements.	GIS	2009	DBLP DOI BibTeX RDF	metric, topology, spatial reasoning, spatial relations
41	Graeme Smith 0001, John Derrick	Verifying data refinements using a model checker.	Formal Aspects Comput.	2006	DBLP DOI BibTeX RDF	State-based specifications, Z Refinement, Downward and upward simulations, Model checking, CTL
41	Maciej Paszynski	The Application of Agents to Parallel Mesh Refinements in Domain Decomposition Based Parallel Fully Automatic hp Adaptive Finite Element Codes.	International Conference on Computational Science (3)	2006	DBLP DOI BibTeX RDF
41	Neil J. Robinson	Checking Z Data Refinements Using an Animation Tool.	ZB	2002	DBLP DOI BibTeX RDF
41	Joëlle Cohen, Anatol Slissenko	On Verification of Refinements of Timed Distributed Algorithms.	Abstract State Machines	2000	DBLP DOI BibTeX RDF
41	Dusko Pavlovic, Douglas R. Smith	Software Development by Refinement.	10th Anniversary Colloquium of UNU/IIST	2002	DBLP DOI BibTeX RDF
39	Don S. Batory, Jia Liu, Jacob Neal Sarvela	Refinements and multi-dimensional separation of concerns.	ESEC / SIGSOFT FSE	2003	DBLP DOI BibTeX RDF	multidimensional separation of concerns, refinements, program synthesis, feature-oriented programming, origami, AHEAD, GenVoca
39	Jignashu Parikh, Shyam Kapur	Unity: relevance feedback using user query logs.	SIGIR	2006	DBLP DOI BibTeX RDF	search re-ranking, information retrieval, search engines, relevance feedback, query expansion, query refinements
33	Chuanliang Xia	Property Preservation by Petri-Net-Based Refinements in System Design.	ICYCS	2008	DBLP DOI BibTeX RDF
33	Jerzy Tomasik, Jerzy Weyman	Category localization semantics for specification refinements.	Ann. Math. Artif. Intell.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 03C98, 8C05, 18C10, 18E35, 68Q85
33	Yanmin Zhu, Min Gao, Lionel M. Ni	Distributed Localization Refinements for Mobile Sensor Networks.	ICCNMC	2005	DBLP DOI BibTeX RDF
33	Bing Li, Fabio Somenzi	Efficient computation of small abstraction refinements.	ICCAD	2004	DBLP DOI BibTeX RDF
33	Yitzhak Mandelbaum, David Walker 0001, Robert Harper 0001	An effective theory of type refinements.	ICFP	2003	DBLP DOI BibTeX RDF	effectful computation, type refinement, linear logic, type theory, local reasoning
33	Yannis Smaragdakis, Don S. Batory	Mixin layers: an object-oriented implementation technique for refinements and collaboration-based designs.	ACM Trans. Softw. Eng. Methodol.	2002	DBLP DOI BibTeX RDF	component-based software, product-line architectures, Collaboration-based design
33	Mathias Broxvall, Peter Jonsson, Jochen Renz	Refinements and Independence: A Simple Method for Identifying Tractable Disjunctive Constraints.	CP	2000	DBLP DOI BibTeX RDF
33	Don S. Batory	Refinements and Product Line Architectures.	SAIG	2000	DBLP DOI BibTeX RDF
33	David Cazier, Jean-François Dufourd	A formal specification of geometric refinements.	Vis. Comput.	1999	DBLP DOI BibTeX RDF	Geometric refinement, Computational geometry, Algebraic specifications, Rewrite systems, Boolean operations
33	Klaus Mayr	Refinements and Extensions of Model Elimination.	LPAR	1993	DBLP DOI BibTeX RDF
33	Wilfried Brauer, Robert Gold, Walter Vogler	A survey of behaviour and equivalence preserving refinements of Petri nets.	Applications and Theory of Petri Nets	1989	DBLP DOI BibTeX RDF	place/transition net, history preserving bisimulation, Petri net, refinement, deadlocking, liveness, Concurrent system, interval order, partial order semantics, safeness, top-down design, failures semantics
33	Wei Cheng, Wei Tsang Ooi	Receiver-driven view-dependent streaming of progressive mesh.	NOSSDAV	2008	DBLP DOI BibTeX RDF	view-dependent streaming, progressive meshes
33	Yuanchen Zhu	Uniform Remeshing with an Adaptive Domain: A New Scheme for View-Dependent Level-of-Detail Rendering of Meshes.	IEEE Trans. Vis. Comput. Graph.	2005	DBLP DOI BibTeX RDF	view-dependent meshes, Level-of-detail, remeshing, multiresolution representation, frame-to-frame coherence
33	Reiner Kraft 0001, Jason Y. Zien	Mining anchor text for query refinement.	WWW	2004	DBLP DOI BibTeX RDF	web search, rank, query refinement, anchor text
33	Dolors Costal, Antoni Olivé, Ernest Teniente	Relationship Type Refinement in Conceptual Models with Multiple Classification.	ER	2001	DBLP DOI BibTeX RDF
33	Reino Kurki-Suonio	Component and Interface Refinement in Closed-System Specifications.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
33	Mikhail Nesterenko, Anish Arora	Stabilization-Preserving Atomicity Refinement.	DISC	1999	DBLP DOI BibTeX RDF
30	John Wu	Correlated Equilibrium of Bertrand Competition.	WINE	2008	DBLP DOI BibTeX RDF	Equilibrium coarsenings, equilibrium refinements, strategic correlation principle, positive correlated equilibrium, negative correlated equilibrium, duality gap
30	Thomas Baar, Slavisa Markovic, Frédéric Fondement, Alfred Strohmeier	Definition and Correct Refinement of Operation Specifications.	Research Results of the DICS Program	2006	DBLP DOI BibTeX RDF	System Operations, UML, Refinements, Refactorings, OCL, Graph Transformations, Design by Contract, QVT
30	Jean-Paul Bodeveix, Mamoun Filali, Julia Lawall, Gilles Muller	Formal Methods Meet Domain Specific Languages.	IFM	2005	DBLP DOI BibTeX RDF	scheduling, formal methods, refinements, decision procedure, DSL
30	Max J. Egenhofer, A. Rashid B. M. Shariff	Metric Details for Natural-Language Spatial Relations.	ACM Trans. Inf. Syst.	1998	DBLP DOI BibTeX RDF	Metric refinements, GIS, geographic information systems, spatial relations, topological relations
30	Marco Accame, Francesco G. B. De Natale, Daniele D. Giusto	Hierarchical block matching for disparity estimation in stereo sequences.	ICIP	1995	DBLP DOI BibTeX RDF	hierarchical block matching, stereo sequences, BBDE, real time coding, multiresolution pyramid, correction strategy, disparity vectors, adaptive search range, variable-resolution disparity field, block based disparity estimation, refinements, image sequences, video coding, image reconstruction, image matching, error correction, search problems, stereo image processing, image resolution, propagation, estimation theory, reconstruction quality
30	José Ramón González de Mendívil, Akim Demaille, José M. Bernabéu-Aubán, José Ramón Garitagoitia	Correctness of a distributed deadlock resolution algorithm for the single request model.	PDP	1995	DBLP DOI BibTeX RDF	distributed deadlock resolution algorithm, single request model, resolution algorithm, initial specification, complete distributed system, Input/Output Automata Model, formal specification, distributed algorithms, concurrency control, refinements, operating systems (computers), automata theory, high level specification
30	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
30	R. Geoff Dromey	Systematic Program Development.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	goal-oriented programming, case analysis, constructive program proofs, software engineering, data structure, refinements, programming, program development, problem decomposition, program structure, postcondition
25	Petr Buryan, Jirí Kubalík	Context-sensitive refinements for stochasticoptimization algorithms in inductive logic programming.	GECCO	2010	DBLP DOI BibTeX RDF	evolutionary algorithms, inductive logic programming
25	Graeme Smith 0001, Kirsten Winter	Model checking action system refinements.	Formal Aspects Comput.	2009	DBLP DOI BibTeX RDF	model checking, Refinement, CTL, action systems
25	Didier Dubois, Hélène Fargier	Capacity Refinements and Their Application to Qualitative Decision Evaluation.	ECSQARU	2009	DBLP DOI BibTeX RDF	decision evaluation, Capacities, belief functions, Sugeno integral
25	Gerhard Schellhorn, Richard Banach	A Concept-Driven Construction of the Mondex Protocol Using Three Refinements.	ABZ	2008	DBLP DOI BibTeX RDF
25	Sven Apel, Christian Kästner, Martin Kuhlemann, Thomas Leich	Pointcuts, advice, refinements, and collaborations: similarities, differences, and synergies.	Innov. Syst. Softw. Eng.	2007	DBLP DOI BibTeX RDF
25	Egon Börger	Construction and analysis of ground models and their refinements as a foundation for validating computer-based systems.	Formal Aspects Comput.	2007	DBLP DOI BibTeX RDF	Validation and certification, ASM ground model (golden model), ASM refinement, Verified software challenge, System analysis, Abstract State Machine
25	Tarvo Raudvere, Ingo Sander, Axel Jantsch	Synchronization after design refinements with sensitive delay elements.	CODES+ISSS	2007	DBLP DOI BibTeX RDF	design refinement, synchronization, system design
25	Tarvo Raudvere, Ingo Sander, Axel Jantsch	A synchronization algorithm for local temporal refinements in perfectly synchronous models with nested feedback loops.	ACM Great Lakes Symposium on VLSI	2007	DBLP DOI BibTeX RDF	design refinement, synchronization, system design
25	Michel Bidoit, Rolf Hennicker	Proving Behavioral Refinements of COL-specifications.	Essays Dedicated to Joseph A. Goguen	2006	DBLP DOI BibTeX RDF
25	Nenad Stojanovic	n Ranking Refinements in the Step-by-Step Searching through a Product Catalogue.	ICDM	2004	DBLP DOI BibTeX RDF
25	Neil J. Robinson, Colin J. Fidge	Visualisation of Refinements.	Australian Software Engineering Conference	2001	DBLP DOI BibTeX RDF
25	Béatrice Bérard, Claudine Picaronny	Accepting Zeno words: a way toward timed refinements.	Acta Informatica	2000	DBLP DOI BibTeX RDF
25	Stefan Hendricx, Luc J. M. Claesen	Verification of Finite-State-Machine Refinements Using a Symbolic Methodology.	CHARME	1999	DBLP DOI BibTeX RDF
25	Martin Große-Rhode, Francesco Parisi-Presicce, Marta Simeoni	Refinements and Modules for Typed Graph Transformation Systems.	WADT	1998	DBLP DOI BibTeX RDF
25	Hans de Nivelle	A Unification of Ordering Refinements of Resolution in Classical Logic.	JELIA	1994	DBLP DOI BibTeX RDF
25	X. J. Chen, Carlo Montangero	Compositional Refinements in Multiple Blackboard Systems.	ESOP	1992	DBLP DOI BibTeX RDF
25	Issam W. Damaj	Higher-Level Hardware Synthesis of the KASUMI Algorithm.	J. Comput. Sci. Technol.	2007	DBLP DOI BibTeX RDF	parallel algorithms, methodology, formal models, data encryption, gate array
25	Maciej Paszynski	Performance of Multi Level Parallel Direct Solver for hpFinite Element Method.	PPAM	2007	DBLP DOI BibTeX RDF	Parallel direct solvers, Substructuring method, Finite Element Method, hp adaptivity
25	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
25	Amel Mammar, Régine Laleau	Design of an Automatic Prover Dedicated to the Refinement of Database Applications.	FME	2003	DBLP DOI BibTeX RDF	Refinement process, Proof reuse, B method, Data-intensive applications
25	Jorge García Duque, José Juan Pazos-Arias, Ana Belén Barragáns-Martínez	An Analysis-Revision Cycle to Evolve Requirements Specifications by Using the SCTL-MUS Methodology.	RE	2002	DBLP DOI BibTeX RDF
25	Ana Belén Barragáns-Martínez, Jorge García Duque, José Juan Pazos-Arias, Ana Fernández Vilas, Rebeca P. Díaz Redondo	Requirements Specifications Evolution in a Multi-Perspective Environment.	COMPSAC	2002	DBLP DOI BibTeX RDF
25	David L. Mills	Improved Algorithms for Synchronizing Computer Network Clocks.	SIGCOMM	1994	DBLP DOI BibTeX RDF	Internet
25	Ambuj K. Singh	Program Refinement in Fair Transition Systems.	PARLE (2)	1991	DBLP DOI BibTeX RDF
22	Yamine Aït Ameur, Mickaël Baron, Nadjet Kamel, Jean-Marc Mota	Encoding a process algebra using the Event B method.	Int. J. Softw. Tools Technol. Transf.	2009	DBLP DOI BibTeX RDF	Event B method, User tasks validation, Human-computer interaction, Refinements, Process algebra
22	Salvador Trujillo, Ander Zubizarreta, Xabier Mendialdua, Josune De Sosa	Feature-oriented refinement of models, metamodels and model transformations.	FOSD	2009	DBLP DOI BibTeX RDF	XAK, modeling, models, refinements, model transformations, metamodels, AHEAD
22	Salvador Trujillo, Don S. Batory, Oscar Díaz	Feature refactoring a multi-representation program into a product line.	GPCE	2006	DBLP DOI BibTeX RDF	refinements, refactoring, software product lines, program synthesis, multiple representations, feature-oriented programming, AHEAD
22	Jana Dunfield, Frank Pfenning	Tridirectional typechecking.	POPL	2004	DBLP DOI BibTeX RDF	type refinements, dependent types, intersection types, union types
22	Don S. Batory, Clay Johnson, Bob MacDonald, Dale von Heeder	Achieving extensibility through product-lines and domain-specific languages: a case study.	ACM Trans. Softw. Eng. Methodol.	2002	DBLP DOI BibTeX RDF	simulation, refinements, domain-specific languages, aspects, GenVoca
22	Idit Keidar, Roger Khazan, Nancy A. Lynch, Alexander A. Shvartsman	An inheritance-based technique for building simulation proofs incrementally.	ACM Trans. Softw. Eng. Methodol.	2002	DBLP DOI BibTeX RDF	Inheritance by specialization and subclassing for extension, incremental proof techniques, proof reuse, simulation proofs, refinements
22	Don S. Batory, Gang Chen, Eric Robertson 0002, Tao Wang	Design Wizards and Visual Programming Environments for GenVoca Generators.	IEEE Trans. Software Eng.	2000	DBLP DOI BibTeX RDF	applications product-lines, components, refinements, generators, Self-adaptive software, architectural optimizations
22	J. Bey	Tetrahedral Grid Refinement.	Computing	1995	DBLP DOI BibTeX RDF	Tetrahedral grid refinement, stable refinements, consistent triangulations, green closure, grid coarsening
17	Ling Zhang, Yuting Wang 0001, Jinhua Wu, Jérémie Koenig, Zhong Shao	Fully Composable and Adequate Verified Compilation with Direct Refinements between Open Modules.	Proc. ACM Program. Lang.	2024	DBLP DOI BibTeX RDF
17	Simon Oxenford, Ana Sofía Ríos, Barbara Hollunder, Clemens Neudorfer, Alexandre Boutet, Gavin J. B. Elias, Jürgen Germann, Aaron Loh, Wissam Deeb, Bryan Salvato, Leonardo Almeida, Kelly D. Foote, Robert S. C. Amaral, Paul B. Rosenberg, David F. Tang-Wai, David A. Wolk, Anna D. Burke, Marwan N. Sabbagh, Stephen Salloway, M. Mallar Chakravarty, Gwenn S. Smith, Constantine G. Lyketsos, Michael S. Okun, William S. Anderson, Zoltan Mari, Francisco A. Ponce, Andres M. Lozano, Wolf-Julian Neumann, Bassam Al-Fatly, Andreas Horn	WarpDrive: Improving spatial normalization using manual refinements.	Medical Image Anal.	2024	DBLP DOI BibTeX RDF
17	Ayman Hazaymeh, Ahmad Qazza, Raed Hatamleh, Mohammad Wajeeh Alomari, Rania Saadeh	On Further Refinements of Numerical Radius Inequalities.	Axioms	2024	DBLP DOI BibTeX RDF
17	Hartmut Ilsemann	Methodological observations concerning word rankings and z-score refinements.	Digit. Scholarsh. Humanit.	2024	DBLP DOI BibTeX RDF
17	Kathy Q. Ji, Dax T. X. Zhang	Some refinements of Stanley's shuffle theorem.	J. Comb. Theory, Ser. A	2024	DBLP DOI BibTeX RDF
17	Alex Havrilla, Sharath Chandra Raparthy, Christoforos Nalmpantis, Jane Dwivedi-Yu, Maksym Zhuravinskyi, Eric Hambro, Roberta Railneau	GLoRe: When, Where, and How to Improve LLM Reasoning via Global and Local Refinements.	CoRR	2024	DBLP DOI BibTeX RDF
17	Marcin Pietron, Rafal Olszowski, Jakub Gomulka	Efficient argument classification with compact language models and ChatGPT-4 refinements.	CoRR	2024	DBLP DOI BibTeX RDF
17	Sebastian Stock 0002, Atif Mashkoor, Michael Leuschel, Alexander Egyed	Trace preservation in B and Event-B refinements.	J. Log. Algebraic Methods Program.	2024	DBLP DOI BibTeX RDF
17	Aditi Kabra, Jonathan Laurent, Stefan Mitsch, André Platzer	CESAR: Control Envelope Synthesis via Angelic Refinements.	TACAS (1)	2024	DBLP DOI BibTeX RDF
17	Emmanouil-Vasileios Vlatakis-Gkaragkounis, Angeliki Giannou, Yudong Chen 0001, Qiaomin Xie	Stochastic Methods in Variational Inequalities: Ergodicity, Bias and Refinements.	AISTATS	2024	DBLP BibTeX RDF
17	Balu Santhanam, Thalanayar S. Santhanam	On refinements to QMFD based chirp parameter estimation.	Signal Process.	2023	DBLP DOI BibTeX RDF
17	Muhammad Tariq, Soubhagya Kumar Sahoo, Sotiris K. Ntouyas	Some Refinements of Hermite-Hadamard Type Integral Inequalities Involving Refined Convex Function of the Raina Type.	Axioms	2023	DBLP DOI BibTeX RDF
17	Yonghui Ren	Generalized Refinements of Reversed AM-GM Operator Inequalities for Positive Linear Maps.	Axioms	2023	DBLP DOI BibTeX RDF
17	Vuk Stojiljkovic, Rajagopalan Ramaswamy, Ola A. Ashour Abdelnaby, Stojan Radenovic	Some Refinements of the Tensorial Inequalities in Hilbert Spaces.	Symmetry	2023	DBLP DOI BibTeX RDF
17	Najla Altwaijry, Cristian Conde, Silvestru Sever Dragomir, Kais Feki	Some Refinements of Selberg Inequality and Related Results.	Symmetry	2023	DBLP DOI BibTeX RDF
17	Tareq Hamadneh, Mohammad Wajeeh Alomari, Isra Al-Shbeil, Hala AlAqad, Raed Hatamleh, Ahmed Salem Heilat, Abdallah Al-Husban	Refinements of the Euclidean Operator Radius and Davis-Wielandt Radius-Type Inequalities.	Symmetry	2023	DBLP DOI BibTeX RDF
17	Viviana Giunzioni, John Erick Ortiz Guzman, Adrien Merlini, Simon B. Adrian, Francesco Paolo Andriulli	On a Calderón preconditioner for the symmetric formulation of the electroencephalography forward problem without barycentric refinements.	J. Comput. Phys.	2023	DBLP DOI BibTeX RDF
17	Tomasz Sluzalec, Rafal Wojciech Grzeszczuk, Sergio Rojas, Witold Dzwinel, Maciej Paszynski	Quasi-optimal hp-finite element refinements towards singularities via deep neural network prediction.	Comput. Math. Appl.	2023	DBLP DOI BibTeX RDF
17	Siva Somayyajula, Frank Pfenning	Dependent Type Refinements for Futures.	MFPS	2023	DBLP DOI BibTeX RDF
17	Jingliang Duan, Wenxuan Wang, Liming Xiao, Jiaxin Gao, Shengbo Eben Li	DSAC-T: Distributional Soft Actor-Critic with Three Refinements.	CoRR	2023	DBLP DOI BibTeX RDF
17	Martin Grohe, Moritz Lichter, Daniel Neuen, Pascal Schweitzer	Compressing CFI Graphs and Lower Bounds for the Weisfeiler-Leman Refinements.	CoRR	2023	DBLP DOI BibTeX RDF
17	Emmanouil V. Vlatakis-Gkaragkounis, Angeliki Giannou, Yudong Chen 0001, Qiaomin Xie	Stochastic Methods in Variational Inequalities: Ergodicity, Bias and Refinements.	CoRR	2023	DBLP DOI BibTeX RDF
17	Adrien Banse, Licio Romao, Alessandro Abate, Raphaël M. Jungers	Data-driven abstractions via adaptive refinements and a Kantorovich metric [extended version].	CoRR	2023	DBLP DOI BibTeX RDF
17	Rebecca Richter, Alberto De Marchi, Matthias Gerdts	Collision Avoidance using Iterative Dynamic and Nonlinear Programming with Adaptive Grid Refinements.	CoRR	2023	DBLP DOI BibTeX RDF
17	Marco Pop-Mihali, Adrian Groza	Forest Mixing: investigating the impact of multiple search trees and a shared refinements pool on ontology learning.	CoRR	2023	DBLP DOI BibTeX RDF
17	Aditi Kabra, Jonathan Laurent, Stefan Mitsch, André Platzer	CESAR: Control Envelope Synthesis via Angelic Refinements.	CoRR	2023	DBLP DOI BibTeX RDF
17	Hongxia Wang	Refinements of Jensen's inequalities for Choquet integrals and applications.	Fuzzy Sets Syst.	2023	DBLP DOI BibTeX RDF
17	Hofit Ben-Zion Vardi, Nira Dyn, Nir Sharon	Geometric Hermite interpolation in $\mathbb {R}^{n}$ by refinements.	Adv. Comput. Math.	2023	DBLP DOI BibTeX RDF
17	Linyan Gu, Lihua Yang, Feng Zhou	Refinements of Approximation Results of Conditional Restricted Boltzmann Machines.	IEEE Trans. Neural Networks Learn. Syst.	2023	DBLP DOI BibTeX RDF
17	Martin Grohe, Moritz Lichter, Daniel Neuen, Pascal Schweitzer	Compressing CFI Graphs and Lower Bounds for the Weisfeiler-Leman Refinements.	FOCS	2023	DBLP DOI BibTeX RDF