Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
17 | Andrea Formisano 0001, Alberto Policriti |
T-Resolution: Refinements and Model Elimination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 22(4), pp. 433-483, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
17 | P. Jean-Jacques Herings, Vincent Vannetelbosch |
Refinements of rationalizability for normal-form games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Game Theory ![In: Int. J. Game Theory 28(1), pp. 53-68, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Chris S. Wallace, David L. Dowe |
Refinements of MDL and MML Coding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. J. ![In: Comput. J. 42(4), pp. 330-337, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
17 | John Derrick, Eerke A. Boiten |
Testing Refinements of State-based Formal Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Test. Verification Reliab. ![In: Softw. Test. Verification Reliab. 9(1), pp. 27-50, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Michel Bidoit, María Victoria Cengarle, Rolf Hennicker |
Proof Systems for Structured Specifications and Their Refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algebraic Foundations of Systems Specification ![In: Algebraic Foundations of Systems Specification, pp. 385-433, 1999, Springer, 978-3-642-64151-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Wlodzimierz M. Zuberek |
Stepwise refinements of net models and their place invariants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNPM ![In: Proceedings of the 8th International Workshop on Petri Nets and Performance Models, PNPM 1999, Zaragoza, Spain, September 8-10, 1999, pp. 92-101, 1999, IEEE Computer Society, 0-7695-0331-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Zheng Xu, Kunio Kondo |
Adaptive Refinements in Subdivision Surfaces? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eurographics (Short Presentations) ![In: 20th Annual Conference of the European Association for Computer Graphics, Eurographics 1999 - Short Presentations, Milan, Italy, September 7-11, 1999, 1999, Eurographics Association. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Giuseppe Santucci |
Semantic Schema Refinements for Multilevel Schema Integration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Data Knowl. Eng. ![In: Data Knowl. Eng. 25(3), pp. 301-326, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Johann A. Makowsky, Elena V. Ravve |
Dependency Preserving Refinements and the Fundamental Problem of Database Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Data Knowl. Eng. ![In: Data Knowl. Eng. 24(3), pp. 277-312, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Eric W. van Ammers |
Program Families: Program Construction by Context Independent Refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 30(3), pp. 251-286, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Roberto Giacobazzi, Francesco Ranzato |
Uniform Closures: Order-Theoretically Reconstructing Logic Program Semantics and Abstract Domain Refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 145(2), pp. 153-190, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Donatella Castelli, Serena Pisani |
A Transformational Approach to Correct Schema Refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ER ![In: Conceptual Modeling - ER '98, 17th International Conference on Conceptual Modeling, Singapore, November 16-19, 1998, Proceedings, pp. 226-239, 1998, Springer, 3-540-65189-6. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Martin Große-Rhode, Francesco Parisi-Presicce, Marta Simeoni |
Refinements of Graph Transformation Systems via Rule Expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAGT ![In: Theory and Application of Graph Transformations, 6th International Workshop, TAGT'98, Paderborn, Germany, November 16-20, 1998, Selected Papers, pp. 368-382, 1998, Springer, 3-540-67203-6. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Xudong He |
Transformations on Hierarchical Predicate Transition Nets: Refinements and Abstractions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: COMPSAC '98 - 22nd International Computer Software and Applications Conference, August 19-21, 1998, Vienna, Austria, pp. 164-171, 1998, IEEE Computer Society, 0-8186-8585-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
17 | John Derrick, Eerke A. Boiten |
Testing Refinements by Refining Tests. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZUM ![In: ZUM '98: The Z Formal Specification Notation, 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings, pp. 265-283, 1998, Springer, 3-540-65070-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Claude Sammut |
Prolog, Refinements and RLGG's. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ILP ![In: Inductive Logic Programming, 8th International Workshop, ILP-98, Madison, Wisconsin, USA, July 22-24, 1998, Proceedings, pp. 225-234, 1998, Springer, 3-540-64738-4. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
17 | John Harrison |
Morphic refinements of nonregular languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Math. ![In: Int. J. Comput. Math. 64(3-4), pp. 181-190, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
17 | Bart Jacobs 0001 |
Invariants, Bisimulations and the Correctness of Coalgebraic Refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 6th International Conference, AMAST '97, Sydney, Australia, December 13-17, 1997, Proceedings, pp. 276-291, 1997, Springer, 3-540-63888-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par ![In: Euro-Par '97 Parallel Processing, Third International Euro-Par Conference, Passau, Germany, August 26-29, 1997, Proceedings, pp. 950-957, 1997, Springer, 3-540-63440-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
17 | Oscar Slotosch |
Refinements in HOLCF: implementation of interactive systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1997 |
RDF |
|
17 | Didier Dubois, Hélène Fargier, Henri Prade |
Refinements of the maximin approach to decision-making in a fuzzy environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Sets Syst. ![In: Fuzzy Sets Syst. 81(1), pp. 103-122, 1996. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Syst. Comput. Jpn. ![In: Syst. Comput. Jpn. 27(5), pp. 25-38, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
17 | Carlo Montangero, Laura Semini |
Refining by architectural styles or architecting by refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISAW/Viewpoints@FSE ![In: Joint Proceedings of the Second International Software Architecture Workshop (ISAW-2) and International Workshop on Multiple Perspectives in Software Development (Viewpoints '96) on SIGSOFT '96 workshops, ISAW '96, San Francisco, California, USA, pp. 76-79, 1996, ACM. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
17 | John F. Vassilopoulos, Cris Koutsougeras |
Refinements in Training Schemes for the Coulomb Energy Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: Eigth International Conference on Tools with Artificial Intelligence, ICTAI '96, Toulouse, France, November 16-19, 1996, pp. 194-199, 1996, IEEE Computer Society, 0-8186-7686-8. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
17 | J. Harrison |
On properties of edtol and rwdol languages and the constructibility of finite morphic refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Math. ![In: Int. J. Comput. Math. 57(1-2), pp. 57-65, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
17 | X. J. Chen, Carlo Montangero |
Compositional Refinements in Multiple Blackboard Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 32(5), pp. 415-458, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
17 | Hidetaka Kondoh |
Basic Properties of Data Types with Inequational Refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, UK, April 10-12, 1995, Proceedings, pp. 279-296, 1995, Springer, 3-540-59048-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Hybrid Systems ![In: Hybrid Systems III: Verification and Control, Proceedings of the DIMACS/SYCON Workshop on Verification and Control of Hybrid Systems, October 22-25, 1995, Ruttgers University, New Brunswick, NJ, USA, pp. 475-484, 1995, Springer, 3-540-61155-X. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
17 | Carlo Zaniolo |
The Dynamics of Active Database Rules: Models and Refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NGITS ![In: Next Generation Information Technologies and Systems (NGITS '95), Second International Workshop, Naharia, Israel, June 27-29, 1995, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
17 | Jeffrey S. Leon |
Partitions, refinements, and permutation group computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Groups and Computation ![In: Groups and Computation, Proceedings of a DIMACS Workshop, New Brunswick, New Jersey, USA, June 7-10, 1995, pp. 123-158, 1995, DIMACS/AMS, 978-0-8218-0516-9. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
17 | Mark A. Tapia, Gordon Kurtenbach |
Some Design Refinements and Principles on the Appearance and Behavior of Marking Menus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Symposium on User Interface Software and Technology ![In: Proceedings of the 8th Annual ACM Symposium on User Interface Software and Technology, UIST 1995, Pittsburgh, PA, USA, November 14-17, 1995, pp. 189-195, 1995, ACM, 0-89791-709-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Kybernetika ![In: Kybernetika 30(1), pp. 23-52, 1994. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Softw. ![In: J. Syst. Softw. 26(3), pp. 257-272, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
17 | Doheon Lee, Myoung-Ho Kim |
Discovering Database Summaries through Refinements of Fuzzy Hypotheses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDE ![In: Proceedings of the Tenth International Conference on Data Engineering, February 14-18, 1994, Houston, Texas, USA, pp. 223-230, 1994, IEEE Computer Society, 0-8186-5400-7. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
17 | Peter Baumgartner 0001 |
Refinements of Theory Model Elimination and a Variant without Contrapositives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAI ![In: Proceedings of the Eleventh European Conference on Artificial Intelligence, Amsterdam, The Netherlands, August 8-12, 1994., pp. 90-94, 1994, John Wiley and Sons, Chichester. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
17 | Victor L. Selivanov |
Two Refinements of the Polynomial Hierarcht. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 94, 11th Annual Symposium on Theoretical Aspects of Computer Science, Caen, France, February 24-26, 1994, Proceedings, pp. 439-448, 1994, Springer, 3-540-57785-8. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
17 | Raymond G. Nickson, Lindsay J. Groves |
Metavariables and Conditional Refinements in the Refinement Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine ![In: 6th Refinement Workshop, Proceedings of the 6th Refinement Workshop, organised by BCS-FACS, London, UK, 5-7 January 1994, pp. 167-187, 1994, Springer, 978-3-540-19886-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
17 | Miguel Felder, Carlo Ghezzi, Mauro Pezzè |
Analyzing Refinements of State Based Specifications: The Case of TB Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 1993 International Symposium on Software Testing and Analysis, ISSTA 1993, Cambridge, MA, USA, June 28-30, 1993, pp. 28-39, 1993, ACM, 0-89791-608-5. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
17 | Raymond R. Devillers |
Maximality preservation and the ST-idea for action refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advances in Petri Nets: The DEMON Project ![In: Advances in Petri Nets 1992, The DEMON Project, pp. 108-151, 1992, Springer, 3-540-55610-9. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
17 | Morten Elvang-Gøransson |
Classification of Refinements in VDM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine ![In: 5th Refinement Workshop, Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8-10 January 1992, pp. 172-180, 1992, Springer London, 978-3-540-19752-2. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
17 | Elizabeth Jean Baillie |
Towards a satisfaction relation between CCS specifications and their refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1992 |
RDF |
|
17 | Walter Vogler |
Asynchronous communication of Petri nets and the refinements of transitions ![Search on Bibsonomy](Pics/bibsonomy.png) |
Forschungsberichte, TU Munich ![In: Forschungsberichte, TU Munich SFB 917, pp. 1-33, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
RDF |
|
17 | Robert F. Sproull |
Refinements to Nearest-Neighbor Searching in k-Dimensional Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmica ![In: Algorithmica 6(4), pp. 579-589, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
17 | Joakim von Wright, Kaisa Sere |
Program Transformations and Refinements in HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPHOLs ![In: Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and its Applications, August 1991, Davis, California, USA, pp. 231-239, 1991, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
17 | Hon Fung Li, S. C. Leung, P. N. Lam |
Synthesis of Delay-Insensitive Circuits by Refinements into Atomic Threads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCD ![In: Proceedings 1991 IEEE International Conference on Computer Design: VLSI in Computer & Processors, ICCD '91, Cambridge, MA, USA, October 14-16, 1991, pp. 180-186, 1991, IEEE Computer Society, 0-8186-2270-9. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
17 | Charles Knessl |
Refinements to Heavy Traffic Limit Theorems in Queueing Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Oper. Res. ![In: Oper. Res. 38(5), pp. 826-837, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
17 | Philippe Darondeau, Pierpaolo Degano |
Event Structures, Causal Trees, and Refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 1990, MFCS'90, Banská Bystrica, Czechoslovakia, August 27-31, 1990, Proceedings, pp. 239-245, 1990, Springer, 3-540-52953-5. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
17 | Jill J. Hallenbeck |
The Test Engineer's Assistant revisited-refinements on a prototype software tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSP ![In: Proceedings of the First International Workshop on Rapid System Prototyping, RSP 1990, Research Triangle Park, North Carolina, USA, June 4-7, 1990, pp. 158-163, 1990, IEEE Computer Society, 0-8186-2175-3. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
17 | Xumin Nie, David A. Plaisted |
Refinements to Depth-First Iterative-Deepening Search in Automatic Theorem Proving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. ![In: Artif. Intell. 41(2), pp. 223-235, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
17 | Jifeng He 0001 |
Various Simulations and Refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REX Workshop ![In: Stepwise Refinement of Distributed Systems, Models, Formalisms, Correctness, REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989, Proceedings, pp. 340-360, 1989, Springer, 3-540-52559-9. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
Hiding Refinement, Simulation, Refinement, Labelled Transition System |
17 | Martin Ward |
Proving program refinements and transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1989 |
RDF |
|
17 | Ralph-Johan Back |
A Calculus of Refinements for Program Derivations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 25(6), pp. 593-624, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
17 | Robert F. Pawula |
Refinements to the theory of error rates for narrow-band digital FM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Commun. ![In: IEEE Trans. Commun. 36(4), pp. 509-513, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
17 | Theo P. van der Weide |
Iterative Tree Traversal Using Refinements and Pointer Rotation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. J. ![In: Comput. J. 31(3), pp. 269-275, 1988. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGGRAPH ![In: Proceedings of the 15th Annual Conference on Computer Graphics and Interactive Techniques, SIGGRAPH 1988, Atlanta, Georgia, USA, August 1-5, 1988, pp. 93-99, 1988, ACM, 0-89791-275-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCA ![In: Proceedings of the 15th Annual International Symposium on Computer Architecture, Honolulu, Hawaii, USA, May-June 1988, pp. 410-421, 1988, IEEE Computer Society, 0-8186-0861-7. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
17 | David W. Barnette |
5-connected 3-polytopes are refinements of octahedra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comb. Theory, Ser. B ![In: J. Comb. Theory, Ser. B 42(2), pp. 250-254, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
17 | Stanley B. Zdonik |
Why Properties are Objects or Refinements of "is-a". ![Search on Bibsonomy](Pics/bibsonomy.png) |
FJCC ![In: Proceedings of the Fall Joint Computer Conference, November 2-6, 1986, Dallas, Texas, USA, pp. 41-46, 1986, IEEE Computer Society, 0-8186-0743-2. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP BibTeX RDF |
|
17 | Georg Lausen |
Conceptual Modelling Based on Net Refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DS-1 ![In: Proceedings of the IFIP WG 2.6 Working Conference on Data Semantics (DS-1). Hasselt, Belgium, January 7-11, 1985., pp. 41-57, 1985, North-Holland, 0-444-70004-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: Proceedings of the 9th International Joint Conference on Artificial Intelligence. Los Angeles, CA, USA, August 1985, pp. 673-680, 1985, Morgan Kaufmann. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Oper. Res. ![In: Comput. Oper. Res. 11(1), pp. 67-90, 1984. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
17 | Mark Dolson |
Refinements in Phase-Vocoder-Based Modification of Music. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMC ![In: Proceedings of the 1984 International Computer Music Conference, ICMC 1984, Paris, France, October 19-23, 1984, 1984, Michigan Publishing. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
17 | Didier Bert |
Refinements of Generic Specifications with Algebraic Tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFIP Congress ![In: Information Processing 83, Proceedings of the IFIP 9th World Computer Congress, Paris, France, September 19-23, 1983, pp. 815-820, 1983, North-Holland/IFIP, 0-444-86729-5. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP BibTeX RDF |
|
17 | Luigi Petrone, Antonio Di Leva, Franco Sirovich |
DUAL: An Interactive Tool for Developing Documented Programs by Step-Wise Refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: Proceedings, 6th International Conference on Software Engineering, Tokyo, Japan, September 13-16, 1982., pp. 350-359, 1982, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP BibTeX RDF |
|
17 | Ichiro Suzuki, Tadao Murata |
Stepwise Refinements of Transitions and Places. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets ![In: Application and Theory of Petri Nets, Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, Strasbourg, France 23.-26. September 1980, Bad Honnef, Germany, 28.-30. September 1981, pp. 136-141, 1981, Springer, 3-540-11189-1. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
17 | Werner C. Rheinboldt, Charles K. Mesztenyi |
On a Data Structure for Adaptive Finite Element Mesh Refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Math. Softw. ![In: ACM Trans. Math. Softw. 6(2), pp. 166-187, 1980. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
17 | Victor Harnik |
Refinements of Vaught's Normal from Theorem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 44(3), pp. 289-306, 1979. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
17 | |
Further refinements to the proposed datagram interface [for X.25]. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Commun. Rev. ![In: Comput. Commun. Rev. 9(1), pp. 25-31, 1979. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
17 | Robert Valette |
Analysis of Petri Nets by Stepwise Refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Syst. Sci. ![In: J. Comput. Syst. Sci. 18(1), pp. 35-46, 1979. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
17 | Ferydoon Kianfar |
Technical Note - Stronger Inequalities for 0-1 Integer Programming: Computational Refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Oper. Res. ![In: Oper. Res. 24(3), pp. 581-585, 1976. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
17 | Gerald A. Wilson, Jack Minker |
Resolution, Refinements, and Search Strategies: A Comparative Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 25(8), pp. 782-801, 1976. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. J. ![In: Comput. J. 18(1), pp. 55-62, 1975. The full citation details ...](Pics/full.jpeg) |
1975 |
DBLP DOI BibTeX RDF |
|
17 | Joel I. Seiferas, Michael J. Fischer, Albert R. Meyer |
Refinements of the Nondeterministic Time and Space Hierarchies ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWAT ![In: 14th Annual Symposium on Switching and Automata Theory, Iowa City, Iowa, USA, October 15-17, 1973, pp. 130-137, 1973, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1973 |
DBLP DOI BibTeX RDF |
|
17 | Gordon R. Wood |
Refinements in Tabular Models of variation in Regional American English. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COLING ![In: Computational And Mathematical Linguistics: Proceedings of the 5th International Conference on Computational Linguistics, COLING 1973, Pisa, Italy, August 27 - September 1, 1973, pp. 343-350, 1973, ACL. The full citation details ...](Pics/full.jpeg) |
1973 |
DBLP BibTeX RDF |
|
17 | Kenneth O. Kortanek, Allen L. Soyster |
On Refinements of Some Duality Theorems in Linear Programming over Cones. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Oper. Res. ![In: Oper. Res. 20(1), pp. 137-142, 1972. The full citation details ...](Pics/full.jpeg) |
1972 |
DBLP DOI BibTeX RDF |
|
17 | Richard B. Kieburtz, David C. Luckham |
Compatibility and Complexity of Refinements of the Resolution Principle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Comput. ![In: SIAM J. Comput. 1(4), pp. 313-332, 1972. The full citation details ...](Pics/full.jpeg) |
1972 |
DBLP DOI BibTeX RDF |
|
16 | Jácome Cunha, João Saraiva, Joost Visser 0001 |
From spreadsheets to relational databases and back. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, PEPM 2009, Savannah, GA, USA, January 19-20, 2009, pp. 179-188, 2009, ACM, 978-1-60558-327-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
bi-directional transformations, type-safe data migration, functional programming, spreadsheets |
16 | Sadaaki Miyamoto |
Refinement Properties in Agglomerative Hierarchical Clustering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MDAI ![In: Modeling Decisions for Artificial Intelligence, 6th International Conference, MDAI 2009, Awaji Island, Japan, November 30-December 2, 2009. Proceedings, pp. 259-267, 2009, Springer, 978-3-642-04819-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2009, Dublin, Ireland, June 15-21, 2009, pp. 304-315, 2009, ACM, 978-1-60558-392-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications, 12th Brazilian Symposium on Formal Methods, SBMF 2009, Gramado, Brazil, August 19-21, 2009, Revised Selected Papers, pp. 170-185, 2009, Springer, 978-3-642-10451-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS (2) ![In: Computational Science - ICCS 2009, 9th International Conference, Baton Rouge, LA, USA, May 25-27, 2009, Proceedings, Part II, pp. 875-884, 2009, Springer, 978-3-642-01972-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australasian Conference on Artificial Intelligence ![In: AI 2009: Advances in Artificial Intelligence, 22nd Australasian Joint Conference, Melbourne, Australia, December 1-4, 2009. Proceedings, pp. 391-400, 2009, Springer, 978-3-642-10438-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Anne Gelb, Dennis Cates |
Detection of Edges in Spectral Data III - Refinement of the Concentration Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Sci. Comput. ![In: J. Sci. Comput. 36(1), pp. 1-43, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Piecewise smooth functions, Fourier data, Edge detection, Filtering, Convolution, Gaussian noise |
16 | Wei Cheng |
Streaming of 3D progressive meshes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Multimedia ![In: Proceedings of the 16th International Conference on Multimedia 2008, Vancouver, British Columbia, Canada, October 26-31, 2008, pp. 1047-1050, 2008, ACM, 978-1-60558-303-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Proceedings of the 2008 Conference on Human Factors in Computing Systems, CHI 2008, 2008, Florence, Italy, April 5-10, 2008, pp. 1789-1792, 2008, ACM, 978-1-60558-011-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, B and Z, First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings, pp. 351-352, 2008, Springer, 978-3-540-87602-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Issam W. Damaj |
Parallel Algorithms Development for Programmable Devices with Application from Cryptography. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Parallel Program. ![In: Int. J. Parallel Program. 35(6), pp. 529-572, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: 2007 International Conference on Computer-Aided Design, ICCAD 2007, San Jose, CA, USA, November 5-8, 2007, pp. 318-325, 2007, IEEE Computer Society, 1-4244-1382-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Silviu Cucerzan, Ryen W. White |
Query suggestion based on user landing pages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGIR ![In: SIGIR 2007: Proceedings of the 30th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, Amsterdam, The Netherlands, July 23-27, 2007, pp. 875-876, 2007, ACM, 978-1-59593-597-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESAW ![In: Engineering Societies in the Agents World VIII, 8th International Workshop, ESAW 2007, Athens, Greece, October 22-24, 2007, Revised Selected Papers, pp. 193-207, 2007, Springer, 978-3-540-87653-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Antonio DiCarlo, Franco Milicchio, Alberto Paoluzzi, Vadim Shapiro |
Solid and physical modeling with chain complexes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symposium on Solid and Physical Modeling ![In: Proceedings of the 2007 ACM Symposium on Solid and Physical Modeling, Beijing, China, June 4-6, 2007, pp. 73-84, 2007, ACM, 978-1-59593-666-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDAR ![In: 9th International Conference on Document Analysis and Recognition (ICDAR 2007), 23-26 September, Curitiba, Paraná, Brazil, pp. 471-475, 2007, IEEE Computer Society, 978-0-7695-2822-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Colin McMillen, Manuela M. Veloso |
Distributed, Play-Based Coordination for Robot Teams in Dynamic Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RoboCup ![In: RoboCup 2006: Robot Soccer World Cup X, pp. 483-490, 2006, Springer, 978-3-540-74023-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Dieter Hutter |
Possibilistic Information Flow Control in MAKS and Action Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ETRICS ![In: Emerging Trends in Information and Communication Security, International Conference, ETRICS 2006, Freiburg, Germany, June 6-9, 2006, Proceedings, pp. 268-281, 2006, Springer, 3-540-34640-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Bassel Daou, Gregor von Bochmann |
Generalizing the Submodule Construction Techniques for Extended State Machine Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Techniques for Networked and Distributed Systems - FORTE 2006, 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006., pp. 191-195, 2006, Springer, 3-540-46219-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Michel Bidoit, Rolf Hennicker |
Externalized and Internalized Notions of Behavioral Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2005, Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings, pp. 334-350, 2005, Springer, 3-540-29107-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Brian Chin, Shane Markstrum, Todd D. Millstein |
Semantic type qualifiers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN 2005 Conference on Programming Language Design and Implementation, Chicago, IL, USA, June 12-15, 2005, pp. 85-95, 2005, ACM, 1-59593-056-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Days ![In: Computational Intelligence, Theory and Applications, International Conference 8th Fuzzy Days, Dortmund, Germany, Sept. 29 - Oct. 01, 2004, pp. 65-79, 2004, Springer, 978-3-540-22807-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ER ![In: Conceptual Modeling - ER 2004, 23rd International Conference on Conceptual Modeling, Shanghai, China, November 2004, Proceedings, pp. 434-449, 2004, Springer, 3-540-23723-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Christian Haubelt |
Design Space Exploration for Distributed Hardware Reconfigurable Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPL ![In: Field Programmable Logic and Application, 14th International Conference , FPL 2004, Leuven, Belgium, August 30-September 1, 2004, Proceedings, pp. 1171, 2004, Springer, 3-540-22989-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|