Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
21 | José L. Balcázar, Elvira Mayordomo |
A Note on Genericity and Bi-Immunity. |
SCT |
1995 |
DBLP DOI BibTeX RDF |
|
21 | Klaus Ambos-Spies |
Resource-Bounded Genericity. |
SCT |
1995 |
DBLP DOI BibTeX RDF |
|
21 | Sy D. Friedman |
The Genericity Conjecture. |
J. Symb. Log. |
1994 |
DBLP DOI BibTeX RDF |
|
21 | Ed Seidewitz |
Genericity versus Inheritance Reconsidered: Self-Reference Using Generics. |
OOPSLA |
1994 |
DBLP DOI BibTeX RDF |
|
21 | Masako Takahashi |
A Simple Proof of the Genericity Lemma. |
Logic, Language and Computation |
1994 |
DBLP DOI BibTeX RDF |
|
21 | Klaus-Dieter Schewe, David W. Stemple, Bernhard Thalheim |
Higher-Level Genericity in Object-Oriented Databases. |
COMAD |
1994 |
DBLP BibTeX RDF |
|
21 | Panagiotis Katalagarianos |
Employing genericity and case-based reasoning to effectively reuse code |
|
1994 |
RDF |
|
21 | Giuseppe Longo, Kathleen Milsted, Sergei Soloviev 0001 |
The Genericity Theorem and Parametricity in the Polymorphic lambda-Calculus. |
Theor. Comput. Sci. |
1993 |
DBLP DOI BibTeX RDF |
|
21 | Giuseppe Longo, Kathleen Milsted, Sergei Soloviev 0001 |
The Genericity Theorem and the Notion of Parametricity in the Polymorphic lambda-calculus (Extended Abstract) |
LICS |
1993 |
DBLP DOI BibTeX RDF |
|
21 | Dinesh K. Pai, Ming C. Leu |
Genericity and singularities of robot manipulators. |
IEEE Trans. Robotics Autom. |
1992 |
DBLP DOI BibTeX RDF |
|
21 | Hamdy S. Soliman, John B. Johnston |
Dynamic Genericity in Imperative Languages: Example in CML. |
ICCI |
1992 |
DBLP BibTeX RDF |
|
21 | Klaus-Dieter Schewe, Joachim W. Schmidt, Ingrid Wetzel |
Identification, Genericity and Consistency in Object-Oriented Databases. |
ICDT |
1992 |
DBLP DOI BibTeX RDF |
|
21 | Stephen A. Fenner |
Notions of Resource-Bounded Category and Genericity. |
SCT |
1991 |
DBLP DOI BibTeX RDF |
|
21 | Steffen Lempp, Theodore A. Slaman |
A Limit on Relative Genericity in the Recursively Enumerable Sets. |
J. Symb. Log. |
1989 |
DBLP DOI BibTeX RDF |
|
21 | Jean-Michel Hufflen |
Fonctions et généricité dans un langage de programmation parallèle. (Functions and genericity in a parallel programming language). |
|
1989 |
RDF |
|
21 | Kate Copestake |
1-Genericity in the Enumeration Degrees. |
J. Symb. Log. |
1988 |
DBLP DOI BibTeX RDF |
|
21 | Andrew U. Frank |
Multiple Inheritance and Genericity for the Integration of a Database Management System in an Object-Oriented Approach. |
OODBS |
1988 |
DBLP DOI BibTeX RDF |
|
21 | Bertrand Meyer 0001 |
Genericity versus Inheritance. |
OOPSLA |
1986 |
DBLP DOI BibTeX RDF |
|
21 | Stuart A. Kurtz |
Notions of Weak Genericity. |
J. Symb. Log. |
1983 |
DBLP DOI BibTeX RDF |
|
21 | F. Nourani |
Forcing with Universal Sentences and Genericity of Inductive Closures. |
ADT |
1983 |
DBLP BibTeX RDF |
|
21 | Didier Bert, Roger Soler |
About Data Type Genericity. |
ICFPC |
1981 |
DBLP DOI BibTeX RDF |
|
12 | Noémie Esnault, Jérôme Royan, Rémi Cozot, Christian Bouville |
A flexible framework to personalize 3D web users experience. |
Web3D |
2010 |
DBLP DOI BibTeX RDF |
languages and structures, virtual reality, graphical user interfaces, interfaces, multimedia databases, web-based interactions |
12 | Stephanie Weirich, Chris Casinghino |
Arity-generic datatype-generic programming. |
PLPV |
2010 |
DBLP DOI BibTeX RDF |
agda, arity-generic programming, generic haskell, dependent types |
12 | Bryan Chadwick, Karl J. Lieberherr |
Weaving generic programming and traversal performance. |
AOSD |
2010 |
DBLP DOI BibTeX RDF |
|
12 | Gwillerm Froc, Issam Mabrouki, Xavier Lagrange |
Design and performance of wireless data gathering networks based on unicast random walk routing. |
IEEE/ACM Trans. Netw. |
2009 |
DBLP DOI BibTeX RDF |
quality of service (QoS), wireless sensor networks, routing, random walk, data gathering |
12 | X. Goudou, Julien Munier |
The gradient and heavy ball with friction dynamical systems: the quasiconvex case. |
Math. Program. |
2009 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 37N40, 37L05, 46N10 |
12 | Isabel Nunes, Antónia Lopes, Vasco Thudichum Vasconcelos |
Bridging the Gap between Algebraic Specification and Object-Oriented Generic Programming. |
RV |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Alexis Joly, Olivier Buisson |
Logo retrieval with a contrario visual query expansion. |
ACM Multimedia |
2009 |
DBLP DOI BibTeX RDF |
a contrario, image, query expansion, retrieval, logo |
12 | Sébastien Ferré |
Efficient Browsing and Update of Complex Data Based on the Decomposition of Contexts. |
ICCS |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Wouter De Borger, Bert Lagaisse, Wouter Joosen |
A generic and reflective debugging architecture to support runtime visibility and traceability of aspects. |
AOSD |
2009 |
DBLP DOI BibTeX RDF |
aop, debugging architecture, traceability, visibility |
12 | Sumant Tambe, Aniruddha S. Gokhale |
LEESA: Embedding Strategic and XPath-Like Object Structure Traversals in C++. |
DSL |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Roland Levillain, Thierry Géraud, Laurent Najman |
Milena: Write Generic Morphological Algorithms Once, Run on Many Kinds of Images. |
ISMM |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Frédéric Cazals, Marc Pouget |
Algorithm 889: Jet_fitting_3: - A Generic C++ Package for Estimating the Differential Properties on Sampled Surfaces via Polynomial Fitting. |
ACM Trans. Math. Softw. |
2008 |
DBLP DOI BibTeX RDF |
C++ design, sampled surfaces, computational geometry, Approximation, interpolation, differential geometry, numerical linear algebra |
12 | Geoff Coulson, Gordon S. Blair, Paul Grace, François Taïani, Ackbar Joolia, Kevin Lee, Jo Ueyama, Thirunavukkarasu Sivaharan |
A generic component model for building systems software. |
ACM Trans. Comput. Syst. |
2008 |
DBLP DOI BibTeX RDF |
Component-based software, computer systems implementation |
12 | Taisuke Sato, Yoshitaka Kameya, Kenichi Kurihara |
Variational Bayes via propositionalized probability computation in PRISM. |
Ann. Math. Artif. Intell. |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 68T37, 62F15 |
12 | John M. Hitchcock, Aduri Pavan, N. V. Vinodchandran |
Partial Bi-immunity, Scaled Dimension, and NP-Completeness. |
Theory Comput. Syst. |
2008 |
DBLP DOI BibTeX RDF |
Many-one completeness, Bi-immunity, Scaled dimension, Turing completeness |
12 | Anupam Chattopadhyay, Xiaolin Chen, Harold Ishebabi, Rainer Leupers, Gerd Ascheid, Heinrich Meyr |
High-level Modelling and Exploration of Coarse-grained Re-configurable Architectures. |
DATE |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Gauvain Bourgne, Vincent Corruble |
A Framework for Knowledge Discovery in a Society of Agents. |
Discovery Science |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Laszlo Szathmary, Petko Valtchev, Amedeo Napoli, Robert Godin |
Constructing Iceberg Lattices from Frequent Closures Using Generators. |
Discovery Science |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Søren B. Lassen, Paul Blain Levy |
Typed Normal Form Bisimulation for Parametric Polymorphism. |
LICS |
2008 |
DBLP DOI BibTeX RDF |
LTS, bisimulation, parametric polymorphism, typed lambda calculus |
12 | Guillaume Damiand, David Coeurjolly |
A Generic and Parallel Algorithm for 2D Image Discrete Contour Reconstruction. |
ISVC (2) |
2008 |
DBLP DOI BibTeX RDF |
2D contour recontruction, discrete geometry, combinatorial maps |
12 | Pablo Nogueira, Juan José Moreno-Navarro |
Bialgebra views: a way for polytypic programming to cohabit with data abstraction. |
ICFP-WGP |
2008 |
DBLP DOI BibTeX RDF |
bialgebras, program generation, abstract types, polytypic programming |
12 | Guillaume Waignier, Prawee Sriplakich, Anne-Françoise Le Meur, Laurence Duchien |
A Model-Based Framework for Statically and Dynamically Checking Component Interactions. |
MoDELS |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Hong-Cheu Liu, Jeffrey Xu Yu |
On Safety, Computability and Local Property of Web Queries. |
APWeb |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Adrián Santos, Francisco Almeida, Vicente Blanco Pérez, David Diez, Jonás Regueira, Esaú Sicilia |
Towards the Automatic Service Generation and Scheduling in the OpenCF Project. |
CISIS |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Mehdi Baba-ali, David Marcheix, Xavier Skapin, Yves Bertrand |
Generic computation of bulletin boards into geometric kernels. |
Afrigraph |
2007 |
DBLP DOI BibTeX RDF |
event follow-up mechanisms, topological entity modification, bulletin board, generalized maps |
12 | Feng Chen 0006, Grigore Rosu |
Mop: an efficient and generic runtime verification framework. |
OOPSLA |
2007 |
DBLP DOI BibTeX RDF |
monitoring-oriented programming, aspect-oriented programming, runtime verification |
12 | Norbert Völker |
HOL2P - A System of Classical Higher Order Logic with Second Order Polymorphism. |
TPHOLs |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Herbert E. Scarf |
My Favorite Simplicial Complex and Some of Its Applications. |
WINE |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Werner Dietl, Sophia Drossopoulou, Peter Müller 0001 |
Generic Universe Types. |
ECOOP |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Shan Shan Huang, David Zook, Yannis Smaragdakis |
Morphing: Safely Shaping a Class in the Image of Others. |
ECOOP |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Kung-Kiu Lau, Ling Ling, Vladyslav Ukis, Perla Velasco Elizondo |
Composite Connectors for Composing Software Components. |
SC@ETAPS |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Adrián Santos, Francisco Almeida, Vicente Blanco Pérez |
Lightweight Web Services for High Performace Computing. |
ECSA |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Tien N. Nguyen |
Multi-level Architectural Evolution Management. |
HICSS |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Timos K. Sellis, Alkis Simitsis |
ETL Workflows: From Formal Specification to Optimization. |
ADBIS |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Dharmalingam Ganesan, Jens Knodel, Ronny Kolb, Uwe Haury, Gerald Meier |
Comparing Costs and Benefits of Different Test Strategies for a Software Product Line: A Study from Testo AG. |
SPLC |
2007 |
DBLP DOI BibTeX RDF |
|
12 | André Galligo, Mark van Hoeij |
Approximate bivariate factorization: a geometric viewpoint. |
SNC |
2007 |
DBLP DOI BibTeX RDF |
maple code, algorithms, approximate factorization, algebraic geometry |
12 | Peter Lebmeir, Jürgen Richter-Gebert |
Recognition of Computationally Constructed Loci. |
Automated Deduction in Geometry |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Bernard Mérialdo, Joakim Jiten, Eric Galmar, Benoit Huet |
A New Approach to Probabilistic Image Modeling with Multidimensional Hidden Markov Models. |
Adaptive Multimedia Retrieval |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Utz Westermann, Ramesh C. Jain |
E - A Generic Event Model for Event-Centric Multimedia Data Management in eChronicle Applications. |
ICDE Workshops |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Alex Potanin, James Noble 0001, Dave Clarke 0001, Robert Biddle |
Generic ownership for generic Java. |
OOPSLA |
2006 |
DBLP DOI BibTeX RDF |
Java, generics, type systems, ownership |
12 | Jean-Paul Sansonnet, David Leray, Jean-Claude Martin |
Architecture of a Framework for Generic Assisting Conversational Agents. |
IVA |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Sébastien Macé, Éric Anquetil |
A Generic Method for Eager Interpretation of On-Line Handwritten Structured Documents. |
ICPR (2) |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Volkan Arslan, Patrick Eugster, Piotr Nienaltowski, Sebastien Vaucouleur |
SCOOP - Concurrency Made Easy. |
Research Results of the DICS Program |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Sébastien Ferré |
Negation, Opposition, and Possibility in Logical Concept Analysis. |
ICFCA |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Dominique Colnet, Guillem Marpons-Ucero, Frederic Merizen |
Reconciling Subtyping and Code Reuse in Object-Oriented Languages: Using inherit and insert in SmartEiffel, the GNU Eiffel Compiler. |
ICSR |
2006 |
DBLP DOI BibTeX RDF |
|
12 | E. Sagianos, Nicos Karcanias |
The Generic McMillan Degree: A New Method Using Integer Matrices. |
International Conference on Computational Science (1) |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Benjamin Devèze, Caroline Chopinaud, Patrick Taillibert |
ALBA: A Generic Library for Programming Mobile Agents with Prolog. |
PROMAS |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Bertrand Coüasnon |
What can we learn from the processing of 165, 000 forms from the 19th century? |
DIAL |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Ichiro Hasuo |
Generic Forward and Backward Simulations. |
CONCUR |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Benoît Le Callennec, Ronan Boulic |
Robust kinematic constraint detection for motion data. |
Symposium on Computer Animation |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Marcin Zalewski, Sibylle Schupp |
Change Impact Analysis for Generic Libraries. |
ICSM |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Uwe Aßmann, Jendrik Johannes, Jakob Henriksson, Ilie Savga |
Composition of Rule Sets and Ontologies. |
Reasoning Web |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Marc Le Goc, Michel Gaeta |
Modelling structures in generic space, a condition for adaptiveness of monitoring cognitive agent. |
J. Intell. Robotic Syst. |
2005 |
DBLP DOI BibTeX RDF |
monitoring, expert systems, diagnosis, autonomous agent, cognitive agent |
12 | Jan Verelst |
The Influence of the Level of Abstraction on the Evolvability of Conceptual Models of Information Systems. |
Empir. Softw. Eng. |
2005 |
DBLP DOI BibTeX RDF |
abstraction, Conceptual modelling, maintainability, evolvability |
12 | Gunter Fuchs |
A Characterization of Generalized Príkrý Sequences. |
Arch. Math. Log. |
2005 |
DBLP DOI BibTeX RDF |
P?íkrý Forcing, Iterated Ultrapowers, Covering |
12 | Sylvain Prat, Patrick Gioia, Yves Bertrand, Daniel Méneveaux |
Connectivity compression in an arbitrary dimension. |
Vis. Comput. |
2005 |
DBLP DOI BibTeX RDF |
Compression, Connectivity, Generalized maps, Topological structure |
12 | Fabrice Kordon, Laurent Pautet |
Toward Nex-Generation Middleware? |
IEEE Distributed Syst. Online |
2005 |
DBLP DOI BibTeX RDF |
distributed systems, middleware |
12 | Gopalan Nadathur, Xiaochu Qi |
Optimizing the Runtime Processing of Types in Polymorphic Logic Programming Languages. |
LPAR |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Satoru Iwata 0001, Ryo Shimizu |
Combinatorial Analysis of Generic Matrix Pencils. |
IPCO |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Pierre-Alain Muller, Franck Fleurey, Jean-Marc Jézéquel |
Weaving Executability into Object-Oriented Meta-languages. |
MoDELS |
2005 |
DBLP DOI BibTeX RDF |
|
12 | N. Huot, H. Dubreuil, Laurent Fesquet, Marc Renaudin |
FPGA Architecture for Multi-Style Asynchronous Logic. |
DATE |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Isabel Díaz, Oscar Pastor 0001, Alfredo Matteo |
Modeling Interactions using Role-Driven Patterns. |
RE |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Suan Khai Chong, Shonali Krishnaswamy, Seng Wai Loke |
A Context-Aware Approach to Conserving Energy in Wireless Sensor Networks. |
PerCom Workshops |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Roberto De Virgilio, Riccardo Torlone |
A general methodology for context-aware data access. |
MobiDE |
2005 |
DBLP DOI BibTeX RDF |
data intensive web sites, context awareness, adaptive information systems |
12 | Philippe Moser |
Generic Density and Small Span Theorem. |
FCT |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Frédéric Baudoin, Philippe Bretier, Vincent Corruble |
A Dialogue Agent with Adaptive and Proactive Capabilities. |
IAT |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Sutirtha Bhattacharya, Dewayne E. Perry |
Contextual reusability metrics for event-based architectures. |
ISESE |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Volker Kuttruff, Thomas Genssler |
Invasive Configuration of Generic Components. |
SC@ETAPS |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Liwen Lin, Suzanne M. Embury, Brian Warboys |
Facilitating the Implementation and Evolution of Business Rules. |
ICSM |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Brian Cabana, Suad Alagic, Jeff Faulkner |
Parametric polymorphism for Java: is there any hope in sight? |
ACM SIGPLAN Notices |
2004 |
DBLP DOI BibTeX RDF |
Java core reflection, class files, class objects, generics, Java virtual machine, parametric polymorphism, loading |
12 | Laurent Michel, Pascal Van Hentenryck |
A decomposition-based implementation of search strategies. |
ACM Trans. Comput. Log. |
2004 |
DBLP DOI BibTeX RDF |
search, combinatorial optimization, Constraint programming |
12 | Rachid Guerraoui, Michel Raynal |
The Information Structure of Indulgent Consensus. |
IEEE Trans. Computers |
2004 |
DBLP DOI BibTeX RDF |
indulgent algorithm, leader oracle, fault tolerance, modularity, consensus, Asynchronous distributed system, random oracle, crash failure, unreliable failure detector, information structure |
12 | Olivier Lefebvre, Florent Lamiraux, Cédric Pradalier, Thierry Fraichard |
Obstacles Avoidance for Car-like Robots Integration and Experimentation on Two Robots. |
ICRA |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Gustavo J. Bobeff, Jacques Noyé |
Component specialization. |
PEPM |
2004 |
DBLP DOI BibTeX RDF |
component generator, program slicing, partial evaluation, component-based software development |
12 | Andries Stam, Joost Jacob, Frank S. de Boer, Marcello M. Bonsangue, Leendert W. N. van der Torre |
Using XML Transformations for Enterprise Architectures. |
ISoLA |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Tim Owen, Des Watson |
Reducing the Cost of Object Boxing. |
CC |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Cédric Jacquiot, Yolaine Bourda, Fabrice Popineau |
GEAHS: A Generic Educational Adaptive Hypermedia System Based on Situation Calculus. |
AH |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Abdelmadjid Ketfi, Noureddine Belkhatir |
A Metamodel-Based Approach for the Dynamic Reconfiguration of Component-Based Software. |
ICSR |
2004 |
DBLP DOI BibTeX RDF |
DYVA, Metamodel, Dynamic reconfiguration, Component model |
12 | Santi Caballé, Fatos Xhafa, Thanasis Daradoumis, Joan Manuel Marquès |
Towards a generic platform for developing CSCL applications using Grid infrastructure. |
CCGRID |
2004 |
DBLP DOI BibTeX RDF |
|