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