Search results for "refinements"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	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
2	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
2	Graeme Smith, Kirsten Winter	Model checking action system refinements.	Formal Asp. Comput.	2009	DBLP DOI BibTeX RDF	model checking, Refinement, CTL, action systems
2	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
2	Max J. Egenhofer, Matthew P. Dube	Topological relations from metric refinements.	GIS	2009	DBLP DOI BibTeX RDF	metric, topology, spatial reasoning, spatial relations
2	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
2	Chuanliang Xia	Property Preservation by Petri-Net-Based Refinements in System Design.	ICYCS	2008	DBLP DOI BibTeX RDF
2	Gerhard Schellhorn, Richard Banach	A Concept-Driven Construction of the Mondex Protocol Using Three Refinements.	ABZ	2008	DBLP DOI BibTeX RDF
2	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
2	Egon Börger	Construction and analysis of ground models and their refinements as a foundation for validating computer-based systems.	Formal Asp. Comput.	2007	DBLP DOI BibTeX RDF	Validation and certification, ASM ground model (golden model), ASM refinement, Verified software challenge, System analysis, Abstract State Machine
2	Sven Apel, Christian Kästner, Martin Kuhlemann, Thomas Leich	Pointcuts, advice, refinements, and collaborations: similarities, differences, and synergies.	ISSE	2007	DBLP DOI BibTeX RDF
2	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
2	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
2	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
2	Joshua Dunfield	Refined typechecking with Stardust.	PLPV	2007	DBLP DOI BibTeX RDF	type refinements, dependent types, intersection types, union types
2	Graeme Smith, John Derrick	Verifying data refinements using a model checker.	Formal Asp. Comput.	2006	DBLP DOI BibTeX RDF	State-based specifications, Z Refinement, Downward and upward simulations, Model checking, CTL
2	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	2006	DBLP DOI BibTeX RDF
2	Michel Bidoit, Rolf Hennicker	Proving Behavioral Refinements of COL-specifications.	Essays Dedicated to Joseph A. Goguen	2006	DBLP DOI BibTeX RDF
2	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
2	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
2	Yanmin Zhu, Min Gao, Lionel M. Ni	Distributed Localization Refinements for Mobile Sensor Networks.	ICCNMC	2005	DBLP DOI BibTeX RDF
2	Jean-Paul Bodeveix, Mamoun Filali, Julia L. Lawall, Gilles Muller	Formal Methods Meet Domain Specific Languages.	IFM	2005	DBLP DOI BibTeX RDF	scheduling, formal methods, refinements, decision procedure, DSL
2	Nenad Stojanovic	n Ranking Refinements in the Step-by-Step Searching through a Product Catalogue.	ICDM	2004	DBLP DOI BibTeX RDF
2	Bing Li, Fabio Somenzi	Efficient computation of small abstraction refinements.	ICCAD	2004	DBLP DOI BibTeX RDF
2	Yitzhak Mandelbaum, David Walker, Robert Harper	An effective theory of type refinements.	ICFP	2003	DBLP DOI BibTeX RDF	effectful computation, type refinement, linear logic, type theory, local reasoning
2	Josh Buresh-Oppenheim, Toniann Pitassi	The Complexity of Resolution Refinements.	LICS	2003	DBLP DOI BibTeX RDF
2	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
2	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
2	Neil J. Robinson	Checking Z Data Refinements Using an Animation Tool.	ZB	2002	DBLP DOI BibTeX RDF
2	Neil J. Robinson, Colin J. Fidge	Visualisation of Refinements.	Australian Software Engineering Conference	2001	DBLP DOI BibTeX RDF
2	Béatrice Bérard, Claudine Picaronny	Accepting Zeno words: a way toward timed refinements.	Acta Inf.	2000	DBLP DOI BibTeX RDF
2	Don S. Batory	Refinements and Product Line Architectures.	SAIG	2000	DBLP DOI BibTeX RDF
2	Joëlle Cohen, Anatol Slissenko	On Verification of Refinements of Timed Distributed Algorithms.	Abstract State Machines	2000	DBLP DOI BibTeX RDF
2	Mathias Broxvall, Peter Jonsson, Jochen Renz	Refinements and Independence: A Simple Method for Identifying Tractable Disjunctive Constraints.	CP	2000	DBLP DOI BibTeX RDF
2	David Cazier, Jean-François Dufourd	A formal specification of geometric refinements.	The Visual Computer	1999	DBLP DOI BibTeX RDF	Geometric refinement, Computational geometry, Algebraic specifications, Rewrite systems, Boolean operations
2	Stefan Hendricx, Luc J. M. Claesen	Verification of Finite-State-Machine Refinements Using a Symbolic Methodology.	CHARME	1999	DBLP DOI BibTeX RDF
2	Martin Große-Rhode, Francesco Parisi-Presicce, Marta Simeoni	Refinements and Modules for Typed Graph Transformation Systems.	WADT	1998	DBLP DOI BibTeX RDF
2	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
2	Marco Accame, Francesco G. B. De Natale, Daniele D. Giusto	Hierarchical block matching for disparity estimation in stereo sequences. (PDF / PS)	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
2	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
2	Hans de Nivelle	A Unification of Ordering Refinements of Resolution in Classical Logic.	JELIA	1994	DBLP DOI BibTeX RDF
2	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
2	Klaus Mayr	Refinements and Extensions of Model Elimination.	LPAR	1993	DBLP DOI BibTeX RDF
2	X. J. Chen, Carlo Montangero	Compositional Refinements in Multiple Blackboard Systems.	ESOP	1992	DBLP DOI BibTeX RDF
2	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
2	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
1	Yong-In Kim, Xiaojing Yang	Generalizations and refinements of Hölder's inequality.	Appl. Math. Lett.	2012	DBLP DOI BibTeX RDF
1	Ljiljana Cvetkovic, Maja Nedovic	Eigenvalue localization refinements for the Schur complement.	Applied Mathematics and Computation	2012	DBLP DOI BibTeX RDF
1	Ravi Chugh, Patrick Maxim Rondon, Ranjit Jhala	Nested refinements: a logic for duck typing.	POPL	2012	DBLP DOI BibTeX RDF
1	H. M. Srivastava, Zhi-Hua Zhang, Yu-Dong Wu	Some further refinements and extensions of the Hermite-Hadamard and Jensen inequalities in several variables.	Mathematical and Computer Modelling	2011	DBLP DOI BibTeX RDF
1	Jun Ma, Yeong-Nan Yeh	Refinements of (n, m)-Dyck paths.	Eur. J. Comb.	2011	DBLP DOI BibTeX RDF
1	Sergey Korotov, Michal Krízek	Nonobtuse local tetrahedral refinements towards a polygonal face/interface.	Appl. Math. Lett.	2011	DBLP DOI BibTeX RDF
1	Duc-Phong Le, Chao-Liang Liu	Refinements of Miller's Algorithm over Weierstrass Curves Revisited.	Comput. J.	2011	DBLP DOI BibTeX RDF
1	Duc-Phong Le, Chao-Liang Liu	Refinements of Miller's Algorithm over Weierstrass Curves Revisited	CoRR	2011	DBLP BibTeX RDF
1	Guido Montufar, Nihat Ay	Refinements of Universal Approximation Results for Deep Belief Networks and Restricted Boltzmann Machines.	Neural Computation	2011	DBLP DOI BibTeX RDF
1	Cristinel Mortici	Refinements of Gurland's formula for pi.	Computers & Mathematics with Applications	2011	DBLP DOI BibTeX RDF
1	Harry Buhrman, Peter T. S. van der Gulik, Steven Kelk, Wouter M. Koolen, Leen Stougie	Some Mathematical Refinements Concerning Error Minimization in the Genetic Code.	IEEE/ACM Trans. Comput. Biology Bioinform.	2011	DBLP DOI BibTeX RDF
1	Petr Buryan, Jirí Kubalík	Context-sensitive refinements for stochastic optimisation algorithms in inductive logic programming.	Artif. Intell. Rev.	2011	DBLP DOI BibTeX RDF
1	Ljiljana Cvetkovic, Vladimir Kostic, J. M. Peña	Eigenvalue Localization Refinements for Matrices Related to Positivity.	SIAM J. Matrix Analysis Applications	2011	DBLP DOI BibTeX RDF
1	Bryan Temprado-Battad, Antonio Sarasa Cabezuelo, José Luis Sierra-Rodríguez	Checking the Conformance of Grammar Refinements with Respect to Initial Context-Free Grammars.	FedCSIS	2011	DBLP BibTeX RDF
1	Nirav Dave, Michael Katelman, Myron King, Arvind, José Meseguer	Verification of microarchitectural refinements in rule-based systems.	MEMOCODE	2011	DBLP DOI BibTeX RDF
1	Luca Aceto, Ignacio Fábregas, David de Frutos-Escrig, Anna Ingólfsdóttir, Miguel Palomino	Relating Modal Refinements, Covariant-Contravariant Simulations and Partial Bisimulations.	FSEN	2011	DBLP DOI BibTeX RDF
1	Vijay Kumar, Somnath Sengupta	Decoder driven multi resolution side information refinements and mode decisions for improved rate-distortion performance in distributed video coding.	ICME	2011	DBLP DOI BibTeX RDF
1	Thierry-Marie Guerra, Abdelhafidh Jaadari, J. Pan, Antonio Sala	Some refinements for non quadratic stabilization of continuous TS models.	FUZZ-IEEE	2011	DBLP DOI BibTeX RDF
1	Martin Schmidt, Helmar Gust, Kai-Uwe Kühnberger, Ulf Krumnack	Refinements of Restricted Higher-Order Anti-Unification for Heuristic-Driven Theory Projection.	KI	2011	DBLP DOI BibTeX RDF
1	Afredo Alzaga, Rodrigo Iglesias, Ricardo Pignol	Spectra of symmetric powers of graphs and the Weisfeiler-Lehman refinements.	J. Comb. Theory, Ser. B	2010	DBLP DOI BibTeX RDF
1	Zhen-Gang Xiao, H. M. Srivastava, Zhi-Hua Zhang	Further refinements of the Jensen inequalities based upon samples with repetitions.	Mathematical and Computer Modelling	2010	DBLP DOI BibTeX RDF
1	Richard Banach, Gerhard Schellhorn	Atomic actions, and their refinements to isolated protocols.	Formal Asp. Comput.	2010	DBLP DOI BibTeX RDF
1	Richard P. Anstee, Balin Fleming	Two refinements of the bound of Sauer, Perles and Shelah, and of Vapnik and Chervonenkis.	Discrete Mathematics	2010	DBLP DOI BibTeX RDF
1	Ángel García-Crespo, Alejandro Rodríguez González, Myriam Mencke, Juan Miguel Gómez Berbís, Ricardo Colomo Palacios	ODDIN: Ontology-driven differential diagnosis based on logical inference and probabilistic refinements.	Expert Syst. Appl.	2010	DBLP DOI BibTeX RDF
1	Florian Roemer, Martin Haardt	Tensor-based channel estimation and iterative refinements for two-way relaying with multiple antennas and spatial reuse.	IEEE Transactions on Signal Processing	2010	DBLP DOI BibTeX RDF
1	Antti Hannukainen, Sergey Korotov, Michal Krízek	On global and local mesh refinements by a generalized conforming bisection algorithm.	J. Computational Applied Mathematics	2010	DBLP DOI BibTeX RDF
1	Wengui Yang	Refinements of generalized Aczél-Popoviciu's inequality and Bellman's inequality.	Computers & Mathematics with Applications	2010	DBLP DOI BibTeX RDF
1	Zhicheng Hu, Aimin Xu	Refinements of Aczél and Bellman's inequalities.	Computers & Mathematics with Applications	2010	DBLP DOI BibTeX RDF
1	M. Alomari, M. Darus, U. S. Kirmaci	Refinements of Hadamard-type inequalities for quasi-convex functions with applications to trapezoidal formula and to special means.	Computers & Mathematics with Applications	2010	DBLP DOI BibTeX RDF
1		The Gene Ontology in 2010: extensions and refinements.	Nucleic Acids Research	2010	DBLP DOI BibTeX RDF
1	Kees M. van Hee, Arjan J. Mooij, Natalia Sidorova, Jan Martijn E. M. van der Werf	Soundness-Preserving Refinements of Service Compositions.	WS-FM	2010	DBLP DOI BibTeX RDF
1	Patrik Lundh, Britte Haugan Cheng, William R. Penuel, Aasha Joshi	Using design personas to inform refinements to software for science learning.	ICLS	2010	DBLP BibTeX RDF
1	Kristoffer Arnsfelt Hansen, Peter Bro Miltersen, Troels Bjerre Sørensen	The Computational Complexity of Trembling Hand Perfection and Other Equilibrium Refinements.	SAGT	2010	DBLP DOI BibTeX RDF
1	Mohamed Elhadi, Amjad Al-Tobi	Refinements of Longest Common Subsequence algorithm.	AICCSA	2010	DBLP DOI BibTeX RDF
1	Dominik Domis, Kai Höfig, Mario Trapp	A Consistency Check Algorithm for Component-Based Refinements of Fault Trees.	ISSRE	2010	DBLP DOI BibTeX RDF
1	Laura Moss, Derek H. Sleeman, Malcolm Sim	Reasoning by Analogy in the Generation of Domain Acceptable Ontology Refinements.	EKAW	2010	DBLP DOI BibTeX RDF
1	Huimin Qian, Ravi Kuber, Andrew Sears	Maintaining levels of activity using a haptic personal training application.	CHI Extended Abstracts	2010	DBLP DOI BibTeX RDF	haptic vocabulary, mobile devices, older adults
1	Daniel Vogel, Ravin Balakrishnan	Occlusion-aware interfaces.	CHI	2010	DBLP DOI BibTeX RDF	image processing, Occlusion, pen, hand
1	Bas Geertsema, Slinger Jansen	Increasing software product reusability and variability using active components: a software product line infrastructure.	ECSA Companion Volume	2010	DBLP DOI BibTeX RDF	active components, components, model-driven development, software product lines, variability
1	He Jiang, Jifeng Xuan, Zhilei Ren	Approximate backbone based multilevel algorithm for next release problem.	GECCO	2010	DBLP DOI BibTeX RDF	approximate backbone, multilevel algorithm, next release problem (nrp), requirement engineering
1	Juan Chen, Ravi Chugh, Nikhil Swamy	Type-preserving compilation of end-to-end verification of security enforcement.	PLDI	2010	DBLP DOI BibTeX RDF	bytecode languages, compilers, authorization, functional programming, information flow, dependent types, security type systems, mobile code security
1	Murugan Ayyappan, Yew-Kwong Woon, Wee Keong Ng	MICHO: a scalable constraint-based algorithm for learning Bayesian networks.	SAC	2010	DBLP DOI BibTeX RDF	data mining, machine learning, classification, Bayesian networks, large datasets, conditional independence
1	Richard Banach	A deidealisation semantics for KAOS.	SAC	2010	DBLP DOI BibTeX RDF	tower pattern, refinement, ASM, retrenchment, KAOS
1	Jon Jansen, Louis Bavoil	Fourier opacity mapping.	SI3D	2010	DBLP DOI BibTeX RDF	fog, opacity mapping, volumetric, shadows, smoke, particles, hair
1	Venceslas Biri, Adrien Herubel, Stephane Deverly	Practical morphological antialiasing on the GPU.	SIGGRAPH Talks	2010	DBLP DOI BibTeX RDF	real-time, antialiasing, gpu
1	Jun Wang, Zhouwang Yang, Liangbing Jin, Jiansong Deng, Falai Chen	Adaptive surface reconstruction based on implicit PHT-splines.	Symposium on Solid and Physical Modeling	2010	DBLP DOI BibTeX RDF	PHT-spline, T-mesh, surface reconstruction, Hermite interpolation
1	Jean-Marie Jacquet, Isabelle Linden	Fully abstract models and refinements as tools to compare agents in timed coordination languages.	Theor. Comput. Sci.	2009	DBLP DOI BibTeX RDF
1	Tongsuo Wu, Qiong Liu, Li Chen	Zero-divisor semigroups and refinements of a star graph.	Discrete Mathematics	2009	DBLP DOI BibTeX RDF
1	André Didier, Adalberto Farias, Alexandre Mota	Checking Z Data Refinements Using Traces Refinement.	Electr. Notes Theor. Comput. Sci.	2009	DBLP DOI BibTeX RDF
1	Huan-Wen Liu, Le-Le Fan	Lagrange interpolations using bivariate C2 quintic supersplines on double Clough-Tocher refinements.	Computers & Mathematics with Applications	2009	DBLP DOI BibTeX RDF
1	Lionel C. Briand, Yvan Labiche, Tao Yue	Automated traceability analysis for UML model refinements.	Information & Software Technology	2009	DBLP DOI BibTeX RDF
1	Jan Mikác, Paul Caspi	Flush: an example of development by refinements in SCADE/Lustre.	STTT	2009	DBLP DOI BibTeX RDF
1	Qaisar A. Malik, Johan Lilius, Linas Laibinis	Model-Based Testing Using Scenarios and Event-B Refinements.	Methods, Models and Tools for Fault Tolerance	2009	DBLP DOI BibTeX RDF
1	John Impagliazzo	Graduate attributes and performance measures: refinements in assessing programs.	ITiCSE	2009	DBLP DOI BibTeX RDF	graduate attributes, assessment, performance measures, quality assurance, accreditation, computing programs