|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1365 occurrences of 650 keywords
|
|
|
Results
Found 1361 publication records. Showing 1361 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
14 | Hayo Thielecke |
Frame rules from answer types for code pointers. |
POPL |
2006 |
DBLP DOI BibTeX RDF |
code pointers, polymorphism, continuations, Hoare logic, typed assembly language |
14 | Maribel Fernández, Murdoch Gabbay |
Curry-Style Types for Nominal Terms. |
TYPES |
2006 |
DBLP DOI BibTeX RDF |
polymorphism, type inference, rewriting, binding |
14 | Ralf Lämmel, Klaus Ostermann |
Software extension and integration with type classes. |
GPCE |
2006 |
DBLP DOI BibTeX RDF |
family polymorphism, framework integration, object adapter, software extension, tyranny of the dominant decomposition, haskell, type classes, software integration, multiple dispatch, expression problem |
14 | Jaakko Järvi, Douglas P. 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 |
14 | Tom Schrijvers, Maurice Bruynooghe |
Polymorphic algebraic data type reconstruction. |
PPDP |
2006 |
DBLP DOI BibTeX RDF |
polymorphic recursion, type definition, type reconstruction, parametric polymorphism, algebraic data type |
14 | Frederik Eaton |
Statically typed linear algebra in Haskell. |
Haskell |
2006 |
DBLP DOI BibTeX RDF |
higher-rank polymorphism, template Haskell, linear algebra, staging, existential types |
14 | Fernando Berzal Galiano, Juan C. Cubero, Nicolás Marín, María Amparo Vila Miranda |
Lazy Types: Automating Dynamic Strategy Selection. |
IEEE Softw. |
2005 |
DBLP DOI BibTeX RDF |
lazy types, metadata, reflection, polymorphism, strategies, adaptable code |
14 | Iavor S. Diatchki, Mark P. Jones, Rebekah Leslie |
High-level views on low-level representations. |
ICFP |
2005 |
DBLP DOI BibTeX RDF |
bitdata, bitfields, pattern matching, polymorphism, views, data representation, qualified types, bit manipulation |
14 | G. Michael Barnes, John Noga, Peter D. Smith, Jeff Wiegley |
Experiments with balanced-sample binary trees. |
SIGCSE |
2005 |
DBLP DOI BibTeX RDF |
hybrid data structures, random binary tree, temporary construction, pedagogy, polymorphism, random sample, binary tree |
14 | Jeremy G. Siek, Andrew Lumsdaine |
Essential language support for generic programming. |
PLDI |
2005 |
DBLP DOI BibTeX RDF |
C++, Haskell, polymorphism, generic programming, standard ML |
14 | Noritaka Osawa |
Application of Jigsaw-Puzzle-Like 3D Glyph to Visualizing Grammatical Constraints. |
VL/HCC |
2005 |
DBLP DOI BibTeX RDF |
inclusive match, grammatical constraints, jigsaw puzzle, polymorphism, 3D visualization |
14 | Siros Supavita, Taratip Suwannasart |
Testing Polymorphic Interactions in UML Sequence Diagrams. |
ITCC (2) |
2005 |
DBLP DOI BibTeX RDF |
UML, Software Testing, Object-Oriented, Polymorphism, Sequence Diagram |
14 | Derek Messie, Jae C. Oh |
Polymorphic self-* agents for stigmergic fault mitigation in large-scale real-time embedded systems. |
AAMAS |
2005 |
DBLP DOI BibTeX RDF |
self-* agents, multi-agent systems, game theory, polymorphism, SWARM, stigmergy |
14 | Derek Messie |
Polymorphic self-* agents using game theory for large-scale complex systems. |
AAMAS |
2005 |
DBLP DOI BibTeX RDF |
self-* agents, multi-agent systems, game theory, polymorphism, SWARM, stigmergy |
14 | Rémi Forax, Étienne Duris, Gilles Roussel 0001 |
A Reflective Implementation of Java Multi-Methods. |
IEEE Trans. Software Eng. |
2004 |
DBLP DOI BibTeX RDF |
dynamic class loading, Java, reflection, polymorphism |
14 | Richard Gault, Peter Jeavons 0001 |
Implementing a Test for Tractability. |
Constraints An Int. J. |
2004 |
DBLP DOI BibTeX RDF |
Polyanna, complexity, polymorphism, symmetry, constraint language |
14 | Lawrence C. Paulson |
Organizing Numerical Theories Using Axiomatic Type Classes. |
J. Autom. Reason. |
2004 |
DBLP DOI BibTeX RDF |
axiomatic type classes, polymorphism, arithmetic, overloading, Isabelle |
14 | Daniel von Dincklage, Amer Diwan |
Converting Java classes to use generics. |
OOPSLA |
2004 |
DBLP DOI BibTeX RDF |
generics, type inference, parametric polymorphism |
14 | Jeremy G. Siek |
Modular generics. |
OOPSLA Companion |
2004 |
DBLP DOI BibTeX RDF |
C++, modularity, generics, haskell, polymorphism, generic programming, standard ML |
14 | David Wolber, Christopher H. Brooks |
Associative sources and agents for zero-input publishing. |
WWW (Alternate Track Papers & Posters) |
2004 |
DBLP DOI BibTeX RDF |
web services, agents, context, aggregation, polymorphism, associativity, reconnaissance |
14 | François Pottier, Nadji Gauthier |
Polymorphic typed defunctionalization. |
POPL |
2004 |
DBLP DOI BibTeX RDF |
type preservation, polymorphism, defunctionalization, closure conversion |
14 | Jerome Vouillon, Paul-André Melliès |
Semantic types: a fresh look at the ideal model for types. |
POPL |
2004 |
DBLP DOI BibTeX RDF |
ideal model, inductive/coinductive principle, polymorphism, subtyping, realizability, recursive types |
14 | Dachuan Yu, Andrew Kennedy, Don Syme |
Formalization of generics for the .NET common language runtime. |
POPL |
2004 |
DBLP DOI BibTeX RDF |
CLR, run-time types, generics, polymorphism, NET |
14 | Nadji Gauthier, François Pottier |
Numbering matters: first-order canonical forms for second-order recursive types. |
ICFP |
2004 |
DBLP DOI BibTeX RDF |
polymorphism, unification, equality, recursive types |
14 | Stephen Tse, Steve Zdancewic |
Translating dependency into parametricity. |
ICFP |
2004 |
DBLP DOI BibTeX RDF |
DCC, protection contexts, security, dependency, Haskell, information flow, translation, polymorphism, lambda calculus, monads, parametricity, noninterference, logical relations |
14 | Roberto Passerone, Jerry R. Burch, Alberto L. Sangiovanni-Vincentelli |
Conservative approximations for heterogeneous design. |
EMSOFT |
2004 |
DBLP DOI BibTeX RDF |
verification, approximation, refinement, abstraction, heterogeneous, polymorphism, model of computation |
14 | Wei-Ngan Chin, Siau-Cheng Khoo, Dana N. Xu |
Extending sized type with collection analysis. |
PEPM |
2003 |
DBLP DOI BibTeX RDF |
collection analysis, mixed constraints, sized type, polymorphism, fix-point |
14 | Ronald Garcia, Jaakko Järvi, Andrew Lumsdaine, Jeremy G. Siek, Jeremiah Willcock |
A comparative study of language support for generic programming. |
OOPSLA |
2003 |
DBLP DOI BibTeX RDF |
Java, C++, generics, Haskell, polymorphism, generic programming, standard ML, C#, Eiffel |
14 | Rachel Or-Bach, Ilana Lavy |
Students' understanding of object orientation. |
ITiCSE |
2003 |
DBLP DOI BibTeX RDF |
object oriented programming, abstraction, object oriented design, inheritance, polymorphism, task analysis |
14 | David B. MacQueen |
Should ML be Object-Oriented? |
Formal Aspects Comput. |
2002 |
DBLP DOI BibTeX RDF |
Object-oriented programming, Functional programming, Inheritance, ML, Polymorphism, Modules, Subtypes |
14 | Richard Cardone, Adam Brown, Sean McDirmid, Calvin Lin |
Using mixins to build flexible widgets. |
AOSD |
2002 |
DBLP DOI BibTeX RDF |
design pattern, GUI, embedded software, layers, parametric polymorphism, mixin |
14 | Amer Diwan, Kathryn S. McKinley, J. Eliot B. Moss |
Using types to analyze and optimize object-oriented programs. |
ACM Trans. Program. Lang. Syst. |
2001 |
DBLP DOI BibTeX RDF |
classes and objects, method invocation, object orientation, polymorphism, alias analysis, redundancy elimination |
14 | Peter W. O'Hearn, John C. Reynolds |
From Algol to polymorphic linear lambda-calculus. |
J. ACM |
2000 |
DBLP DOI BibTeX RDF |
local state, linear logic, parametric polymorphism, logical relations |
14 | Xavier Leroy, François Pessaux |
Type-based analysis of uncaught exceptions. |
ACM Trans. Program. Lang. Syst. |
2000 |
DBLP DOI BibTeX RDF |
rows, ML, polymorphism, type inference, exceptions, type and effect systems, SML, static debugging, caml |
14 | Yvan Labiche, Pascale Thévenod-Fosse, Hélène Waeselynck, M.-H. Durand |
Testing levels for object-oriented software. |
ICSE |
2000 |
DBLP DOI BibTeX RDF |
abstract classes, object-oriented oftware, test order, tool, polymorphism, integration strategy |
14 | C. Barry Jay |
Programming in FISh. |
Int. J. Softw. Tools Technol. Transf. |
1999 |
DBLP DOI BibTeX RDF |
Shape error detection, Program optimisation, Shape, Polymorphism, Data independence |
14 | Anindya Banerjee 0001, Nevin Heintze, Jon G. Riecke |
Region Analysis and the Polymorphic Lambda Calculus. |
LICS |
1999 |
DBLP DOI BibTeX RDF |
semantics, program analysis, garbage collection, memory management, polymorphism |
14 | Dimitrios Theotokis, Georgios-Dimitrios Kapos, Costas Vassilakis, Anya Sotiropoulou, Georgios Gyftodimos |
Distributed Information Systems Tailorability: A Component Approach. |
FTDCS |
1999 |
DBLP DOI BibTeX RDF |
remote request, security, agents, Information systems, components, profiling, rules, polymorphism, tailorability, behavioral changes |
14 | Bernd Holzmüller, Erhard Plödereder |
Finite Unions for Ada 95. |
Ada-Europe |
1997 |
DBLP DOI BibTeX RDF |
Finite Unions, Polymorphism, Language Extension, Dispatching, Multi-Methods |
14 | Stefan Kahrs |
Limits of ML-Definability. |
PLILP |
1996 |
DBLP DOI BibTeX RDF |
completeness, ML, polymorphism, recursion, definability |
14 | Giorgio Ghelli |
Complexity of Kernel Fun Subtype Checking. |
ICFP |
1996 |
DBLP DOI BibTeX RDF |
polymorphism, subtyping, type theory, type checking |
14 | Bernd Holzmüller |
Extending the Object-Orientedness of Ada 95. |
Ada-Europe |
1996 |
DBLP DOI BibTeX RDF |
flexible type concepts, tagged types, language evaluation, polymorphism, object-oriented languages, Ada 95, dispatching, multi-methods |
14 | Atsushi Ohori |
A Polymorphic Record Calculus and Its Compilation. |
ACM Trans. Program. Lang. Syst. |
1995 |
DBLP DOI BibTeX RDF |
record calculus, compilation, polymorphism, type inference, type theory |
14 | H. Becht, John Staples |
Soft Typing of General First-Order Languages. |
APSEC |
1995 |
DBLP DOI BibTeX RDF |
soft typing, many-sorted logics, type theory, type checking, parametric polymorphism |
14 | Xue-Miao Lu, Tharam S. Dillon |
An Algebraic Theory of Object-Oriented Systems. |
IEEE Trans. Knowl. Data Eng. |
1994 |
DBLP DOI BibTeX RDF |
net objects, complex database models, formal specification, object-oriented programming, object-oriented programming, object-oriented databases, polymorphism, abstract data types, abstract data types, algebraic specification, object-oriented systems, multiple inheritance, object-oriented paradigms, nested relations, hierarchical approach, algebraic theory |
14 | Fritz Henglein, Jesper Jørgensen |
Formally Optimal Boxing. |
POPL |
1994 |
DBLP DOI BibTeX RDF |
representation analysis, polymorphism, type inference |
14 | Fritz Henglein |
Type Inference with Polymorphic Recursion. |
ACM Trans. Program. Lang. Syst. |
1993 |
DBLP DOI BibTeX RDF |
semiunification, polymorphism, type inference, recursion |
14 | Ralf Hartmut Güting |
Second-Order Signature: A Tool for Specifying Data Models, Query Processing, and Optimization. |
SIGMOD Conference |
1993 |
DBLP DOI BibTeX RDF |
optimization, query processing, functional programming, data model, type system, polymorphism, signature, extensibility, algebra |
14 | Thom W. Frühwirth |
Polymorphic Type Checking with Subtypes in Prolog. |
DISCO |
1990 |
DBLP DOI BibTeX RDF |
Prolog Meta-Interpreter, Type Languages, Polymorphism, Partial Evaluation, Subtypes, Type Checking, Executable Specification |
9 | Raphaël Hoarau |
Augmenting the SCOPE of interactions with implicit and explicit graphical structures. |
UIST (Adjunct Volume) |
2011 |
DBLP DOI BibTeX RDF |
|
9 | Nabil El Boustani, Jurriaan Hage |
Corrective hints for type incorrect generic Java programs. |
PEPM |
2010 |
DBLP DOI BibTeX RDF |
compilers, heuristics, error correcting, type checking, java generics, error reporting |
9 | Johannes Rudolph, Peter Thiemann 0001 |
Mnemonics: type-safe bytecode generation at run time. |
PEPM |
2010 |
DBLP DOI BibTeX RDF |
embedded domain specific language, program generation, metaprogramming |
9 | Jan Christiansen, Daniel Seidel, Janis Voigtländer |
Free theorems for functional logic programs. |
PLPV |
2010 |
DBLP DOI BibTeX RDF |
haskell, relational parametricity, curry |
9 | Kuljit Kaur Chahal, Hardeep Singh |
Metrics to study symptoms of bad software designs. |
ACM SIGSOFT Softw. Eng. Notes |
2009 |
DBLP DOI BibTeX RDF |
|
9 | Edward A. Lee, Xiaojun Liu 0001, Stephen Neuendorffer |
Classes and inheritance in actor-oriented design. |
ACM Trans. Embed. Comput. Syst. |
2009 |
DBLP DOI BibTeX RDF |
generalized ultrametric, overriding, components, interfaces, type systems, inheritance, Actors |
9 | Pavel V. Zbitskiy |
Code mutation techniques by means of formal grammars and automatons. |
J. Comput. Virol. |
2009 |
DBLP DOI BibTeX RDF |
|
9 | Mehdi Talbi, Mohamed Mejri, Adel Bouhoula |
Specification and evaluation of polymorphic shellcode properties using a new temporal logic. |
J. Comput. Virol. |
2009 |
DBLP DOI BibTeX RDF |
|
9 | Grégoire Jacob, Eric Filiol, Hervé Debar |
Functional polymorphic engines: formalisation, implementation and use cases. |
J. Comput. Virol. |
2009 |
DBLP DOI BibTeX RDF |
|
9 | Liang Zhao 0022, Xiaojian Liu, Zhiming Liu 0001, Zongyan Qiu |
Graph transformations for object-oriented refinement. |
Formal Aspects Comput. |
2009 |
DBLP DOI BibTeX RDF |
Class graph, Structure refinement, Object-orientation, Graph transformation, Normal form, Object graph |
9 | Jacob Matthews, Robert Bruce Findler |
Operational semantics for multi-language programs. |
ACM Trans. Program. Lang. Syst. |
2009 |
DBLP DOI BibTeX RDF |
interoperability, Operational semantics |
9 | Paola M. V. Rancoita, Marcus Hutter, Francesco Bertoni, Ivo Kwee |
Bayesian Joint Estimation of CN and LOH Aberrations. |
IWANN (2) |
2009 |
DBLP DOI BibTeX RDF |
Bayesian regression, piecewise constant function, change point problem, DNA copy number estimation, LOH estimation |
9 | Suzanne S. Sindi, Benjamin J. Raphael |
Identification and Frequency Estimation of Inversion Polymorphisms from Haplotype Data. |
RECOMB |
2009 |
DBLP DOI BibTeX RDF |
|
9 | Andrew Phillips |
@composite: macro annotations for Java C. |
OOPSLA Companion |
2009 |
DBLP DOI BibTeX RDF |
oo principles, java, frameworks, annotations, composition |
9 | William R. Cook |
On understanding data abstraction, revisited. |
OOPSLA |
2009 |
DBLP DOI BibTeX RDF |
ADT, object, abstract data type, class |
9 | Hyung Moo Kim, Jae Soo Yoo |
An efficient design pattern algorithm for the environmental and hydrologic/hydraulic ubiquitous model developments. |
ICHIT |
2009 |
DBLP DOI BibTeX RDF |
composite design pattern, environmental, hydrologic/hydraulic, pattern names, pattern |
9 | Alex Simpson |
Linear types for computational effects. |
POPL |
2009 |
DBLP DOI BibTeX RDF |
computational monads, linear logic, computational effects |
9 | Ben Lippmeier |
Witnessing Purity, Constancy and Mutability. |
APLAS |
2009 |
DBLP DOI BibTeX RDF |
|
9 | Noam Zeilberger |
Refinement types and computational duality. |
PLPV |
2009 |
DBLP DOI BibTeX RDF |
duality, effects, intersection types, focusing, union types |
9 | Florin Craciun, Wei-Ngan Chin, Guanhua He, Shengchao Qin |
An Interval-Based Inference of Variant Parametric Types. |
ESOP |
2009 |
DBLP DOI BibTeX RDF |
|
9 | Christian Haack, Erik Poll |
Type-Based Object Immutability with Flexible Initialization. |
ECOOP |
2009 |
DBLP DOI BibTeX RDF |
|
9 | Satish Chandra 0001, Stephen J. Fink, Manu Sridharan |
Snugglebug: a powerful approach to weakest preconditions. |
PLDI |
2009 |
DBLP DOI BibTeX RDF |
interprocedural analysis, weakest preconditions, symbolic analysis |
9 | Zhiling Wang, Zonghai Chen, Hui-Yong Chen |
A novel robust background modeling algorithm for complex natural scenes. |
GEC Summit |
2009 |
DBLP DOI BibTeX RDF |
multi-RANSAC, multiple-structural data, robust estimation, background model |
9 | Javier Ferrer, Francisco Chicano, Enrique Alba 0001 |
Dealing with inheritance in OO evolutionary testing. |
GECCO |
2009 |
DBLP DOI BibTeX RDF |
instanceof, oo evolutionary testing, evolutionary algorithm, software testing, object-oriented, search based software engineering |
9 | Hirotoshi Yasuoka, Tachio Terauchi |
Polymorphic Fractional Capabilities. |
SAS |
2009 |
DBLP DOI BibTeX RDF |
|
9 | Zhiqiang Lin, Ryan D. Riley, Dongyan Xu |
Polymorphing Software by Randomizing Data Structure Layout. |
DIMVA |
2009 |
DBLP DOI BibTeX RDF |
|
9 | Adarsha Rao, Mythri Alle, Sainath V, Reyaz Shaik, Rajashekhar Chowhan, Sreeramula Sankaraiah, Sravanthi Mantha, S. K. Nandy 0001, Ranjani Narayan |
An Input Triggered Polymorphic ASIC for H.264 Decoding. |
ASAP |
2009 |
DBLP DOI BibTeX RDF |
|
9 | David Röthlisberger, Marcel Harry, Alex Villazón, Danilo Ansaloni, Walter Binder, Oscar Nierstrasz, Philippe Moret |
Augmenting static source views in IDEs with dynamic metrics. |
ICSM |
2009 |
DBLP DOI BibTeX RDF |
|
9 | David Röthlisberger, Marcel Harry, Alex Villazón, Danilo Ansaloni, Walter Binder, Oscar Nierstrasz, Philippe Moret |
Senseo: Enriching Eclipse's static source views with dynamic metrics. |
ICSM |
2009 |
DBLP DOI BibTeX RDF |
|
9 | Loredana M. Genovese, Filippo Geraci, Marco Pellegrini 0001 |
SpeedHap: An Accurate Heuristic for the Single Individual SNP Haplotyping Problem with Many Gaps, High Reading Error Rate and Low Coverage. |
IEEE ACM Trans. Comput. Biol. Bioinform. |
2008 |
DBLP DOI BibTeX RDF |
Algorithms, Biology and genetics |
9 | Howard A. Blair, Victor W. Marek, Jeffrey B. Remmel |
Set based logic programming. |
Ann. Math. Artif. Intell. |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 68Q05, 68T99, 03D99 |
9 | Francisco Durán 0001, Salvador Lucas, Claude Marché, José Meseguer 0001, Xavier Urbain |
Proving operational termination of membership equational programs. |
High. Order Symb. Comput. |
2008 |
DBLP DOI BibTeX RDF |
Conditional term rewriting, Operational termination, Declarative rule-based languages, Program transformation, Membership equational logic |
9 | Murat Kantarcioglu, Wei Jiang, Ying Liu 0007, Bradley A. Malin |
A Cryptographic Approach to Securely Share and Query Genomic Sequences. |
IEEE Trans. Inf. Technol. Biomed. |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Yoshiteru Ishida |
The Next Generation of Immunity-Based Systems: From Specific Recognition to Computational Intelligence. |
Computational Intelligence: A Compendium |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Bruno Pagano, Olivier Andrieu, Benjamin Canou, Emmanuel Chailloux, Jean-Louis Colaço, Thomas Moniot, Philippe Wang |
Certified Development Tools Implementation in Objective Caml. |
PADL |
2008 |
DBLP DOI BibTeX RDF |
Tests measurement, Civil avionics, Functional programming, Code coverage, Objective Caml |
9 | Jorge Amigo, Christopher Phillips, Antonio Salas |
Viability of in-house datamarting approaches for population genetics analysis of snp genotypes. |
DTMBIO |
2008 |
DBLP DOI BibTeX RDF |
ceph, hapmap, perlegen, snps, genotypes, population genetics, data mart |
9 | Russ B. Altman |
Text mining for pharmacogenomics. |
DTMBIO |
2008 |
DBLP DOI BibTeX RDF |
literature curation, pharmacogenomics, text mining |
9 | Manuel Bodirsky |
Constraint Satisfaction Problems with Infinite Templates. |
Complexity of Constraints |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Luís Soares Barbosa, José Nuno Oliveira, Alexandra Silva 0001 |
Calculating Invariants as Coreflexive Bisimulations. |
AMAST |
2008 |
DBLP DOI BibTeX RDF |
coalgebraic reasoning, pointfree transform, proof obligations, program calculation |
9 | Zheng Wang 0005, Xiao Yu, Geguang Pu, Libo Feng, Huibiao Zhu, Jifeng He 0001 |
Execution Semantics for rCOS. |
APSEC |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Peter Rosner, Srikumar Viswanathan |
Visualization of Coupling and Programming to Interface for Object-Oriented Systems. |
IV |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Sam Tobin-Hochstadt, Matthias Felleisen |
The design and implementation of typed scheme. |
POPL |
2008 |
DBLP DOI BibTeX RDF |
type systems, scheme |
9 | Nikolaos Tsantalis, Theodoros Chaikalis, Alexander Chatzigeorgiou |
JDeodorant: Identification and Removal of Type-Checking Bad Smells. |
CSMR |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Simon Denier, Yann-Gaël Guéhéneuc |
Mendel: A Model, Metrics, and Rules to Understand Class Hierarchies. |
ICPC |
2008 |
DBLP DOI BibTeX RDF |
|
9 | M-Hossein Moeinzadeh, Ehsan Asgarian, Sara Sharifian-R, Amir Najafi-Ardabili, Javad Mohammadzadeh |
Neural Network Based Approaches, Solving Haplotype Reconstruction in MEC and MEC/GI Models. |
Asia International Conference on Modelling and Simulation |
2008 |
DBLP DOI BibTeX RDF |
biology and genomics, haplotype reconstruction, SNP fragments, genotype information, reconstruction rate, clustering, Bioinformatics, haplotype, unsupervised neural network |
9 | Matthias Blume, Umut A. Acar, Wonseok Chae |
Exception Handlers as Extensible Cases. |
APLAS |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Swaroop Sridhar, Jonathan S. Shapiro, Scott F. Smith 0001 |
Sound and Complete Type Inference for a Systems Programming Language. |
APLAS |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Rasmus Lerchedahl Petersen, Lars Birkedal, Aleksandar Nanevski, Greg Morrisett |
A Realizability Model for Impredicative Hoare Type Theory. |
ESOP |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Andrew Cirillo, Radha Jagadeesan, Corin Pitcher, James Riely |
Tapido: Trust and Authorization Via Provenance and Integrity in Distributed Objects (Extended Abstract). |
ESOP |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Vipul Kashyap |
From the Bench to the Bedside: The Role of Semantic Web and Translational Medicine for Enabling the Next Generation Healthcare Enterprise. |
BIOSTEC (Selected Papers) |
2008 |
DBLP DOI BibTeX RDF |
Translational Medicine, Knowledge Maintenance and Provenance, Eligibility Criteria, Molecular Diagnostic Tests, Genetic Variants, Hypertrophic Cardiomyopathy, Family History, Business Object Models, Ontologies, Data Integration, Web Ontology Language (OWL), Business Rules, Electronic Medical Record, Clinical Trials, Semantic Web technologies, Resource Description Framework (RDF), Clinical Decision Support |
9 | Erik Ernst |
First-Class Object Sets. |
TYPES |
2008 |
DBLP DOI BibTeX RDF |
Object sets, multi-object method calls, composition, types |
Displaying result #901 - #1000 of 1361 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ >>] |
|