|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1139 occurrences of 718 keywords
|
|
|
Results
Found 1704 publication records. Showing 1704 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
23 | Germán Puebla, Elvira Albert, Manuel V. Hermenegildo |
A Generic Framework for the Analysis and Specialization of Logic Programs. |
ICLP |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Shlomo Argamon, Nazli Goharian, David A. Grossman, Ophir Frieder, Nambury S. Raju |
A Specialization in Information and Knowledge Management Systems for the Undergraduate Computer Science Curriculum. |
ITCC (1) |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Philippe Lahire, Gabriela Arévalo, Hernán Astudillo, Andrew P. Black, Erik Ernst, Marianne Huchard, T. Oplustil, Markku Sakkinen, Petko Valtchev |
MASPEGHI 2004 Mechnisms for Specialization, Generalization and Inheritance. |
ECOOP Workshops |
2004 |
DBLP DOI BibTeX RDF |
|
23 | Thom W. Frühwirth |
Specialization of Concurrent Guarded Multi-set Transformation Rules. |
LOPSTR |
2004 |
DBLP DOI BibTeX RDF |
|
23 | Karina Olmos, Eelco Visser |
Turning Dynamic Typing into Static Typing by Program Specialization in a Compiler Front-end for Octave. |
SCAM |
2003 |
DBLP DOI BibTeX RDF |
|
23 | Pedro Meseguer, Martí Sánchez-Fibla, Gérard Verfaillie |
Opportunistic Specialization in Russian Doll Search. |
CP |
2002 |
DBLP DOI BibTeX RDF |
|
23 | Paul-André Monney |
Dempster Specialization Matrices and the Combination of Belief Functions. |
ECSQARU |
2001 |
DBLP DOI BibTeX RDF |
|
23 | Litong Song, Yoshihiko Futamura |
A New Termination Approach for Specialization. |
SAIG |
2000 |
DBLP DOI BibTeX RDF |
|
23 | Donald Steiss |
The Specialization of General Purpose Processor Architecture Elements for Programmable Digital Signal Processors. |
ICCD |
1999 |
DBLP DOI BibTeX RDF |
|
23 | John Hatcliff, Matthew B. Dwyer, Shawn Laubach |
Staging Static Analyses Using Abstraction-Based Program Specialization. |
PLILP/ALP |
1998 |
DBLP DOI BibTeX RDF |
|
23 | Peter Thiemann 0001 |
A Generic Framework for Specialization (Abridged Version). |
ESOP |
1998 |
DBLP DOI BibTeX RDF |
program transformation, partial evaluation, computational effects, higher-order programming |
23 | Geoffrey I. Webb |
Cost-Sensitive Specialization. |
PRICAI |
1996 |
DBLP DOI BibTeX RDF |
|
23 | Paul Kleinrubatscher, Albert Kriegshaber, Robert Zöchling, Robert Glück |
Fortran Program Specialization. |
ACM SIGPLAN Notices |
1995 |
DBLP DOI BibTeX RDF |
FORTRAN |
23 | Henrik Boström |
Specialization of Recursive Predicates. |
ECML |
1995 |
DBLP DOI BibTeX RDF |
|
23 | Stefan Wrobel |
On the Proper Definition of Minimality in Specialization and Theory Revision. |
ECML |
1993 |
DBLP DOI BibTeX RDF |
|
23 | Michel Chein, Marie-Laure Mugnier |
Specialization: Where Do the Difficulties Occur? |
Workshop on Conceptual Graphs |
1992 |
DBLP DOI BibTeX RDF |
|
16 | Wihem Arsac, Luca Compagna, Samuel Paul Kaluvuri, Serena Elisa Ponta |
Security validation tool for business processes. |
SACMAT |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Cong Yu 0001, Laks V. S. Lakshmanan, Sihem Amer-Yahia |
Recommendation Diversification Using Explanations. |
ICDE |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Hadaytullah, Kai Koskimies, Tarja Systä |
Using Model Customization for Variability Management in Service Compositions. |
ICWS |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Telmo L. T. Menezes, Ernesto Costa |
Coevolution of Competing Agent Species in a Game-Like Environment. |
EvoWorkshops |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Corneliu Popeea, Dana N. Xu, Wei-Ngan Chin |
A practical and precise inference and specializer for array bound checks elimination. |
PEPM |
2008 |
DBLP DOI BibTeX RDF |
size properties, dependent types, safety verification |
16 | Isabelle Tellier |
How to Split Recursive Automata. |
ICGI |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Karel Bruneel, Dirk Stroobandt |
Automatic generation of run-time parameterizable configurations. |
FPL |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Xinyu Feng 0001, Rodrigo Ferreira, Zhong Shao |
On the Relationship Between Concurrent Separation Logic and Assume-Guarantee Reasoning. |
ESOP |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Miguel A. Laguna, Bruno González-Baixauli, José M. Marqués |
Seamless development of software product lines. |
GPCE |
2007 |
DBLP DOI BibTeX RDF |
package merge, seamless development, software product lines, feature model |
16 | Karthik Ramani, Al Davis |
Application driven embedded system design: a face recognition case study. |
CASES |
2007 |
DBLP DOI BibTeX RDF |
embedded systems, compilers, face recognition, workload characterization, instruction scheduling, domain specific architectures |
16 | Julian Simpson, Shane Duan |
Large Build Teams: Help or Hindrance? |
AGILE |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Dibyendu Das |
Optimizing subroutines with optional parameters in F90 via function cloning. |
ACM SIGPLAN Notices |
2006 |
DBLP DOI BibTeX RDF |
compilers, Fortran 90 |
16 | Chris Langdon, Riyaz Sikora |
Conceptualizing co-ordination and competition in supply chains as complex adaptive system. |
Inf. Syst. E Bus. Manag. |
2006 |
DBLP DOI BibTeX RDF |
Multi-agent system modeling, Computational explanation, Simulation, Outsourcing, Complex adaptive system (CAS) |
16 | Ewout Martens, Georges G. E. Gielen |
Analyzing continuous-time Delta-Sigma-Modulators with generic behavioral models. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Mads Sig Ager, Olivier Danvy, Henning Korsholm Rohde |
Fast partial evaluation of pattern matching in strings. |
ACM Trans. Program. Lang. Syst. |
2006 |
DBLP DOI BibTeX RDF |
Partial evaluation, string matching, memoization |
16 | Germán Puebla, Elvira Albert, Manuel V. Hermenegildo |
Abstract Interpretation with Specialized Definitions. |
SAS |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Darshan D. Thaker, Tzvetan S. Metodi, Andrew W. Cross, Isaac L. Chuang, Frederic T. Chong |
Quantum Memory Hierarchies: Efficient Designs to Match Available Parallelism in Quantum Computing. |
ISCA |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Artem Alimarine, Sjaak Smetsers |
Improved Fusion for Optimizing Generics. |
PADL |
2005 |
DBLP DOI BibTeX RDF |
generic/polytypic programming, program transformation, fusion |
16 | J. Guadalupe Ramos, Josep Silva, Germán Vidal |
Fast narrowing-driven partial evaluation for inductively sequential programs. |
ICFP |
2005 |
DBLP DOI BibTeX RDF |
offline partial evaluation, quasi-termination, narrowing |
16 | Greg Stitt, Frank Vahid, Gordon McGregor, Brian Einloth |
Hardware/software partitioning of software binaries: a case study of H.264 decode. |
CODES+ISSS |
2005 |
DBLP DOI BibTeX RDF |
FPGA, embedded systems, synthesis, H.264, hardware/software partitioning, binaries |
16 | Gianluca Tempesti, Pierre-André Mudry, Ralph Hoffmann |
A Move Processor for Bio-Inspired Systems. |
Evolvable Hardware |
2005 |
DBLP DOI BibTeX RDF |
|
16 | J. Guadalupe Ramos, Josep Silva, Germán Vidal |
An offline partial evaluator for curry programs. |
WCFLP |
2005 |
DBLP DOI BibTeX RDF |
offline partial evaluation, narrowing |
16 | Peng-Sheng Chen, Yuan-Shin Hwang, Roy Dz-Ching Ju, Jenq Kuen Lee |
Interprocedural Probabilistic Pointer Analysis. |
IEEE Trans. Parallel Distributed Syst. |
2004 |
DBLP DOI BibTeX RDF |
interprocedural program analysis, optimization, compilers, Multithreading, speculation, points-to analysis |
16 | Andrzej Jodlowski, Piotr Habela, Jacek Plodzien, Kazimierz Subieta |
Dynamic Object Roles -- Adjusting the Notion for Flexible Modeling. |
IDEAS |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Frank Padberg |
Computing Optimal Scheduling Policies for Software Projects. |
APSEC |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Felix Wolf 0001, Bernd Mohr, Jack J. Dongarra, Shirley Moore |
Efficient Pattern Search in Large Traces Through Successive Refinement. |
Euro-Par |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Nicola Fanizzi, Stefano Ferilli, Luigi Iannone, Ignazio Palmisano, Giovanni Semeraro |
Downward Refinement in the ALN Description Logic. |
HIS |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Krzysztof Czarnecki 0001, Simon Helsen, Ulrich W. Eisenecker |
Staged Configuration Using Feature Models. |
SPLC |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Mark Stockman, Chris Christopherson, Hazem Said, John Nyland |
An implementation of a networking track in an information technology degree program. |
SIGITE Conference |
2004 |
DBLP DOI BibTeX RDF |
database, networking, information technology, software, curriculum, web technologies |
16 | Hazem Said, Russell E. McMahon, Soleda Leung, Annu Prabhakar, Tamisra Sanyal, Mark Stockman, Tom Wulf |
An implementation of a software development track in an information technology degree program. |
SIGITE Conference |
2004 |
DBLP DOI BibTeX RDF |
database, networking, information technology, software, curriculum, web technologies |
16 | Mads Sig Ager, Olivier Danvy, Henning Korsholm Rohde |
Fast partial evaluation of pattern matching in strings. |
PEPM |
2003 |
DBLP DOI BibTeX RDF |
partial evaluation, string matching, memoization |
16 | Robert Glück, Youhei Kawada, Takuya Hashimoto |
Transforming interpreters into inverse interpreters by partial evaluation. |
PEPM |
2003 |
DBLP DOI BibTeX RDF |
binding-time improvements, inverse interpreter, program in-vision, semantics modifier, self-application |
16 | Christel Kemke |
A Formal Approach to Describing Action Concepts in Taxonomical Knowledge Bases. |
ISMIS |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Christel Kemke |
A Formal Theory for Describing Action Concepts in Terminological Knowledge Bases. |
AI |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Peter Thiemann 0001 |
Continuation-Based Partial Evaluation without Continuations. |
SAS |
2003 |
DBLP DOI BibTeX RDF |
Functional programming, type systems, partial evaluation |
16 | Andrew Skabar |
Single-Class Classification Augmented with Unlabeled Data: A Symbolic Approach. |
Australian Conference on Artificial Intelligence |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Christoph Bussler |
Process Inheritance. |
CAiSE |
2002 |
DBLP DOI BibTeX RDF |
|
16 | B. Ramakrishna Rau, Michael S. Schlansker |
Embedded Computer Architecture and Automation. |
Computer |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Yanee Kachai, Kitsana Waiyamai |
Representing Large Concept Hierarchies Using Lattice Data Structure. |
PAKDD |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Yingchun Zhu, Laurie J. Hendren |
Locality Analysis for Parallel C Programs. |
IEEE Trans. Parallel Distributed Syst. |
1999 |
DBLP DOI BibTeX RDF |
compiling for parallel architectures, multithreaded architectures, Locality analysis |
16 | Michael J. Wirthlin, Brad L. Hutchings |
Improving functional density using run-time circuit reconfiguration [FPGAs]. |
IEEE Trans. Very Large Scale Integr. Syst. |
1998 |
DBLP DOI BibTeX RDF |
|
16 | Monique Snoeck, Guido Dedene |
Existence Dependency: The Key to Semantic Integrity Between Structural and Behavioral Aspects of Object Types. |
IEEE Trans. Software Eng. |
1998 |
DBLP DOI BibTeX RDF |
existence dependency, Software engineering, composition, conceptual model, aggregation, quality, object-oriented analysis, consistency checking |
16 | María Alpuente, Moreno Falaschi, Germán Vidal |
Partial Evaluation of Functional Logic Programs. |
ACM Trans. Program. Lang. Syst. |
1998 |
DBLP DOI BibTeX RDF |
conditional term-rewriting systems, integration of functional and logic programming, narrowing strategies, partial evaluation |
16 | Chris Hankin, Hanne Riis Nielson, Jens Palsberg |
Position Statements on Strategic Directions for Research on Programming Languages. |
ACM SIGPLAN Notices |
1997 |
DBLP DOI BibTeX RDF |
|
16 | Kenichi Asai, Hidehiko Masuhara, Akinori Yonezawa |
Partial Evaluation of Call-by-Value lambda-Calculus with Side-Effects. |
PEPM |
1997 |
DBLP DOI BibTeX RDF |
|
16 | Brad Calder, Peter Feller, Alan Eustace |
Value Profiling. |
MICRO |
1997 |
DBLP DOI BibTeX RDF |
profiling, invariance, compiler optimization |
16 | Joseph A. Fisher, Paolo Faraboschi, Giuseppe Desoli |
Custom-fit Processors: Letting Applications Define Architectures. |
MICRO |
1996 |
DBLP DOI BibTeX RDF |
|
16 | Olivier Guinaldo |
Conceptual Graphs Isomorphism: Algorithm and Use. |
ICCS |
1996 |
DBLP DOI BibTeX RDF |
|
16 | Giuseppe Castagna |
Covariance and Contravariance: Conflict without a Cause. |
ACM Trans. Program. Lang. Syst. |
1995 |
DBLP DOI BibTeX RDF |
object-oriented languages, type theory |
16 | Francesco Parisi-Presicce, Alfonso Pierantonio |
An Algebraic Theory of Class Specification. |
ACM Trans. Softw. Eng. Methodol. |
1994 |
DBLP DOI BibTeX RDF |
interconnection mechanisms, modularity, inheritance, algebraic specifications |
16 | Robert Glück, Morten Heine Sørensen |
Partial Deduction and Driving are Equivalent. |
PLILP |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Paul Ammann, Hassan Gomaa, A. Jefferson Offutt, David Rine, Bo Ingvar Sandén |
A Five Year Perspective on Software Engineering Graduate Programs at George Mason University. |
CSEE |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Karoline Malmkjær |
Towards Efficient Partial Evaluation. |
PEPM |
1993 |
DBLP DOI BibTeX RDF |
|
16 | Domenico Beneventano, Sonia Bergamaschi |
Subsumption for Complex Object Data Models. |
ICDT |
1992 |
DBLP DOI BibTeX RDF |
|
16 | Georg Gottlob, Gerti Kappel, Michael Schrefl |
Semantics of Object-Oriented Data Models - The Evolving Algebra Approach. |
East/West Database Workshop |
1990 |
DBLP DOI BibTeX RDF |
|
16 | Jan A. Mulder, Alan K. Mackworth, William S. Havens |
Knowledge Structuring and Constraint Satisfaction: The Mapsee Approach. |
IEEE Trans. Pattern Anal. Mach. Intell. |
1988 |
DBLP DOI BibTeX RDF |
Mapsee approach, map interpretation programs, schema-based representation, hierarchical arc-consistency algorithm, discrimination graphs, computer vision, computer vision, knowledge representation, graph theory, computerised pattern recognition, computerized pattern recognition, visual knowledge |
16 | Huang Weiqiao |
Industrializing software production. |
ACM Conference on Computer Science |
1988 |
DBLP DOI BibTeX RDF |
|
16 | Claude Kirchner, Hélène Kirchner, José Meseguer 0001 |
Operational Semantics of OBJ-3 (Extended Abstract). |
ICALP |
1988 |
DBLP DOI BibTeX RDF |
|
16 | Antonio Albano, Luca Cardelli, Renzo Orsini |
Galileo: A Strongly-Typed, Interactive Conceptual Language. |
ACM Trans. Database Syst. |
1985 |
DBLP DOI BibTeX RDF |
GALILEO |
15 | Kevin Williams 0001, Jason McCandless, David Gregg |
Dynamic interpretation for dynamic scripting languages. |
CGO |
2010 |
DBLP DOI BibTeX RDF |
interpreter optimization, dynamic languages, type specialization |
15 | Marcio Juliato, Catherine H. Gebotys |
Tailoring a Reconfigurable Platform to SHA-256 and HMAC through Custom Instructions and Peripherals. |
ReConFig |
2009 |
DBLP DOI BibTeX RDF |
Processor Specialization, SHA-2, Cryptography, HMAC, HW/SW Partitioning, Co-Processor, Custom Instruction |
15 | Mason Chang, Edwin W. Smith, Rick Reitmaier, Michael Bebenita, Andreas Gal, Christian Wimmer, Brendan Eich, Michael Franz |
Tracing for web 3.0: trace compilation for the next generation web applications. |
VEE |
2009 |
DBLP DOI BibTeX RDF |
tamarin, trace trees, tracing, javascript, forth, dynamic compilation, type specialization, dynamically typed languages |
15 | Hiroshi Someya |
Parameter Tuning of Real-Valued Crossover Operators for Statistics Preservation. |
SEAL |
2008 |
DBLP DOI BibTeX RDF |
functional specialization hypothesis, statistics preservation, parameter tuning, Real-coded genetic algorithm |
15 | D. W. F. van Krevelen, Geoff S. Nitschke |
Neuro-evolution for a gathering and collective construction task. |
GECCO |
2008 |
DBLP DOI BibTeX RDF |
specialization, collective behavior, neuro-evolution |
15 | Toshiyuki Yasuda, Kazuhiro Ohkura |
A Reinforcement Learning Technique with an Adaptive Action Generator for a Multi-robot System. |
SAB |
2008 |
DBLP DOI BibTeX RDF |
Autonomous Specialization, Action Search, Reinforcement Learning, Multi-Robot System |
15 | Jong-eun Lee, Kiyoung Choi, Nikil D. Dutt |
Instruction set synthesis with efficient instruction encoding for configurable processors. |
ACM Trans. Design Autom. Electr. Syst. |
2007 |
DBLP DOI BibTeX RDF |
ISA customization and specialization, bitwidth-economical, Application-specific instruction set processor (ASIP), configurable processor, instruction encoding |
15 | Marcio Juliato, Guido Araujo, Julio César López-Hernández, Ricardo Dahab |
A Custom Instruction Approach for Hardware and Software Implementations of Finite Field Arithmetic over F2163 using Gaussian Normal Bases. |
J. VLSI Signal Process. |
2007 |
DBLP DOI BibTeX RDF |
Gaussian normal bases, processor specialization, elliptic curve cryptography, finite field arithmetic |
15 | Claudio Ochoa, Germán Puebla |
Poly-controlled partial evaluation in practice. |
PEPM |
2007 |
DBLP DOI BibTeX RDF |
resource-aware specialization, logic programming, partial evaluation |
15 | Daniel Sinnig, Maik Wurdel, Peter Forbrig, Patrice Chalin, Ferhat Khendek |
Practical Extensions for Task Models. |
TAMODIA |
2007 |
DBLP DOI BibTeX RDF |
cooperative task models, modularization, specialization, Task specifications |
15 | Chongbing Liu, Enrico Pontelli |
Nonmonotonic inductive logic programming by instance patterns. |
PPDP |
2007 |
DBLP DOI BibTeX RDF |
instance patterns, nonmonotonic ilp, specialization |
15 | Kedar N. Swadi, Walid Taha, Oleg Kiselyov, Emir Pasalic |
A monadic approach for avoiding code duplication when staging memoized functions. |
PEPM |
2006 |
DBLP DOI BibTeX RDF |
partial evaluation, monads, fixed points, program generation, program specialization, staging, multi-stage programming, code duplication |
15 | Koushik Chakraborty, Philip M. Wells, Gurindar S. Sohi |
Computation spreading: employing hardware migration to specialize CMP cores on-the-fly. |
ASPLOS |
2006 |
DBLP DOI BibTeX RDF |
dynamic specialization, cache locality |
15 | Toshiyuki Yasuda, Kazuhiro Ohkura |
Improving the Robustness of Reinforcement Learning for a Multi-Robot System Environment. |
WSTST |
2005 |
DBLP DOI BibTeX RDF |
Autonomous Specialization, Robustness, Reinforcement Learning, Multi-Robot System |
15 | C. Scott Ananian, Martin C. Rinard |
Data size optimizations for java programs. |
LCTES |
2003 |
DBLP DOI BibTeX RDF |
bitwidth analysis, field externalization, field packing, size optimizations, static specialization, embedded systems |
15 | DeLesley Hutchins |
The power of symmetry: unifying inheritance and generative programming. |
OOPSLA Companion |
2003 |
DBLP DOI BibTeX RDF |
covariant specialization, generative components, mixin layers, virtual types, aspect-oriented programming, prototypes, code generation, generative programming, partial evaluation, aspects, meta-programming, parametric polymorphism, multiple inheritance, mixins, transformation systems, virtual classes, generic types, join points |
15 | Viviana Bono, Michele Bugliesi, Silvia Crafa |
Typed interpretations of extensible objects. |
ACM Trans. Comput. Log. |
2002 |
DBLP DOI BibTeX RDF |
Object calculus, computational adequacy, extensible object, typed encoding, type system, subtyping, type specialization |
15 | James C. Corbett, Matthew B. Dwyer, John Hatcliff, Shawn Laubach, Corina S. Pasareanu, Robby, Hongjun Zheng |
Bandera: extracting finite-state models from Java source code. |
ICSE |
2000 |
DBLP DOI BibTeX RDF |
Java, model checking, abstract interpretation, program verification, slicing, program specialization, model extraction |
15 | Scott Thibault, Jerôme Marant, Gilles Muller |
Adapting Distributed Applications Using Extensible Networks. |
ICDCS |
1999 |
DBLP DOI BibTeX RDF |
Audio broadcasting, Extensible HTTP server, Adaptation, Domain-Specific Languages, Interpreters, Active Networks, Specialization |
15 | Jon Howell, Mark H. Montague |
Hey, You Got Your Compiler in My Operating System! |
Workshop on Hot Topics in Operating Systems |
1999 |
DBLP DOI BibTeX RDF |
red-line, application binary interface, Compilers, operating systems, extensibility, partial evaluation, specialization, transformational programming |
15 | Stephen H. Edwards |
Representation Inheritance: A Safe Form of "White Box'' Code Inheritance. |
IEEE Trans. Software Eng. |
1997 |
DBLP DOI BibTeX RDF |
Abstraction function, abstraction relation, representation invariant, object-oriented, reuse, inheritance, specialization, subclass, behavioral subtype, model-based specification |
15 | Olivier Danvy, Karoline Malmkjær, Jens Palsberg |
Eta-Expansion Does The Trick. |
ACM Trans. Program. Lang. Syst. |
1996 |
DBLP DOI BibTeX RDF |
binding-time analysis and improvement, eta-expansion, static reduction, partial evaluation, program specialization |
15 | Sandrine Blazy, Philippe Facon |
Formal Specification and Prototyping of a Program Specializer. |
TAPSOFT |
1995 |
DBLP DOI BibTeX RDF |
software maintenance, rule induction, VDM, program specialization, structured operational semantics, proof of correctness, Centaur |
15 | Wesley W. Chu, Qiming Chen |
A Structured Approach for Cooperative Query Answering. |
IEEE Trans. Knowl. Data Eng. |
1994 |
DBLP DOI BibTeX RDF |
cooperative query answering, type abstraction hierarchy, cooperative query answers, type hierarchy, multilevel object representation, CSQL, type abstraction, knowledge representation, knowledge representation, query processing, relational databases, SQL, SQL, composition, generalization, query languages, query language, database theory, deductive databases, deductive database, association, granularity, query rewrite, specialization, subsumption, semantic information, query relaxation |
15 | Xindong Wu 0001 |
Inductive learning: Algorithms and frontiers. |
Artif. Intell. Rev. |
1993 |
DBLP DOI BibTeX RDF |
generalization-specialization, extension matrices, decision trees, induction |
Displaying result #201 - #300 of 1704 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ >>] |
|