The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for generic with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1964-1980 (21) 1981-1982 (19) 1983-1984 (21) 1985-1986 (28) 1987 (34) 1988 (42) 1989 (44) 1990 (59) 1991 (62) 1992 (95) 1993 (89) 1994 (126) 1995 (132) 1996 (183) 1997 (205) 1998 (280) 1999 (348) 2000 (535) 2001 (538) 2002 (705) 2003 (804) 2004 (1073) 2005 (1336) 2006 (1381) 2007 (1417) 2008 (1431) 2009 (1080) 2010 (441) 2011 (357) 2012 (86)
Publication types (Num. hits)
article(2685) book(5) incollection(56) inproceedings(10191) phdthesis(30) proceedings(5)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 12320 occurrences of 5730 keywords

Results
Found 12972 publication records. Showing 12972 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
5Axel Dold Software Development in PVS Using Generic Development Steps. Search on Bibsonomy Generic Programming The full citation details ... 1998 DBLP  DOI  BibTeX  RDF generic development steps, transformational software development, formal verification, mechanized theorem proving
5James C. Dehnert, Alexander A. Stepanov Fundamentals of Generic Programming. Search on Bibsonomy Generic Programming The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Generic programming, operator semantics, concept, regular type
5Matthew B. Dwyer, Corina S. Pasareanu Model Checking Generic Container Implementations. Search on Bibsonomy Generic Programming The full citation details ... 1998 DBLP  DOI  BibTeX  RDF generic containers, Model checking, temporal logic, assume-guarantee reasoning
5Wolfgang Schreiner, Werner Danielczyk-Landerl, Mircea Marin, Wolfgang Stöcher A Generic Programming Environment for High-Performance Mathematical Libraries. Search on Bibsonomy Generic Programming The full citation details ... 1998 DBLP  DOI  BibTeX  RDF generic libraries, specifications, computer algebra, functors
4Stephanie Weirich, Chris Casinghino Arity-generic datatype-generic programming. Search on Bibsonomy PLPV The full citation details ... 2010 DBLP  DOI  BibTeX  RDF agda, arity-generic programming, generic haskell, dependent types
4Ines Bouzouita, Samir Elloumi Efficient Generic Association Rules Based Classifier Approach. Search on Bibsonomy CLA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Generic Basis, Classifier, Classification Rules, interestingness measures, Associative Classification, Generic association rules
4Johan Jeuring, Alexey Rodriguez, Gideon Smeding Generating generic functions. Search on Bibsonomy ICFP-WGP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF generic programming, automated testing, program synthesis, generalized algebraic data types
4Jeremy Gibbons Design patterns as higher-order datatype-generic programs. Search on Bibsonomy ICFP-WGP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF design patterns, functional programming, generic programming, unfolds, folds, higher-order functions
4Kyle D. Ross Towards an automatic complexity analysis for generic programs. Search on Bibsonomy ICFP-WGP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF cost-bound functions, library-oriented software, performance concepts, abstract interpretation, generic programming, complexity analysis
4Stephen M. Watt A technique for generic iteration and its optimization. Search on Bibsonomy ICFP-WGP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF generic program, iterators
4Martin Sulzmann, Meng Wang Modular generic programming with extensible superclasses. Search on Bibsonomy ICFP-WGP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF generic programming, type classes
4Muhammad Sher, Thomas Magedanz Secure access to IP multimedia services using generic bootstrapping architecture (GBA) for 3G & beyond mobile networks. Search on Bibsonomy Q2SWinet The full citation details ... 2006 DBLP  DOI  BibTeX  RDF IP multimedia system, authentication proxy, generic authentication architecture, generic bootstrapping architecture, transport layer security, security and privacy
4Andres Löh, Dave Clarke, Johan Jeuring Dependency-style generic Haskell. Search on Bibsonomy ICFP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF generic haskell, functional programming, type systems, generic programming
4Roland Carl Backhouse, Paul F. Hoogendijk Generic Properties of Datatypes. Search on Bibsonomy Generic Programming The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
4Ralf Hinze, Johan Jeuring Generic Haskell: Practice and Theory. Search on Bibsonomy Generic Programming The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
4Ralf Hinze, Johan Jeuring Generic Haskell: Applications. Search on Bibsonomy Generic Programming The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
4Christoph Schwarzweller Mizar Correctness Proofs of Generic Fraction Field Arithmetic. Search on Bibsonomy Generic Programming The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
4James Crotinger, Julian Cummings, Scott Haney, William Humphrey, Steve Karmesin, John Reynders, Stephen Smith, Timothy J. Williams Generic Programming in POOMA and PETE. Search on Bibsonomy Generic Programming The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
4Karl J. Lieberherr, Boaz Patt-Shamir The Refinement Relation of Graph-Based Generic Programs. Search on Bibsonomy Generic Programming The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
4Sibylle Schupp, Rüdiger Loos SUCHTHAT - Generic Programming Works. Search on Bibsonomy Generic Programming The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
4Hervé Brönnimann, Lutz Kettner, Stefan Schirra, Remco C. Veltkamp Applications of the Generic Programming Paradigm in the Design of CGAL. Search on Bibsonomy Generic Programming The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
4David R. Musser, Sibylle Schupp, Rüdiger Loos Requirement Oriented Programming. Search on Bibsonomy Generic Programming The full citation details ... 1998 DBLP  DOI  BibTeX  RDF requirement oriented programming, concept description language, algebraic concept definitions, TECTON, formal verification, specification language, generic programming, standard template library
4David R. Musser, Arturo J. Sánchez-Ruíz Theory and Generality of Complete Traversals. Search on Bibsonomy Generic Programming The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Standard Template Library (STL), Adaptors, Iteration Mechanisms, Generic Programming, Iterators, Containers, Closures
4Gordon S. Novak Software Reuse by Specialization of Generic Procedures Through Views. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF generic procedure, algorithm specialization, direct-manipulation editor, Software reuse, partial evaluation, abstract data type, view, generic algorithm
4Antonie Azokly, Rolf Ingold A language for document generic layout description and its use for segmentation into regions. (PDF / PS) Search on Bibsonomy ICDAR The full citation details ... 1995 DBLP  DOI  BibTeX  RDF document generic layout description language, generic layout description, region boundary delimiters, separator determination, segmentation method, page description languages
4Kees van Berkel, Ronan Burgess, Joep L. W. Kessels, Ad M. G. Peeters, Marly Roncken, Frits D. Schalij, Rik van de Wiel A single-rail re-implementation of a DCC error detector using a generic standard-cell library. Search on Bibsonomy ASYNC The full citation details ... 1995 DBLP  DOI  BibTeX  RDF digital audio tape, DCC error detector, generic standard-cell library, single-rail re-implementation, fully asynchronous implementation, handshake signaling, single-rail data encoding, generic cell library, high-level Tangram description, intermediate architecture, high level synthesis, asynchronous circuits, error detection codes, integrated logic circuits, cellular arrays, power dissipation, handshake circuits
3Fritz Henglein Optimizing relational algebra operations using generic equivalence discriminators and lazy products. Search on Bibsonomy PEPM The full citation details ... 2010 DBLP  DOI  BibTeX  RDF cross-product, disriminator, optimization, optimize, optimizing, evaluation, generic, query, product, algebra, formal, relational, equivalence, join, discrimination, symbolic, lazy
3Wolfgang Jeltsch Generic record combinators with static type checking. Search on Bibsonomy PPDP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF closed classes, higher-rank polymorphism, type equality, type families, type-level programming, type-level reification, generic programming, induction
3Omar Benjelloun, Hector Garcia-Molina, David Menestrina, Qi Su, Steven Euijong Whang, Jennifer Widom Swoosh: a generic approach to entity resolution. Search on Bibsonomy VLDB J. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Generic entity resolution, Data cleaning, Entity resolution
3Changjing Wang, Jinyun Xue Formal Derivation of a High-Trustworthy Generic Algorithmic Program for Solving a Class of Path Problems. Search on Bibsonomy FAW The full citation details ... 2009 DBLP  DOI  BibTeX  RDF High-trustworthy, Path problem, Generic algorithm, Formal derivation, Dioid
3Renato Silva, Michael Butler Supporting Reuse of Event-B Developments through Generic Instantiation. Search on Bibsonomy ICFEM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF generic instantiation, formal methods, reusability, event-B
3Yasumasa Nakai, Takahiro Matsuda 0002, Wataru Kitada, Kanta Matsuura A Generic Construction of Timed-Release Encryption with Pre-open Capability. Search on Bibsonomy IWSEC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF pre-open capability, public key encryption, identity-based encryption, timed-release encryption, generic construction
3Prashant Joshi, Jochen Triesch Optimizing Generic Neural Microcircuits through Reward Modulated STDP. Search on Bibsonomy ICANN The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Reward modulated STDP, generic neural microcircuits, optimization
3Jeremiah Willcock, Andrew Lumsdaine, Daniel J. Quinlan Reusable, generic program analyses and transformations. Search on Bibsonomy GPCE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF compiler optimization, generic programming
3Tae-Sub Kim, Ryong Oh, Sangjoon Lee, Suk-Ho Yoon, Choong-Ho Cho, Seungwan Ryu Vertical handover between LTE and wireless LAN systems based on common resource management (CRRM) and generic link layer (GLL). Search on Bibsonomy Int. Conf. Interaction Sciences The full citation details ... 2009 DBLP  DOI  BibTeX  RDF generic link layer, WLAN, vertical handover, LTE, common radio resource management
3Alexey Rodriguez Yakushev, Stefan Holdermans, Andres Löh, Johan Jeuring Generic programming with fixed points for mutually recursive datatypes. Search on Bibsonomy ICFP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF mutually recursive datatypes, haskell, fixed points, datatype-generic programming
3Neil C. C. Brown, Adam T. Sampson Alloy: fast generic transformations for Haskell. Search on Bibsonomy Haskell The full citation details ... 2009 DBLP  DOI  BibTeX  RDF haskell, generic programming, alloy
3Jin-San Cheng, Xiao-Shan Gao, Jia Li Root isolation for bivariate polynomial systems with local generic position method. Search on Bibsonomy ISSAC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF bivariate polynomial system, generic position, root bound, root isolation
3Vineet Chaoji, Mohammad Al Hasan, Saeed Salem, Mohammed Javeed Zaki An integrated, generic approach to pattern mining: data mining template library. Search on Bibsonomy Data Min. Knowl. Discov. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Generic programming, Graph mining, Frequent pattern mining, Sequence mining, Tree mining, Itemset mining
3Roland Carl Backhouse, Henk Doornbos Datatype-Generic Termination Proofs. Search on Bibsonomy Theory Comput. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Allegory, Generic programming, Relation algebra, Programming methodology, Datatype
3Fehmi Cirak, Julian C. Cummings Generic programming techniques for parallelizing and extending procedural finite element programs. Search on Bibsonomy Eng. Comput. (Lond.) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Multi-physics coupling, Parallelization, Object-oriented programming, Finite elements, Generic programming
3Guilhem Castagnos Two Generic Constructions of Probabilistic Cryptosystems and Their Applications. Search on Bibsonomy SCN The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Homomorphic Scheme, Paillier Cryptosystem, Quadratic Fields, IND-CPA and IND-CCA2 security, Standard Model, Generic Construction, Probabilistic Encryption
3Eric Berberich, Michael Sagraloff A generic and flexible framework for the geometrical and topological analysis of (algebraic) surfaces. Search on Bibsonomy Symposium on Solid and Physical Modeling The full citation details ... 2008 DBLP  DOI  BibTeX  RDF surface analysis, framework, topology, meshing, generic programming, geometry, algebraic surfaces, quadrics, space curves, lower envelopes
3Evgeny Knutov GAF: Generic Adaptation Framework. Search on Bibsonomy AH The full citation details ... 2008 DBLP  DOI  BibTeX  RDF AHAM, adaptation, generic framework
3Wei Wu, Yi Mu, Willy Susilo, Xinyi Huang Certificate-Based Signatures: New Definitions and a Generic Construction from Certificateless Signatures. Search on Bibsonomy WISA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Certificate-based, Security Models, Generic Construction, Certificateless
3Bruno C. d. S. Oliveira, Jeremy Gibbons Scala for generic programmers. Search on Bibsonomy ICFP-WGP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF scala, polytypic programming, datatype-generic programming
3Fritz Henglein Generic discrimination: sorting and paritioning unshared data in linear time. Search on Bibsonomy ICFP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF multiset discrimination, total preorder, partitioning, generic, sorting, functional, equivalence, discrimination, discriminator, order
3Thomas van Noort, Alexey Rodriguez, Stefan Holdermans, Johan Jeuring, Bastiaan Heeren A lightweight approach to datatype-generic rewriting. Search on Bibsonomy ICFP-WGP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF term rewriting, datatype-generic programming
3Andy Rupp, Gregor Leander, Endre Bangerter, Alexander W. Dent, Ahmad-Reza Sadeghi Sufficient Conditions for Intractability over Black-Box Groups: Generic Lower Bounds for Generalized DL and DH Problems. Search on Bibsonomy ASIACRYPT The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Generic Group Model, Hardness Conditions, Lower Bounds, Straight-Line Programs
3Mikaël Fortin, Jean-François Lebeau, Amir Abdessemed, François Courtemanche, André Mayers A Standard Method of Developing User Interfaces for a Generic ITS Framework. Search on Bibsonomy Intelligent Tutoring Systems The full citation details ... 2008 DBLP  DOI  BibTeX  RDF generic ITS, user interface, feedback, interface design, learning environments
3Andrew Gacek, Dale Miller, Gopalan Nadathur Combining Generic Judgments with Recursive Definitions. Search on Bibsonomy LICS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF generic judgments, reasoning about operational semantics, higher-order abstract syntax, proof search
3Laila El Aimani Toward a Generic Construction of Universally Convertible Undeniable Signatures from Pairing-Based Signatures. Search on Bibsonomy INDOCRYPT The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Pairing-based signatures, Undeniable signatures, Generic construction
3Jacques Lonchamp Interaction Analysis Supporting Participants' Self-regulation in a Generic CSCL System. Search on Bibsonomy EC-TEL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF collaborative learning, CSCL, interaction analysis, model-based approach, self-regulation, coaching, generic system
3Alexey Rodriguez, Johan Jeuring, Patrik Jansson, Alex Gerdes, Oleg Kiselyov, Bruno C. d. S. Oliveira Comparing libraries for generic programming in haskell. Search on Bibsonomy Haskell The full citation details ... 2008 DBLP  DOI  BibTeX  RDF libraries comparison, datatype-generic programming
3Bertrand Coüasnon, Jean Camillerapp, Ivan Leplumey Access by content to handwritten archive documents: generic document recognition method and platform for annotations. Search on Bibsonomy IJDAR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Structured document recognition, Annotation, Handwriting recognition, Automatic indexing, Archive document, Generic method
3Xin Li, Marc Moreno Maza, Éric Schost On the Virtues of Generic Programming for Symbolic Computation. Search on Bibsonomy International Conference on Computational Science The full citation details ... 2007 DBLP  DOI  BibTeX  RDF fast arithmetic, polynomials, high performance, Generic programming, efficient implementation
3Philip Weaver, Garrin Kimmell, Nicolas Frisby, Perry Alexander Modular and generic programming with interpreterlib. Search on Bibsonomy ASE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF modular monadic semantics, generative programming, generic programming
3Jungong Han, Dirk Farin, Peter H. N. de With Generic 3-D Modeling for Content Analysis of Court-Net Sports Sequences. Search on Bibsonomy MMM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Generic, Content analysis, Sports video, 3-D modeling
3Timmy Douglas Making generic functions useable in Smalltalk. Search on Bibsonomy ACM Southeast Regional Conference The full citation details ... 2007 DBLP  DOI  BibTeX  RDF programming environments, Smalltalk, generic functions, multimethods, multiple dispatch, squeak
3Jeremy Yallop Practical generic programming in OCaml. Search on Bibsonomy ML The full citation details ... 2007 DBLP  DOI  BibTeX  RDF generic programming, deriving, OCaml
3Xinyi Huang, Yi Mu, Willy Susilo, Wei Wu A Generic Construction for Universally-Convertible Undeniable Signatures. Search on Bibsonomy CANS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Universally-Convertible, Provable Security, Undeniable Signature, Generic Construction
3Victor Travassos Sarinho Using JPOX to Develop a Persistence API for Generic Objects. Search on Bibsonomy CONFENIS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Enterprise software solutions, JDO, JPOX, Generic objects persistence, Enterprise model, Enterprise Information Systems (EIS), Enterprise application, Enterprise modeling and integration
3Eli Mayfield, John Kyle Roth, Daniel Selifonov, Nathan Dahlberg, Elena Machkasova Optimizing java programs using generic types. Search on Bibsonomy OOPSLA Companion The full citation details ... 2007 DBLP  DOI  BibTeX  RDF java, specialization, generic types
3Bertrand Coüasnon DMOS, a generic document recognition method: application to table structure analysis in a general and in a specific way. Search on Bibsonomy IJDAR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Recursive table recognition, Grammar, Structured documents, Generic system, Archives document
3Jaakko Järvi, Douglas Gregor, Jeremiah Willcock, Andrew Lumsdaine, Jeremy G. Siek Algorithm specialization in generic programming: challenges of constrained generics in C++. Search on Bibsonomy PLDI The full citation details ... 2006 DBLP  DOI  BibTeX  RDF constrained generics, generic programming, concepts, specialization, parametric polymorphism
3Mohamed Amir Esseghir, Ghada Gasmi, Sadok Ben Yahia, Yahya Slimani EGEA : A New Hybrid Approach Towards Extracting Reduced Generic Association Rule Set (Application to AML Blood Cancer Therapy). Search on Bibsonomy DaWaK The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Frequent Closed itemset algorithms, Genetic Algorithms, Neural networks, Bioinformatics, Generic association rules
3Jun Wang, Ning Ge Automatic feature thesaurus enrichment: extracting generic terms from digital gazetteer. Search on Bibsonomy JCDL The full citation details ... 2006 DBLP  DOI  BibTeX  RDF automatic gazetteer updating, digital gazetteer, generic term extraction, correlation analysis
3Martin Erwig, Zhe Fu, Ben Pflaum Generic programming in Fortran. Search on Bibsonomy PEPM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF software maintenance, reuse, Fortran, haskell, scientific computing, generic programming, program generation
3Brian S. Tani, Tiago Nobrega, Thiago R. dos Santos, Aldo von Wangenheim Generic Visualization and Manipulation Framework for Three-Dimensional Medical Environments. Search on Bibsonomy CBMS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Model View Controller Framework, Generic Manipulation, Generic Visualization
3Geoffrey Washburn, Stephanie Weirich Good advice for type-directed programming aspect-oriented programming and extensible generic functions. Search on Bibsonomy ICFP-WGP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF open extension, type-directed programming, aspect-oriented programming, generic programming, type analysis, expression problem
3Adriaan Moors, Frank Piessens, Wouter Joosen An object-oriented approach to datatype-generic programming. Search on Bibsonomy ICFP-WGP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF datatype-genericity, scala, polytypic programming
3Manisha Kalra, Sukhendu Das, Amitava Datta Generic Object Recognition Using a Combination of ICA and Shape Cues. Search on Bibsonomy AVSS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Generic Object Recognition, Independent Component Analysis, Shape, Distance Transform, Pose
3Douglas Gregor, Jaakko Järvi, Jeremy G. Siek, Bjarne Stroustrup, Gabriel Dos Reis, Andrew Lumsdaine Concepts: linguistic support for generic programming in C++. Search on Bibsonomy OOPSLA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF constrained generics, generic programming, concepts, parametric polymorphism, C++ templates, C++0x
3Jacques Patarin, Valérie Nachef, Côme Berbain Generic Attacks on Unbalanced Feistel Schemes with Contracting Functions. Search on Bibsonomy ASIACRYPT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF unbalanced Feistel permutations, generic attacks, Luby-Rackoff theory, block ciphers, pseudo-random permutations
3Gregor Leander, Andy Rupp On the Equivalence of RSA and Factoring Regarding Generic Ring Algorithms. Search on Bibsonomy ASIACRYPT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Computational Equivalence, RSA Problem, Factorization Problem, Generic Algorithms
3Deling Ren, Martin Erwig A generic recursion toolbox for Haskell or: scrap your boilerplate systematically. Search on Bibsonomy Haskell The full citation details ... 2006 DBLP  DOI  BibTeX  RDF traversal strategy, generic programming
3Louise van der Linde, Nina Evans A framework for a generic business behaviour guideline (GBBG) for ICT organisations in the 'new' South Africa. Search on Bibsonomy CPR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF affirmative action, employment equity, generic business behaviour guidelines, information technology, diversity, organisational culture
3Roland Carl Backhouse Datatype-Generic Reasoning. Search on Bibsonomy CiE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF allegory, generic programming, relation algebra, programming methodology, Datatype
3Pablo Nogueira Context-parametric polykinded types. Search on Bibsonomy ICFP-WGP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF constrained types, generic haskell, kind-indexed types, polykinded types, polytypic programming
3Gustav Munkby, Andreas P. Priesnitz, Sibylle Schupp, Marcin Zalewski Scrap++: scrap your boilerplate in C++. Search on Bibsonomy ICFP-WGP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF C++, extensibility, generic programming
3Ines Bouzouita, Samir Elloumi, Sadok Ben Yahia GARC: A New Associative Classification Approach. Search on Bibsonomy DaWaK The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Generic Basis, Classifier, Classification Rules, Associative Classification, Generic association rules
3Douglas Gregor, Jaakko Järvi, Mayuresh Kulkarni, Andrew Lumsdaine, David R. Musser, Sibylle Schupp Generic Programming and High-Performance Libraries. Search on Bibsonomy International Journal of Parallel Programming The full citation details ... 2005 DBLP  DOI  BibTeX  RDF high-level optimization, formal verification, static analysis, Generic programming, software libraries
3Dale Miller, Alwen Tiu A proof theory for generic judgments. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF ?-tree syntax, ?-quantifier, generic judgments, reasoning about operational semantics, higher-order abstract syntax, Proof search
3Jeremy G. Siek, Andrew Lumsdaine Essential language support for generic programming. Search on Bibsonomy PLDI The full citation details ... 2005 DBLP  DOI  BibTeX  RDF C++, Haskell, polymorphism, generic programming, standard ML
3Xiaomao Wu, Lizhuang Ma, Ke-Sen Huang, Yan Gao, Zhihua Chen Generic-Model Based Human-Body Modeling. Search on Bibsonomy ICEC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Anatomically-based modeling, generic model, human body modeling
3Ghada Gasmi, Sadok Ben Yahia, Engelbert Mephu Nguifo, Yahya Slimani IGB: A New Informative Generic Base of Association Rules. Search on Bibsonomy PAKDD The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Generic base, Axio-matic system, Association rules, Galois connection
3Chee Chern Lim, Man Hing Yu, Jesse J. Jin Generic E-Learning Data Structure and Web Teaching. Search on Bibsonomy EEE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF generic data model and web teaching, E-learning
3Le-Jeng Shiue, Jörg Peters A mesh refinement library based on generic design. Search on Bibsonomy ACM Southeast Regional Conference The full citation details ... 2005 DBLP  DOI  BibTeX  RDF generic programming, subdivision surfaces, geometric data structure
3Aimin Wu, De Xu, Xu Yang, Jianhui Zheng Generic Solution for Image Object Recognition Based on Vision Cognition Theory. Search on Bibsonomy FSKD The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Generic solution, Visual cognition theory, Object recognition, Knowledge
3Ralf Lämmel, Simon L. Peyton Jones Scrap your boilerplate with class: extensible generic functions. Search on Bibsonomy ICFP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF recursive dictionaries, typecase, extensibility, generic programming, type classes
3David A. Sadlier, Noel E. O'Connor Event detection based on generic characteristics of field-sports. Search on Bibsonomy ICME The full citation details ... 2005 DBLP  DOI  BibTeX  RDF content rejection statistics, generic characteristics, field-sports, video broadcasting, training phase, event retrieval, support vector machine, event detection
3Saad Ali, Mubarak Shah An integrated approach for generic object detection using kernel PCA and boosting. Search on Bibsonomy ICME The full citation details ... 2005 DBLP  DOI  BibTeX  RDF intraclass variation, generic object detection, nonlinear shape subspace learning, principal component analysis, AdaBoost, kernel PCA, integrated approach, Bayes classifier
3Po-Chang Liu, Ming-Jyh Tsai, Deng-Jyi Chen A Generic Software Framework for the Software System Achitecture Design and Implementation of Handset Devices. Search on Bibsonomy ACIS-ICIS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF UI requirement, UI Design Patterns, Generic Software Framework, Generator
3Bernhard König Generic compactness reformulated. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Generic large cardinals, Stationary reflection, Games
3Michael Blumenstein, Steve Green, Ann Nguyen, Vallipuram Muthukkumarasamy An experimental analysis of GAME: a generic automated marking environment. Search on Bibsonomy ITiCSE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF generic marking environment, automatic assessment
3Dániel Varró, András Pataricza Generic and Meta-transformations for Model Transformation Engineering. Search on Bibsonomy UML The full citation details ... 2004 DBLP  DOI  BibTeX  RDF meta-transformation, generic transformation, model transformation, metamodeling
3Rainer Simon, Michael Jank, Florian Wegscheider A generic uiml vocabulary for device- and modality independent user interfaces. Search on Bibsonomy WWW (Alternate Track Papers & Posters) The full citation details ... 2004 DBLP  DOI  BibTeX  RDF generic user interface description, mobile devices, multimodality, mobile networks, multimodal user interfaces, device-independence, voice interfaces, UIML
3Alan Donovan, Adam Kiezun, Matthew S. Tschantz, Michael D. Ernst Converting java programs to use generic libraries. Search on Bibsonomy OOPSLA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF JSR-14, Java 1.5, Java 5, instantiation types, raw types, type inference, parametric polymorphism, generic types, parameterized types
3Raphael Chung-Wei Phan, Huo-Chong Ling Flaws in Generic Watermarking Protocols Based on Zero-Knowledge Proofs. Search on Bibsonomy IWDW The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Watermark detection protocol, flaws, generic, identification, zero knowledge proof
3Alan L. Yuille, James M. Coughlan, Scott Konishi The Generic Viewpoint Assumption and Planar Bias. Search on Bibsonomy IEEE Trans. Pattern Anal. Mach. Intell. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Generic viewpoint, visual ambiguities, Bayesian inference
Displaying result #1 - #100 of 12972 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.