|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1224 occurrences of 905 keywords
|
|
|
Results
Found 3212 publication records. Showing 3212 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
15 | Carsten Schürmann 0001 |
The Twelf Proof Assistant. |
TPHOLs |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Nour Alhouda Aboud, Gabriela Arévalo, Jean-Rémy Falleri, Marianne Huchard, Chouki Tibermacine, Christelle Urtado, Sylvain Vauttier |
Automated architectural component classification using concept lattices. |
WICSA/ECSA |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Daniel R. Licata, Robert Harper 0001 |
A universe of binding and computation. |
ICFP |
2009 |
DBLP DOI BibTeX RDF |
dependent types, variable binding |
15 | Miguel A. Jiménez-Montaño, Matthew He |
Irreplaceable Amino Acids and Reduced Alphabets in Short-Term and Directed Protein Evolution. |
ISBRA |
2009 |
DBLP DOI BibTeX RDF |
Codon volatility, amino acid changeability, genetic mutations, reduced alphabet |
15 | Valérie Berthé |
Arithmetic Discrete Planes Are Quasicrystals. |
DGCI |
2009 |
DBLP DOI BibTeX RDF |
arithmetic discrete planes, word combinatorics, quasicrystals, tilings, substitutions, digital planes |
15 | Chi-Shiang Chan, Ching-Yun Chang |
An information hiding scheme by applying the dynamic programming strategy to LSB matching revisited. |
ICUIMC |
2009 |
DBLP DOI BibTeX RDF |
LSB matching revisited, dynamic programming strategy, image hiding |
15 | Zheng Wang 0005, Xiao Yu, Tao Sun, Geguang Pu, Zuohua Ding, Jueliang Hu |
Test Data Generation for Derived Types in C Program. |
TASE |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Michael D. Hendy, Sagi Snir |
Hadamard Conjugation for the Kimura 3ST Model: Combinatorial Proof Using Path Sets. |
IEEE ACM Trans. Comput. Biol. Bioinform. |
2008 |
DBLP DOI BibTeX RDF |
Hadamard conjugation, K3ST model, path-sets, phylogenetic invariants, phylogenetic trees |
15 | Patrick Longa, Ali Miri |
Fast and Flexible Elliptic Curve Point Arithmetic over Prime Fields. |
IEEE Trans. Computers |
2008 |
DBLP DOI BibTeX RDF |
Parallel, Public key cryptosystems, High-Speed Arithmetic |
15 | Jean-Philippe Boyer, Pierre Duhamel, Jacques Blanc-Talon |
Scalar DC-QIM for Semifragile Authentication. |
IEEE Trans. Inf. Forensics Secur. |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Cheng-Hsing Yang, Chi-Yao Weng, Shiuh-Jeng Wang, Hung-Min Sun |
Adaptive Data Hiding in Edge Areas of Images With Spatial LSB Domain Systems. |
IEEE Trans. Inf. Forensics Secur. |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Rodolfo Stecher, Claudia Niederée, Wolfgang Nejdl |
Wildcards for lightweight information integration in virtual desktops. |
CIKM |
2008 |
DBLP DOI BibTeX RDF |
virtual desktop information integration, personal information management |
15 | Brigitte Pientka |
A type-theoretic foundation for programming with higher-order abstract syntax and first-class substitutions. |
POPL |
2008 |
DBLP DOI BibTeX RDF |
type system, logical frameworks |
15 | Delia Kesner |
Perpetuality for Full and Safe Composition (in a Constructive Setting). |
ICALP (2) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Chong Fu, Zhiliang Zhu 0001 |
A Chaotic Image Encryption Scheme Based on Circular Bit Shift Method. |
ICYCS |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Jiali Choy, Khoongming Khoo |
New Applications of Differential Bounds of the SDS Structure. |
ISC |
2008 |
DBLP DOI BibTeX RDF |
SPN, branch number, {0, 1}-matrices, differential, universal hash functions |
15 | Todd J. Treangen, Aaron E. Darling, Mark A. Ragan, Xavier Messeguer |
Gapped Extension for Local Multiple Alignment of Interspersed DNA Repeats. |
ISBRA |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Gianluigi Greco, Giorgio Terracina |
Measuring Sequence Similarity Trough Many-to-Many Frequent Correlations. |
KES (1) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Hai Song Xu, Wen Ke Ren, Xiao Hui Liu, Xiao Qin Li |
ALPHASUM: A Score Matrix Based on Low Identity All-alpha Proteins. |
BMEI (1) |
2008 |
DBLP DOI BibTeX RDF |
class-specific matrix, Twilight Zone, sequence alignment |
15 | Jindian Su, Shanshan Yu, Heqing Guo |
Analysis of Web Service Substitutability Based on Typed Pi-Calculus. |
EUC (2) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Zhengping Ji, Xiao Huang, Juyang Weng |
Learning of sensorimotor behaviors by a SASE agent for vision-based navigation. |
IJCNN |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Kitsana Waiyamai, Peera Liewlom, Thanapat Kangkachit, Thanawin Rakthanmanon |
Concept Lattice-Based Mutation Control for Reactive Motifs Discovery. |
PAKDD |
2008 |
DBLP DOI BibTeX RDF |
mutation control, sequence motif, reactive motif, enzyme function prediction, catalytic site, concept lattice, binding site |
15 | Nuria Gómez Blas, Luis F. Mingo, Juan Castellanos |
Networks of evolutionary processors with a self-organizing learning. |
AICCSA |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Rabia Sirhindi, Saeed Murtaza, Mehreen Afzal |
Improved Data Hiding Technique for Shares in Extended Visual Secret Sharing Schemes. |
ICICS |
2008 |
DBLP DOI BibTeX RDF |
extended visual secret sharing, LSB encoding, adaptive LSB encoding, data hiding, Visual cryptography |
15 | Adrian Schneider, Gaston H. Gonnet, Gina Cannarozzi |
SynPAM-A Distance Measure Based on Synonymous Codon Substitutions. |
IEEE ACM Trans. Comput. Biol. Bioinform. |
2007 |
DBLP DOI BibTeX RDF |
synonymous substitutions, evolutionary distance, SynPAM, dS, molecular evolution |
15 | Slobodan Petrovic, Katrin Franke |
Improving the Efficiency of Digital Forensic Search by Means of the Constrained Edit Distance. |
IAS |
2007 |
DBLP DOI BibTeX RDF |
|
15 | José Espírito Santo |
Completing Herbelin's Programme. |
TLCA |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Koji Nakazawa |
An Isomorphism Between Cut-Elimination Procedure and Proof Reduction. |
TLCA |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Jyotishman Pathak, Samik Basu 0001, Vasant G. Honavar |
On Context-Specific Substitutability of Web Services. |
ICWS |
2007 |
DBLP DOI BibTeX RDF |
|
15 | José Espírito Santo, Silvia Ghilezan, Jelena Ivetic |
Characterising Strongly Normalising Intuitionistic Sequent Terms. |
TYPES |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Caroline Funk, Carolin Ehm, Claudia Linnhoff-Popien, Christoph Kuhmünch |
Support of Stateful Services in Pervasive Environments. |
PerCom Workshops |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Patrik Eklund, Maria A. Galán |
On Logic with Fuzzy and Rough Powerset Monads. |
RSEISP |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Thomas Baignères, Matthieu Finiasz |
Dial C for Cipher. |
Selected Areas in Cryptography |
2006 |
DBLP DOI BibTeX RDF |
Blum-Blum-Shub generator, Block Cipher, AES, provable security, decorrelation |
15 | Ik-Soon Kim, Kwangkeun Yi, Cristiano Calcagno |
A polymorphic modal type system for lisp-like multi-staged languages. |
POPL |
2006 |
DBLP DOI BibTeX RDF |
let-polymorphism, modal types, multi-staged languages, polymorphic types, quasi-quotation, record type, type systems, lisp, ML, scheme, type inference |
15 | Maribel Fernández, Murdoch Gabbay |
Curry-Style Types for Nominal Terms. |
TYPES |
2006 |
DBLP DOI BibTeX RDF |
polymorphism, type inference, rewriting, binding |
15 | Sergey P. Shlepakov |
Functional Equations in Shostak Theories. |
CSR |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Béatrice Bérard, Paul Gastin, Antoine Petit 0001 |
Refinements and Abstractions of Signal-Event (Timed) Languages. |
FORMATS |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Erzsébet Csuhaj-Varjú, Carlos Martín-Vide, Victor Mitrana |
Hybrid networks of evolutionary processors are computationally complete. |
Acta Informatica |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Marek Vokác, Jens M. Glattetre |
Using a Domain-Specific Language and Custom Tools to Model a Multi-tier Service-Oriented Application - Experiences and Challenges. |
MoDELS |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Haisheng Dai, Xiaoyan Zhu 0001, Yupin Luo, Shiyuan Yang |
An Utterance Verification Algorithm in Keyword Spotting System. |
IbPRIA (2) |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Johan Parent, Ann Nowé, Kris Steenhaut, Anne Defaweux |
Linear genetic programming using a compressed genotype representation. |
Congress on Evolutionary Computation |
2005 |
DBLP DOI BibTeX RDF |
|
15 | JaeCheol Ha, ChangKyun Kim, Sang-Jae Moon, IlHwan Park, HyungSo Yoo |
Differential Power Analysis on Block Cipher ARIA. |
HPCC |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Thomas Fernique |
Bidimensional Sturmian Sequences and Substitutions. |
Developments in Language Theory |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Aleksey Nogin, Alexei Kopylov, Xin Yu, Jason Hickey |
A computational approach to reflective meta-reasoning about languages with bindings. |
MERLIN |
2005 |
DBLP DOI BibTeX RDF |
MetaPRL, Nuprl, languages with bindings, programming language, reflection, experimentation, type theory, higher-order abstract syntax |
15 | Kevin Donnelly, Hongwei Xi |
Combining higher-order abstract syntax with first-order abstract syntax in ATS. |
MERLIN |
2005 |
DBLP DOI BibTeX RDF |
ATS/LF, theorem proving, dependent types, higher-order abstract syntax, ATS |
15 | Brigitte Pientka |
Tabling for Higher-Order Logic Programming. |
CADE |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Thai Son Hoang, Zhendong Jin, Ken Robinson, Annabelle McIver, Carroll Morgan |
Development via Refinement in Probabilistic B - Foundation and Case Study. |
ZB |
2005 |
DBLP DOI BibTeX RDF |
|
15 | C. K. Wong, Agnes Chan |
Immediate Data Authentication for Multicast in Resource Constrained Network. |
ACISP |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Goce Jakimoski |
Unconditionally Secure Information Authentication in Presence of Erasures. |
IMACC |
2005 |
DBLP DOI BibTeX RDF |
erasure- resilient codes, erasure-tolerant authentication, message authentication, authentication codes |
15 | Hubert Comon-Lundh, Stéphanie Delaune |
The Finite Variant Property: How to Get Rid of Some Algebraic Properties. |
RTA |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Stefan Milius, Lawrence S. Moss |
The Category Theoretic Solution of Recursive Program Schemes. |
CALCO |
2005 |
DBLP DOI BibTeX RDF |
|
15 | L. P. Rai, Naresh Kumar |
S&T education in India: Prospects and challenges. |
Scientometrics |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Jie Wei |
Markov Edit Distance. |
IEEE Trans. Pattern Anal. Mach. Intell. |
2004 |
DBLP DOI BibTeX RDF |
statistical dependency, pattern recognition, dynamic programming, Markov Random Field, Edit distance, text processing |
15 | Jian Chen, Haoya Chen |
Coordination mechanism for postponement strategy with downward substitutable products. |
SMC (7) |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Kentaro Kikuchi |
A Direct Proof of Strong Normalization for an Extended Herbelin?s Calculus. |
FLOPS |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Javier Esplugas Cuadrado, Chris Preist, Stuart K. Williams |
Integration of B2B Logistics Using Semantic Web Services. |
AIMSA |
2004 |
DBLP DOI BibTeX RDF |
Semantic Web Services, SCM, Logistics, Enterprise Integration |
15 | Arkady Bolotin |
Replacing Indicator Variables by Fuzzy Membership Functions in Statistical Regression Models: Examples of Epidemiological Studies. |
ISBMDA |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Richard L. Church |
COBRA: A New Formulation of the Classic p-Median Location Problem. |
Ann. Oper. Res. |
2003 |
DBLP DOI BibTeX RDF |
integer optimization, facility location, reformulation, p-median problem |
15 | Yan Ye, Pamela C. Cosman |
Fast and memory efficient text image compression with JBIG2. |
IEEE Trans. Image Process. |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Venkatesh Choppella |
Polymorphic Type Reconstruction Using Type Equations. |
IFL |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Juan Méndez, Antonio Falcón, Javier Lorenzo 0001 |
A Procedure for Biological Sensitive Pattern Matching in Protein Sequences. |
IbPRIA |
2003 |
DBLP DOI BibTeX RDF |
Biological Pattern Analysis, Pattern Matching, Multidimensional Scaling, Sequence Alignments, SIMD Processing |
15 | Christopher Lynch |
Schematic Saturation for Decision and Unification Problems. |
CADE |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Annabelle McIver, Carroll Morgan, Thai Son Hoang |
Probabilistic Termination in B. |
ZB |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Thai Son Hoang, Zhendong Jin, Ken Robinson, Annabelle McIver, Carroll Morgan |
Probabilistic Invariants for Probabilistic Machines. |
ZB |
2003 |
DBLP DOI BibTeX RDF |
the B Method (B), Probability, probabilistic algorithms, weakest preconditions, program correctness, generalised substitutions |
15 | Malgorzata Dudkiewicz, Pawel Mackiewicz, Aleksandra Nowicka, Maria Kowalczuk, Dorota Mackiewicz, Natalia Polak, Kamila Smolarczyk, Miroslaw R. Dudek, Stanislaw Cebrat |
Properties of the Genetic Code under Directional, Asymmetric Mutational Pressure. |
International Conference on Computational Science |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Ove Edlund |
A software package for sparse orthogonal factorization and updating. |
ACM Trans. Math. Softw. |
2002 |
DBLP DOI BibTeX RDF |
downdating, software, updating, Sparse matrix, orthogonal factorization |
15 | Sidney W. A. Dekker, David D. Woods |
MABA-MABA or Abracadabra? Progress on Human-Automation Co-ordination. |
Cogn. Technol. Work. |
2002 |
DBLP DOI BibTeX RDF |
Function allocation, Computers, Automation, Cognition, Human error, Co-ordination |
15 | Costas Courcoubetis, Antonis Dimakis, George D. Stamoulis |
Traffic equivalence and subistution in a multiplexer with applications to dynamic available capacity estimation. |
IEEE/ACM Trans. Netw. |
2002 |
DBLP DOI BibTeX RDF |
available capacity, many-sources asymptotic, on-line estimation, call admission control, traffic modeling, effective bandwidth |
15 | Juan Bicarregui |
Do Not Read This. |
FME |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Anthony Cox, Charles Clarke 0001 |
Relocating XML Elements from Preprocessed to Unprocessed Code. |
IWPC |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Atsuhiro Takasu, Kenro Aihara |
DVHMM: Variable Length Text Recognition Error Model. |
ICPR (3) |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Yong Luo 0001, Zhaohui Luo, Sergei Soloviev 0001 |
Weak Transitivity in Coercive Subtyping. |
TYPES |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Takeshi Iwashita, Masaaki Shimasaki |
Block Red-Black Ordering Method for Parallel Processing of ICCG Solver. |
ISHPC |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Lu Xiao 0003, Howard M. Heys |
Hardware Design and Analysisof Block Cipher Components. |
ICISC |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Keita Teranishi, Padma Raghavan, Esmond G. Ng |
A new data-mapping scheme for latency-tolerant distributed sparse triangular solution. |
SC |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Yong Luo 0001, Zhaohui Luo |
Coherence and Transitivity in Coercive Subtyping. |
LPAR |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Klaus Wich |
Characterization of Context-Free Languages with Polynomially Bounded Ambiguity. |
MFCS |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Harald Ganzinger, Robert Nieuwenhuis, Pilar Nivela |
Context Trees. |
IJCAR |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Kenji Masui, Masahiko Tomoishi, Naoki Yonezaki |
Design of UNIX System for the Prevention of Damage Propagation by Intrusion and Its Implementation Based on 4.4BSD. |
ISC |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Martin Sulzmann |
A General Type Inference Framework for Hindley/Milner Style Systems. |
FLOPS |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Eduardo Bonelli, Delia Kesner, Alejandro Ríos 0001 |
From Higher-Order to First-Order Rewriting. |
RTA |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Michio Oyamaguchi, Yoshikatsu Ohta |
The Unification Problem for Confluent Right-Ground Term Rewriting Systems. |
RTA |
2001 |
DBLP DOI BibTeX RDF |
|
15 | István Miklós, Zoltán Toroczkai |
An Improved Model for Statistical Alignment. |
WABI |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Patricia Johann |
Short Cut Fusion: Proved and Improved. |
SAIG |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Gérard Ramstein, Pascal Bunelle, Yannick Jacques |
Discovery of Ambiguous Patterns in Sequences: Application to Bioinformatics. |
PKDD |
2000 |
DBLP DOI BibTeX RDF |
|
15 | Miki Tanaka |
Abstract Syntax and Variable Binding for Linear Binders. |
MFCS |
2000 |
DBLP DOI BibTeX RDF |
|
15 | Seokhie Hong, Sangjin Lee 0002, Jongin Lim 0001, Jaechul Sung, Dong Hyeon Cheon, Inho Cho |
Provable Security against Differential and Linear Cryptanalysis for the SPN Structure. |
FSE |
2000 |
DBLP DOI BibTeX RDF |
|
15 | Symeon Bozapalidis |
Equational Elements in Additive Algebras. |
Theory Comput. Syst. |
1999 |
DBLP DOI BibTeX RDF |
|
15 | Murdoch Gabbay, Andrew M. Pitts |
A New Approach to Abstract Syntax Involving Binders. |
LICS |
1999 |
DBLP DOI BibTeX RDF |
permutation models, set theory, binding, abstract syntax |
15 | Marcelo P. Fiore, Gordon D. Plotkin, Daniele Turi |
Abstract Syntax and Variable Binding. |
LICS |
1999 |
DBLP DOI BibTeX RDF |
categorical models and logics, type theory and type systems, semantics, lambda calculus, abstract syntax, universal algebra, variable binding |
15 | Susanne Boll, Wolfgang Klas, Jochen Wandel |
A cross-media adaptation strategy for multimedia presentations. |
ACM Multimedia (1) |
1999 |
DBLP DOI BibTeX RDF |
quality of information, adaptation, multimedia presentation, multimedia authoring |
15 | Jean Goubault-Larrecq |
Conjunctive Types and SKInT. |
TYPES |
1998 |
DBLP DOI BibTeX RDF |
|
15 | Bruno Pagano |
X.R.S : Explicit Reduction Systems - A First-Order Calculus for Higher-Order Calculi. |
CADE |
1998 |
DBLP DOI BibTeX RDF |
|
15 | Olivier Danvy, Kristoffer Høgsbro Rose |
Higher-Order Rewriting and Partial Evaluation. |
RTA |
1998 |
DBLP DOI BibTeX RDF |
|
15 | Sarah Mallet, Mireille Ducassé |
Myrtle: A Set-Oriented Meta-Interpreter Driven by a "Relational" Trace for Deductive Databases Debugging. |
LOPSTR |
1998 |
DBLP DOI BibTeX RDF |
|
15 | Gilles Barthe, Fairouz Kamareddine, Alejandro Ríos 0001 |
Explicit Substitutions for the Lambda-Calculus. |
ALP/HOA |
1997 |
DBLP DOI BibTeX RDF |
|
15 | Charles Lakos |
The Consistent Use of Names and Polymorphism in the Definition of Object Petri Nets. |
Application and Theory of Petri Nets |
1996 |
DBLP DOI BibTeX RDF |
Theory of High-Level Petri Nets, Multiple Levels of Abstraction, Object-Orientation |
15 | Shinn-Der Lee, Daniel P. Friedman |
Enriching the Lambda Calculus with Contexts: Toward a Theory of Incremental Program Construction. |
ICFP |
1996 |
DBLP DOI BibTeX RDF |
|
15 | Ron Sass, Matt W. Mutka |
Enabling unimodular transformations. |
SC |
1994 |
DBLP DOI BibTeX RDF |
FORTRAN |
15 | Hugo Herbelin |
A Lambda-Calculus Structure Isomorphic to Gentzen-Style Sequent Calculus Structure. |
CSL |
1994 |
DBLP DOI BibTeX RDF |
|
Displaying result #301 - #400 of 3212 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ >>] |
|