Search results for "Genericity"

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