Search results for "refinements"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
17	Andrea Formisano 0001, Alberto Policriti	T-Resolution: Refinements and Model Elimination.	J. Autom. Reason.	1999	DBLP DOI BibTeX RDF
17	P. Jean-Jacques Herings, Vincent Vannetelbosch	Refinements of rationalizability for normal-form games.	Int. J. Game Theory	1999	DBLP DOI BibTeX RDF
17	Chris S. Wallace, David L. Dowe	Refinements of MDL and MML Coding.	Comput. J.	1999	DBLP DOI BibTeX RDF
17	John Derrick, Eerke A. Boiten	Testing Refinements of State-based Formal Specifications.	Softw. Test. Verification Reliab.	1999	DBLP DOI BibTeX RDF
17	Michel Bidoit, María Victoria Cengarle, Rolf Hennicker	Proof Systems for Structured Specifications and Their Refinements.	Algebraic Foundations of Systems Specification	1999	DBLP DOI BibTeX RDF
17	Wlodzimierz M. Zuberek	Stepwise refinements of net models and their place invariants.	PNPM	1999	DBLP DOI BibTeX RDF
17	Zheng Xu, Kunio Kondo	Adaptive Refinements in Subdivision Surfaces?	Eurographics (Short Presentations)	1999	DBLP DOI BibTeX RDF
17	Giuseppe Santucci	Semantic Schema Refinements for Multilevel Schema Integration.	Data Knowl. Eng.	1998	DBLP DOI BibTeX RDF
17	Johann A. Makowsky, Elena V. Ravve	Dependency Preserving Refinements and the Fundamental Problem of Database Design.	Data Knowl. Eng.	1998	DBLP DOI BibTeX RDF
17	Eric W. van Ammers	Program Families: Program Construction by Context Independent Refinements.	Sci. Comput. Program.	1998	DBLP DOI BibTeX RDF
17	Roberto Giacobazzi, Francesco Ranzato	Uniform Closures: Order-Theoretically Reconstructing Logic Program Semantics and Abstract Domain Refinements.	Inf. Comput.	1998	DBLP DOI BibTeX RDF
17	Donatella Castelli, Serena Pisani	A Transformational Approach to Correct Schema Refinements.	ER	1998	DBLP DOI BibTeX RDF
17	Martin Große-Rhode, Francesco Parisi-Presicce, Marta Simeoni	Refinements of Graph Transformation Systems via Rule Expressions.	TAGT	1998	DBLP DOI BibTeX RDF
17	Xudong He	Transformations on Hierarchical Predicate Transition Nets: Refinements and Abstractions.	COMPSAC	1998	DBLP DOI BibTeX RDF
17	John Derrick, Eerke A. Boiten	Testing Refinements by Refining Tests.	ZUM	1998	DBLP DOI BibTeX RDF
17	Claude Sammut	Prolog, Refinements and RLGG's.	ILP	1998	DBLP DOI BibTeX RDF
17	John Harrison	Morphic refinements of nonregular languages.	Int. J. Comput. Math.	1997	DBLP DOI BibTeX RDF
17	Bart Jacobs 0001	Invariants, Bisimulations and the Correctness of Coalgebraic Refinements.	AMAST	1997	DBLP DOI BibTeX RDF
17	Fabrizio d'Amore, Luca Becchetti, Sergei L. Bezrukov, Alberto Marchetti-Spaccamela, M. Ottaviani, Robert Preis, Markus Röttger, Ulf-Peter Schroeder	On the Embedding of Refinements of 2-dimensional Grids.	Euro-Par	1997	DBLP DOI BibTeX RDF
17	Oscar Slotosch	Refinements in HOLCF: implementation of interactive systems.		1997	RDF
17	Didier Dubois, Hélène Fargier, Henri Prade	Refinements of the maximin approach to decision-making in a fuzzy environment.	Fuzzy Sets Syst.	1996	DBLP DOI BibTeX RDF
17	Kozo Okano, Teruo Higashino, Kenichi Taniguchi	Proof method for correctness of refinements of algebraic specification in abstract sequential machine style.	Syst. Comput. Jpn.	1996	DBLP DOI BibTeX RDF
17	Carlo Montangero, Laura Semini	Refining by architectural styles or architecting by refinements.	ISAW/Viewpoints@FSE	1996	DBLP DOI BibTeX RDF
17	John F. Vassilopoulos, Cris Koutsougeras	Refinements in Training Schemes for the Coulomb Energy Network.	ICTAI	1996	DBLP DOI BibTeX RDF
17	J. Harrison	On properties of edtol and rwdol languages and the constructibility of finite morphic refinements.	Int. J. Comput. Math.	1995	DBLP DOI BibTeX RDF
17	X. J. Chen, Carlo Montangero	Compositional Refinements in Multiple Blackboard Systems.	Acta Informatica	1995	DBLP DOI BibTeX RDF
17	Hidetaka Kondoh	Basic Properties of Data Types with Inequational Refinements.	TLCA	1995	DBLP DOI BibTeX RDF
17	Toshihiko Niinomi, Bruce H. Krogh, José E. R. Cury	Refinements of Approximating Automata for Synthesis of Supervisory Controllers for Hybrid Systems.	Hybrid Systems	1995	DBLP DOI BibTeX RDF
17	Carlo Zaniolo	The Dynamics of Active Database Rules: Models and Refinements.	NGITS	1995	DBLP BibTeX RDF
17	Jeffrey S. Leon	Partitions, refinements, and permutation group computation.	Groups and Computation	1995	DBLP DOI BibTeX RDF
17	Mark A. Tapia, Gordon Kurtenbach	Some Design Refinements and Principles on the Appearance and Behavior of Marking Menus.	ACM Symposium on User Interface Software and Technology	1995	DBLP DOI BibTeX RDF	menu layout, gestures, user interface design, marking menus, pie menus
17	John Case, Sanjay Jain 0001, Suzanne Ngo Manguelle	Refinements of inductive inference by Popperian and reliable machines.	Kybernetika	1994	DBLP BibTeX RDF
17	Valmir Carneiro Barbosa, Lúcia Maria de A. Drummond, Astrid Luise H. Hellmuth	From distributed algorithms to OCCAM programs by successive refinements.	J. Syst. Softw.	1994	DBLP DOI BibTeX RDF
17	Doheon Lee, Myoung-Ho Kim	Discovering Database Summaries through Refinements of Fuzzy Hypotheses.	ICDE	1994	DBLP DOI BibTeX RDF
17	Peter Baumgartner 0001	Refinements of Theory Model Elimination and a Variant without Contrapositives.	ECAI	1994	DBLP BibTeX RDF
17	Victor L. Selivanov	Two Refinements of the Polynomial Hierarcht.	STACS	1994	DBLP DOI BibTeX RDF
17	Raymond G. Nickson, Lindsay J. Groves	Metavariables and Conditional Refinements in the Refinement Calculus.	Refine	1994	DBLP DOI BibTeX RDF
17	Miguel Felder, Carlo Ghezzi, Mauro Pezzè	Analyzing Refinements of State Based Specifications: The Case of TB Nets.	ISSTA	1993	DBLP DOI BibTeX RDF
17	Raymond R. Devillers	Maximality preservation and the ST-idea for action refinements.	Advances in Petri Nets: The DEMON Project	1992	DBLP DOI BibTeX RDF
17	Morten Elvang-Gøransson	Classification of Refinements in VDM.	Refine	1992	DBLP DOI BibTeX RDF
17	Elizabeth Jean Baillie	Towards a satisfaction relation between CCS specifications and their refinements.		1992	RDF
17	Walter Vogler	Asynchronous communication of Petri nets and the refinements of transitions	Forschungsberichte, TU Munich	1991	RDF
17	Robert F. Sproull	Refinements to Nearest-Neighbor Searching in k-Dimensional Trees.	Algorithmica	1991	DBLP DOI BibTeX RDF
17	Joakim von Wright, Kaisa Sere	Program Transformations and Refinements in HOL.	TPHOLs	1991	DBLP BibTeX RDF
17	Hon Fung Li, S. C. Leung, P. N. Lam	Synthesis of Delay-Insensitive Circuits by Refinements into Atomic Threads.	ICCD	1991	DBLP DOI BibTeX RDF
17	Charles Knessl	Refinements to Heavy Traffic Limit Theorems in Queueing Theory.	Oper. Res.	1990	DBLP DOI BibTeX RDF
17	Philippe Darondeau, Pierpaolo Degano	Event Structures, Causal Trees, and Refinements.	MFCS	1990	DBLP DOI BibTeX RDF
17	Jill J. Hallenbeck	The Test Engineer's Assistant revisited-refinements on a prototype software tool.	RSP	1990	DBLP DOI BibTeX RDF
17	Xumin Nie, David A. Plaisted	Refinements to Depth-First Iterative-Deepening Search in Automatic Theorem Proving.	Artif. Intell.	1989	DBLP DOI BibTeX RDF
17	Jifeng He 0001	Various Simulations and Refinements.	REX Workshop	1989	DBLP DOI BibTeX RDF	Hiding Refinement, Simulation, Refinement, Labelled Transition System
17	Martin Ward	Proving program refinements and transformations.		1989	RDF
17	Ralph-Johan Back	A Calculus of Refinements for Program Derivations.	Acta Informatica	1988	DBLP DOI BibTeX RDF
17	Robert F. Pawula	Refinements to the theory of error rates for narrow-band digital FM.	IEEE Trans. Commun.	1988	DBLP DOI BibTeX RDF
17	Theo P. van der Weide	Iterative Tree Traversal Using Refinements and Pointer Rotation.	Comput. J.	1988	DBLP DOI BibTeX RDF
17	Min-Zhi Shao, Qunsheng Peng 0001, You-Dong Liang	A new radiosity approach by procedural refinements for realistic image sythesis.	SIGGRAPH	1988	DBLP DOI BibTeX RDF	hemi-cube, procedural iteration, global illumination, radiosity, progressive refinement, form-factors, distributed ray tracing
17	David R. Cheriton, Anoop Gupta, Patrick D. Boyle, Hendrik A. Goosen	The VMP Multiprocessor: Initial Experience, Refinements and Performance Evlauation.	ISCA	1988	DBLP DOI BibTeX RDF
17	David W. Barnette	5-connected 3-polytopes are refinements of octahedra.	J. Comb. Theory, Ser. B	1987	DBLP DOI BibTeX RDF
17	Stanley B. Zdonik	Why Properties are Objects or Refinements of "is-a".	FJCC	1986	DBLP BibTeX RDF
17	Georg Lausen	Conceptual Modelling Based on Net Refinements.	DS-1	1985	DBLP BibTeX RDF
17	Reid G. Smith, Howard A. Winston, Tom M. Mitchell, Bruce G. Buchanan	Representation and Use of Explicit Justifications for Knowledge Base Refinements.	IJCAI	1985	DBLP BibTeX RDF
17	Russell George Thompson, John C. Stone, S. Muthukrishnan 0003, Albert N. Halter	Refinements in energy economic modeling for policy purposes.	Comput. Oper. Res.	1984	DBLP DOI BibTeX RDF
17	Mark Dolson	Refinements in Phase-Vocoder-Based Modification of Music.	ICMC	1984	DBLP BibTeX RDF
17	Didier Bert	Refinements of Generic Specifications with Algebraic Tools.	IFIP Congress	1983	DBLP BibTeX RDF
17	Luigi Petrone, Antonio Di Leva, Franco Sirovich	DUAL: An Interactive Tool for Developing Documented Programs by Step-Wise Refinements.	ICSE	1982	DBLP BibTeX RDF
17	Ichiro Suzuki, Tadao Murata	Stepwise Refinements of Transitions and Places.	Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets	1981	DBLP DOI BibTeX RDF
17	Werner C. Rheinboldt, Charles K. Mesztenyi	On a Data Structure for Adaptive Finite Element Mesh Refinements.	ACM Trans. Math. Softw.	1980	DBLP DOI BibTeX RDF
17	Victor Harnik	Refinements of Vaught's Normal from Theorem.	J. Symb. Log.	1979	DBLP DOI BibTeX RDF
17		Further refinements to the proposed datagram interface [for X.25].	Comput. Commun. Rev.	1979	DBLP DOI BibTeX RDF
17	Robert Valette	Analysis of Petri Nets by Stepwise Refinements.	J. Comput. Syst. Sci.	1979	DBLP DOI BibTeX RDF
17	Ferydoon Kianfar	Technical Note - Stronger Inequalities for 0-1 Integer Programming: Computational Refinements.	Oper. Res.	1976	DBLP DOI BibTeX RDF
17	Gerald A. Wilson, Jack Minker	Resolution, Refinements, and Search Strategies: A Comparative Study.	IEEE Trans. Computers	1976	DBLP DOI BibTeX RDF	linear resolution, P1 resolution, proof procedure system, Q* algorithm, resolution inference, set of support resolution, ?* algorithm, SL resolution, theorem proving, problem solving, search strategies, Comparative analysis
17	Gaetano Aurelio Lanzarone, Mario Ornaghi	Program Construction by Refinements Preserving Correctness.	Comput. J.	1975	DBLP DOI BibTeX RDF
17	Joel I. Seiferas, Michael J. Fischer, Albert R. Meyer	Refinements of the Nondeterministic Time and Space Hierarchies	SWAT	1973	DBLP DOI BibTeX RDF
17	Gordon R. Wood	Refinements in Tabular Models of variation in Regional American English.	COLING	1973	DBLP BibTeX RDF
17	Kenneth O. Kortanek, Allen L. Soyster	On Refinements of Some Duality Theorems in Linear Programming over Cones.	Oper. Res.	1972	DBLP DOI BibTeX RDF
17	Richard B. Kieburtz, David C. Luckham	Compatibility and Complexity of Refinements of the Resolution Principle.	SIAM J. Comput.	1972	DBLP DOI BibTeX RDF
16	Jácome Cunha, João Saraiva, Joost Visser 0001	From spreadsheets to relational databases and back.	PEPM	2009	DBLP DOI BibTeX RDF	bi-directional transformations, type-safe data migration, functional programming, spreadsheets
16	Sadaaki Miyamoto	Refinement Properties in Agglomerative Hierarchical Clustering.	MDAI	2009	DBLP DOI BibTeX RDF	single linkage, complete linkage, average linkage, refinement, Agglomerative clustering
16	Ming Kawaguchi, Patrick Maxim Rondon, Ranjit Jhala	Type-based data structure verification.	PLDI	2009	DBLP DOI BibTeX RDF	hindley-milner, type inference, dependent types, predicate abstraction
16	Ricardo Bedin França, Leandro Buss Becker, Jean-Paul Bodeveix, Jean-Marie Farines, Mamoun Filali	Towards Safe Design of Synchronous Bus Protocols in Event-B.	SBMF	2009	DBLP DOI BibTeX RDF	synchronous systems, Event-B, parameterized systems, bus protocols
16	Anna Paszynska, Maciej Paszynski, Ewa Grabska	Graph Transformations for Modeling hp-Adaptive Finite Element Method with Mixed Triangular and Rectangular Elements.	ICCS (2)	2009	DBLP DOI BibTeX RDF
16	Stephanus Daniel Handoko, Chee Keong Kwoh 0001, Yew-Soon Ong	Classification-Assisted Memetic Algorithms for Equality-Constrained Optimization Problems.	Australasian Conference on Artificial Intelligence	2009	DBLP DOI BibTeX RDF
16	Anne Gelb, Dennis Cates	Detection of Edges in Spectral Data III - Refinement of the Concentration Method.	J. Sci. Comput.	2008	DBLP DOI BibTeX RDF	Piecewise smooth functions, Fourier data, Edge detection, Filtering, Convolution, Gaussian noise
16	Wei Cheng	Streaming of 3D progressive meshes.	ACM Multimedia	2008	DBLP DOI BibTeX RDF	peer-to-peer, progressive meshes, view-dependent, 3d streaming
16	Robin Stewart, Gregory Scott, Vladimir Zelevinsky	Idea navigation: structured browsing for unstructured text.	CHI	2008	DBLP DOI BibTeX RDF	information retrieval, exploratory search, faceted browsing
16	David Déharbe, Bruno Emerson Gurgel Gomes, Anamaria Martins Moreira	BSmart: A Tool for the Development of Java Card Applications with the B Method.	ABZ	2008	DBLP DOI BibTeX RDF
16	Issam W. Damaj	Parallel Algorithms Development for Programmable Devices with Application from Cryptography.	Int. J. Parallel Program.	2007	DBLP DOI BibTeX RDF	Parallel algorithms, methodologies, formal models, data encryption, gate array
16	Sudipta Kundu, Sorin Lerner, Rajesh Gupta 0001	Automated refinement checking of concurrent systems.	ICCAD	2007	DBLP DOI BibTeX RDF
16	Silviu Cucerzan, Ryen W. White	Query suggestion based on user landing pages.	SIGIR	2007	DBLP DOI BibTeX RDF	landing pages, search engine, query log analysis, search sessions
16	Nabil Hameurlain	Contextualizing Behavioural Substitutability and Refinement of Role Components in MAS.	ESAW	2007	DBLP DOI BibTeX RDF
16	Antonio DiCarlo, Franco Milicchio, Alberto Paoluzzi, Vadim Shapiro	Solid and physical modeling with chain complexes.	Symposium on Solid and Physical Modeling	2007	DBLP DOI BibTeX RDF	Hasse matrix, computational mesh, finite methods, split algorithm, topology representation
16	Klaus U. Schulz, Stoyan Mihov, Petar Mitankin	Fast Selection of Small and Precise Candidate Sets from Dictionaries for Text Correction Tasks.	ICDAR	2007	DBLP DOI BibTeX RDF
16	Colin McMillen, Manuela M. Veloso	Distributed, Play-Based Coordination for Robot Teams in Dynamic Environments.	RoboCup	2006	DBLP DOI BibTeX RDF
16	Dieter Hutter	Possibilistic Information Flow Control in MAKS and Action Refinement.	ETRICS	2006	DBLP DOI BibTeX RDF
16	Bassel Daou, Gregor von Bochmann	Generalizing the Submodule Construction Techniques for Extended State Machine Models.	FORTE	2006	DBLP DOI BibTeX RDF
16	Michel Bidoit, Rolf Hennicker	Externalized and Internalized Notions of Behavioral Refinement.	ICTAC	2005	DBLP DOI BibTeX RDF
16	Brian Chin, Shane Markstrum, Todd D. Millstein	Semantic type qualifiers.	PLDI	2005	DBLP DOI BibTeX RDF	extensible typechecking, type qualifiers, type soundness
16	Ricardo Ñanculef, Carlos Concha, Claudio Moraga, Héctor Allende	Multiresolution Fuzzy Rule Systems.	Fuzzy Days	2004	DBLP DOI BibTeX RDF	Fuzzy Rule Systems, Rules Hierarchies, Learning Algorithms, Multiresolution Analysis
16	Nenad Stojanovic, Ljiljana Stojanovic	On Modelling Cooperative Retrieval Using an Ontology-Based Query Refinement Process.	ER	2004	DBLP DOI BibTeX RDF
16	Christian Haubelt	Design Space Exploration for Distributed Hardware Reconfigurable Systems.	FPL	2004	DBLP DOI BibTeX RDF