The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1962-1979 (16) 1980-1984 (20) 1985-1987 (19) 1988-1989 (17) 1990-1991 (28) 1992 (24) 1993 (23) 1994 (33) 1995 (31) 1996 (32) 1997 (37) 1998 (51) 1999 (57) 2000 (65) 2001 (77) 2002 (111) 2003 (131) 2004 (173) 2005 (202) 2006 (218) 2007 (235) 2008 (215) 2009 (243) 2010 (82) 2011 (69) 2012 (92) 2013 (76) 2014 (80) 2015 (64) 2016 (59) 2017 (84) 2018 (69) 2019 (86) 2020 (69) 2021 (80) 2022 (81) 2023 (85) 2024 (28)
Publication types (Num. hits)
article(1146) book(1) data(2) incollection(17) inproceedings(1976) phdthesis(20)
Venues (Conferences, Journals, ...)
CoRR(131) J. Chem. Inf. Model.(123) J. Comput. Aided Mol. Des.(60) CSL(58) J. Comput. Chem.(58) LICS(47) Bioinform.(41) LPAR(36) FoSSaCS(27) PODS(27) ICALP(24) J. Cheminformatics(24) Stud Logica(24) TIME(22) BMC Bioinform.(20) CONCUR(20) More (+10 of total 1110)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 1710 occurrences of 1136 keywords

Results
Found 3162 publication records. Showing 3162 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
26Chad E. Brown, Gert Smolka Terminating Tableaux for the Basic Fragment of Simple Type Theory. Search on Bibsonomy TABLEAUX The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
26Aleksy Schubert The Existential Fragment of the One-Step Parallel Rewriting Theory. Search on Bibsonomy RTA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
26Vamsi Kundeti, Sanguthevar Rajasekaran A local structural alignment algorithm with Variable Length Alignment Fragment Pairs. Search on Bibsonomy BIBE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
26Hongwei Wu PCA-based linear combinations of oligonucleotide frequencies for metagenomic DNA fragment binning. Search on Bibsonomy CIBCB The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
26Gaëlle Fontaine Continuous Fragment of the mu-Calculus. Search on Bibsonomy CSL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Scott continuity, constructive fixpoints, preservation results, automata, mu-calculus
26Jianhua Feng, Yuguo Liao, Yong Zhang 0002 HCH for Checking Containment of XPath Fragment. Search on Bibsonomy J. Comput. Sci. Technol. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF conditioned homomorphism, XML, XPath, query containment, computer software, tree pattern
26Roberto Maieli Retractile Proof Nets of the Purely Multiplicative and Additive Fragment of Linear Logic. Search on Bibsonomy LPAR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
26Emanuel Kieronski, Lidia Tendera On Finite Satisfiability of the Guarded Fragment with Equivalence or Transitive Guards. Search on Bibsonomy LPAR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
26Junchang Ma, Zhimin Gu Fragment-Based Delta Encoding: A New Scheme for Efficient Delivery of Dynamic Web Pages. Search on Bibsonomy CIT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
26Ashkan Bayati, Pedram Ghodsnia, Maseud Rahgozar, Reza Basseda A Novel Way of Determining the Optimal Location of a Fragment in a DDBS: BGBR. Search on Bibsonomy ICSNC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
26Linh Anh Nguyen A Bottom-Up Method for the Deterministic Horn Fragment of the Description Logic ALC. Search on Bibsonomy JELIA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
26Binglong Li, QingXian Wang, Junyong Luo Forensic Analysis of Document Fragment Based on SVM. Search on Bibsonomy IIH-MSP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
26Jan Meseth, Michael Guthe, Reinhard Klein Interactive fragment tracing. Search on Bibsonomy Vis. Comput. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Interactive reflections, GPU-based rendering, Ray tracing
26Hidetaka Matsumura, Keishi Tajima Incremental evaluation of a monotone XPath fragment. Search on Bibsonomy CIKM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF XML, query, XPath, continuous, view, materialized view, view maintenance, incremental evaluation
26Stefano Aguzzoli, Brunella Gerla Normal Forms for the One-Variable Fragment of Hájek's Basic Logic. Search on Bibsonomy ISMVL The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
26Regimantas Pliuskevicius, Aida Pliuskeviciene Decision Procedure for a Fragment of Mutual Belief Logic with Quantified Agent Variables. Search on Bibsonomy CLIMA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
26Zohra Bellahsene View Adaptation in the Fragment-Based Approach. Search on Bibsonomy IEEE Trans. Knowl. Data Eng. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF data warehouse evolution, view redefinition, Materialized views, view synchronization, view adaptation
26Alberto Trombetta, Danilo Montesi Equivalences and Optimizations in an Expressive XSLT Fragment. Search on Bibsonomy IDEAS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
26In-Yee Lee, Ta-tsen Soong, Jan-Ming Ho, Ming-Jing Hwang Derivation and Analysis of Fragment Libraries of Protein Structures. Search on Bibsonomy BIBE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
26Theresa Foley, Mike Houston, Pat Hanrahan Efficient partitioning of fragment shaders for multiple-output hardware. Search on Bibsonomy Graphics Hardware The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
26Ki-Chang Kim, Jin Soo Hwang, Byung Yong Kim, Soo Duk Kim Tagged Fragment Marking Scheme with Distance-Weighted Sampling for a Fast IP Traceback. Search on Bibsonomy APWeb The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
26Filippo Mignosi, Antonio Restivo, Marinella Sciortino Forbidden Factors and Fragment Assembly. Search on Bibsonomy Developments in Language Theory The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
26Hans de Nivelle, Ian Pratt-Hartmann A Resolution-Based Decision Procedure for the Two-Variable Fragment with Equality. Search on Bibsonomy IJCAR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
26Shimon Ullman, Erez Sali Object Classification Using a Fragment-Based Representation. Search on Bibsonomy Biologically Motivated Computer Vision The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
26Harald Ganzinger, Hans de Nivelle A Superposition Decision Procedure for the Guarded Fragment with Equality. Search on Bibsonomy LICS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
26Fang Liu, Meng-Cheng Huang, Xuehui Liu, Enhua Wu Efficient depth peeling via bucket sort. Search on Bibsonomy High Performance Graphics The full citation details ... 2009 DBLP  DOI  BibTeX  RDF depth peeling, max/min blending, multiple render target (MRT), order independent transparency (OIT), graphics hardware, histogram equalization, bucket sort
26Rose H. Abdul Rauf, Ulrich Berger 0001, Anton Setzer A Provably Correct Translation of the lambda -Calculus into a Mathematical Model of C++. Search on Bibsonomy Theory Comput. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Simply typed lambda-calculus, Kripke-style logical relation, Object-oriented programming, Functional programming, Inheritance, Denotational semantics, Correctness proof
26Felipe G. Dias, Eber A. Schmitz, Maria Luiza Machado Campos, Alexandre L. Correa, Antonio J. Alencar Elaboration of use case specifications: an approach based on use case fragments. Search on Bibsonomy SAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF information systems specification, use case fragments, use cases
26Minzhu Xie, Jianxin Wang 0001, Jianer Chen A Practical Parameterized Algorithm for the Individual Haplotyping Problem MLF. Search on Bibsonomy TAMC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF SNP (single-nucleotide polymorphism), MLF (Minimum Letter Flip), NP-hardness, haplotype, parameterized algorithm
26Joe Dundas, T. Andrew Binkowski, Bhaskar DasGupta, Jie Liang 0002 Topology Independent Protein Structural Alignment. Search on Bibsonomy WABI The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
26Anatoli Degtyarev, Michael Fisher 0001, Boris Konev Monodic temporal resolution. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Temporal logic, resolution, automated theorem proving
26Félix Bou, Àngel García-Cerdaña, Ventura Verdú On two fragments with negation and without implication of the logic of residuated lattices. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Mathematics Subject Classification (2000) 03B47, 03F99, 06D15, 06B99, 03B50
26Aaron R. Bradley, Zohar Manna, Henny B. Sipma What's Decidable About Arrays? Search on Bibsonomy VMCAI The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
26Rajeev Alur, Salvatore La Torre Deterministic generators and games for Ltl fragments. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Games, Temporal Logic, Automata
26Ian Pratt-Hartmann Fragments of Language. Search on Bibsonomy J. Log. Lang. Inf. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF decidable fragments, computational complexity, semantics, logic
26Benjamin N. Grosof, Ian Horrocks 0001, Raphael Volz, Stefan Decker Description logic programs: combining logic programs with description logic. Search on Bibsonomy WWW The full citation details ... 2003 DBLP  DOI  BibTeX  RDF ontologies, XML, semantic web, interoperability, knowledge representation, logic programs, RDF, description logic, rules, information integration, translation, model-theoretic semantics, inferencing
26Romeo Rizzi, Vineet Bafna, Sorin Istrail, Giuseppe Lancia Practical Algorithms and Fixed-Parameter Tractability for the Single Individual SNP Haplotyping Problem. Search on Bibsonomy WABI The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
23Markus Graswald, Hendrik Rothe Terminal ballistics of intercept ammunition against mortar targets. Search on Bibsonomy SpringSim The full citation details ... 2008 DBLP  DOI  BibTeX  RDF ammunition consumption, blast effect, fragment impact, physical modeling, statistical approach
23Satoshi Fujishima, Yoshimasa Takahashi, Katsumi Nishikori, Hiroaki Kato, Takashi Okada Extended Study of the Classification of Dopamine Receptor Agonists and Antagonists using a TFS-based Support Vector Machine. Search on Bibsonomy New Gener. Comput. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Topological Fragment Spectra, Dopamine Agonists, Dopamine Antagonists, Support Vector Machine, Pattern Classification
23Guan-Chun Luh, Chung-Huei Chueh Job Shop Scheduling Optimization Using Multi-modal Immune Algorithm. Search on Bibsonomy IEA/AIE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF multi-modal immune algorithm, clonal proliferation, Gene fragment recombination, antibody diversification, job-shop scheduling problem
23Natarajan Kannan, Toufeeq Hussain Live URLs: breathing life into URLs. Search on Bibsonomy WWW The full citation details ... 2006 DBLP  DOI  BibTeX  RDF fragment identifier, web addressing, HTML, HTTP, browsers, web content, ACM proceedings, URL
23Takashi Kanai, Yutaka Ohtake, Hiroaki Kawata, Kiwamu Kase GPU-based rendering of sparse low-degree implicit surfaces. Search on Bibsonomy GRAPHITE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF SLIM, fragment program, GPU, implicit surface, ray casting
23Joachim Biskup, Piero A. Bonatti Controlled Query Evaluation with Open Queries for a Decidable Relational Submodel. Search on Bibsonomy FoIKS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Complete information system, Open query, Safe query, Domain-independent query, Bernays-Schönfinkel class, Completeness test, Relational database, Confidentiality, First-order logic, Finite model theory, Guarded fragment, Lying, Refusal, Implication problem, Controlled query evaluation
23Nick Lowe, Amitava Datta A New Technique for Rendering Complex Portals. Search on Bibsonomy IEEE Trans. Vis. Comput. Graph. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Portal-based rendering, fragment-culling, dual-depth-buffer, scene composition, complex portals
23Chun Yuan, Yu Chen, Zheng Zhang 0001 Evaluation of Edge Caching/Offloading for Dynamic Content Delivery. Search on Bibsonomy IEEE Trans. Knowl. Data Eng. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF fragment caching, page composition, dynamic content, offloading, Edge caching
23Colleen Shannon, David Moore 0001, Kimberly C. Claffy Beyond folklore: observations on fragmented traffic. Search on Bibsonomy IEEE/ACM Trans. Netw. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Internet, measurement, TCP/IP, IP, fragment, fragmentation, traffic measurement
23Ron Steinfeld, Laurence Bull, Yuliang Zheng 0001 Content Extraction Signatures. Search on Bibsonomy ICISC The full citation details ... 2001 DBLP  DOI  BibTeX  RDF fragment-extraction, content blinding, fact verification, content verification, digital signatures, provable security, Content-extraction
23Colleen Shannon, David Moore 0001, Kimberly C. Claffy Characteristics of fragmented IP traffic on internet links. Search on Bibsonomy Internet Measurement Workshop The full citation details ... 2001 DBLP  DOI  BibTeX  RDF CoralReef, Internet, TCP/IP, fragment, fragmentation
23Song Ci, Hamid Sharif Adaptive Approaches to Enhance Throughput of IEEE 802.11 Wireless LAN with Bursty Channel. Search on Bibsonomy LCN The full citation details ... 2000 DBLP  DOI  BibTeX  RDF bursty channel, back-off based fragment adaptive algorithms, channel throughput, system end-to-end delay reduction, wireless LAN, delays, throughput, noise, adaptive systems, simulation results, telecommunication standards, IEEE standards, telecommunication channels, IEEE 802.11 wireless LAN, noisy channel
23Hideo Nagumo, Mi Lu, Karan L. Watson Parallel Parsing Algorithms for Static Dictionary Compression. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF dictionary techniques, optimal parsing, longest fragment first parsing, parallel algorithms, Data compression, PRAM
23Phan Hong Giang Representation of Uncertain Belief Using Interval Probability. Search on Bibsonomy ISMVL The full citation details ... 1997 DBLP  DOI  BibTeX  RDF uncertain belief representation, interval probability, representation equivalence, probabilistic closures, consequence relations, non-tautological fragment, probability distribution, uncertainty handling, convex set
23Maria Letizia Jaccheri Reusing software process models in E3. Search on Bibsonomy ISPW The full citation details ... 1996 DBLP  DOI  BibTeX  RDF software process model reuse, E/sup 3/, Environment for Experimenting and Evolving software processes, process elicitation, process reuse, fragment storage, graphical user interface, software tool, object-oriented database, software reusability, object oriented language, associations, consistency management, process modeling language, process specification
23Tatsuya Akutsu, Kentaro Onizuka, Masato Ishikawa New hashing techniques and their application to a protein structure database system. Search on Bibsonomy HICSS (5) The full citation details ... 1995 DBLP  DOI  BibTeX  RDF protein structure database system, hash vector, fixed length fragment, three dimensional protein structure, true hash vectors, root mean square deviation, PDB data, PROTEIX, database management systems, database management system, file organisation, biology computing, proteins, protein structures, structural similarity, molecular configurations, molecular biophysics, hashing techniques
23Darren M. Platt, Trevor I. Dix A model for comparing genomic restriction maps. Search on Bibsonomy HICSS (5) The full citation details ... 1995 DBLP  DOI  BibTeX  RDF genomic restriction map comparison, genetic physical maps, genomic extracts, plausible maps, minimum message length principles, fragment length data, clone fingerprinting, sequence tagged sites, map structure, mapping program, error parameters, mapping process, uncertainties, statistical analysis, errors, DNA, DNA, genetics, biology computing, objective function, optimal solution
23Eric Platt, Barry Robson Practical use of a fully automatic homology-based protein modelling protocol. Search on Bibsonomy HICSS (5) The full citation details ... 1995 DBLP  DOI  BibTeX  RDF fully automatic homology-based protein modelling protocol, tertiary structure prediction, HOM FOLD, fragment-based approach, GLOBAL language, energy refinement, X-ray crystallographic data, reproducibilty, 1.80 angstrom, rule based system, interactive modelling, biology computing, proteins, algorithm performance, molecular configurations, molecular biophysics
23Chengwen Liu, Clement T. Yu Performance Issues in Distributed Query Processing. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF pipeline strategies, fragment and replicate strategy, partition and replicate strategy, queryexecution, queryprocessing, performance evaluation, distributed databases, database theory, response times, distributed query processing, local reduction, performance issues
19Mark Menor, Kyungim Baek, Mahdi Belcaid, Yannick Gingras, Guylaine Poisson Virus DNA-fragment classification using taxonomic hidden Markov model profiles. Search on Bibsonomy SAC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF machine learning, annotation, viruses, metagenomics
19 HTML Fragment. Search on Bibsonomy Encyclopedia of Database Systems The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
19Liang Xu, Wei Chen 0018, Yanyan Xu 0001, Wenhui Zhang Improved Bounded Model Checking for the Universal Fragment of CTL. Search on Bibsonomy J. Comput. Sci. Technol. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF model checking algorithm, ACTL, SAT, software verification, bounded model checking
19Francesco Belardinelli, Alessio Lomuscio First-Order Linear-Time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment. Search on Bibsonomy WoLLIC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
19Wei Zheng 0009, Karl E. Griswold, Chris Bailey-Kellogg Protein Fragment Swapping: A Method for Asymmetric, Selective Site-Directed Recombination. Search on Bibsonomy RECOMB The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
19Jian Gong, David W. Cheung, Nikos Mamoulis, Ben Kao XML Data Integration Using Fragment Join. Search on Bibsonomy DASFAA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
19Andrea Masini, Luca Viganò 0001, Marco Volpe 0001 A Labeled Natural Deduction System for a Fragment of CTL*. Search on Bibsonomy LFCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
19André O. Falcão, Daniel Faria, António E. N. Ferreira Peptide programs: applying fragment programs to protein classification. Search on Bibsonomy DTMBIO The full citation details ... 2008 DBLP  DOI  BibTeX  RDF machine learning, classification, bioinformatics, proteins
19Márcio Dorn, Osmar Norberto de Souza CReF: a central-residue-fragment-based method for predicting approximate 3-D polypeptides structures. Search on Bibsonomy SAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF 3-D protein structure prediction, CReF, ab initio, de novo, knowledge-based methods, scientific data bases
19Viswanathan Srikrishnan, Tadinada Nagaraj, Subhasis Chaudhuri Fragment Based Tracking for Scale and Orientation Adaptation. Search on Bibsonomy ICVGIP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
19Sylvain Hallé, Roger Villemaire Satisfying a Fragment of XQuery by Branching-Time Reduction. Search on Bibsonomy TIME The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
19Jacques Duparc, Alessandro Facchini Describing the Wadge Hierarchy for the Alternation Free Fragment of µ-Calculus (I). Search on Bibsonomy CiE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Wadge games, topological complexity, parity games, weakly alternating automata, ?-calculus
19Lin-Wang Wang, Byounghak Lee, Hongzhang Shan, Zhengji Zhao, Juan C. Meza, Erich Strohmaier, David H. Bailey Linearly scaling 3D fragment method for large-scale electronic structure calculations. Search on Bibsonomy SC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
19Benny Kimelfeld, Yehoshua Sagiv Revisiting redundancy and minimization in an XPath fragment. Search on Bibsonomy EDBT The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
19Duane Merrill, Kim M. Hazelwood Trace fragment selection within method-based JVMs. Search on Bibsonomy VEE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF region selection, JVM, traces, JIT compilation
19Roland Axelsson, Martin Lange Model Checking the First-Order Fragment of Higher-Order Fixpoint Logic. Search on Bibsonomy LPAR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
19Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler Conjunctive Queries for a Tractable Fragment of OWL 1.1. Search on Bibsonomy ISWC/ASWC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
19Chin-Fu Kuo, Hsueh-Wen Tseng, Ai-Chun Pang A fragment-based retransmission scheme with QoS considerations for wireless networks. Search on Bibsonomy IWCMC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF QoS, wireless networks, retransmission
19Michael Lawrence, Frank K. H. A. Dehne, Andrew Rau-Chaplin Implementing OLAP Query Fragment Aggregation and Recombination for the OLAP Enabled Grid. Search on Bibsonomy IPDPS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
19Sangwook Lee, Jin Kim, Hyunchul Kang XFLab: A Technique of Query Processing over XML Fragment Stream. Search on Bibsonomy BNCOD The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
19José Baiocchi, Bruce R. Childers, Jack W. Davidson, Jason Hiser, Jonathan Misurda Fragment cache management for dynamic binary translators in embedded systems with scratchpad. Search on Bibsonomy CASES The full citation details ... 2007 DBLP  DOI  BibTeX  RDF embedded systems, dynamic binary translation, scratchpad
19Enrique Alba 0001, Gabriel Luque Performance of Distributed GAs on DNA Fragment Assembly. Search on Bibsonomy Parallel Evolutionary Computations The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
19Junchang Ma, Zhimin Gu Finding Shared Fragments in Large Collections of Web Pages for Fragment-Based Web Caching. Search on Bibsonomy NCA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
19Hans-Michael Kaltenbach, Sebastian Böcker, Sven Rahmann Markov Additive Chains and Applications to Fragment Statistics for Peptide Mass Fingerprinting. Search on Bibsonomy Systems Biology and Computational Proteomics The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
19Damiano Zanardini Abstract non-interference in a fragment of Java bytecode. Search on Bibsonomy SAC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
19Erqing Xu Extending HPSG Towards HDS as a Fragment of pCLL. Search on Bibsonomy PRICAI The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
19Yuguo Liao, Jianhua Feng, Yong Zhang 0002, Lizhu Zhou Hidden Conditioned Homomorphism for XPath Fragment Containment. Search on Bibsonomy DASFAA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
19Prawee Sriplakich, Xavier Blanc 0001, Marie-Pierre Gervais Applying Model Fragment Copy-Restore to Build an Open and Distributed MDA Environment. Search on Bibsonomy MoDELS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
19Andreas Herzig, Ivan José Varzinczak A Modularity Approach for a Fragment of ALC. Search on Bibsonomy JELIA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Knowledge representation, modularity, description logics
19Andreas Opelt, Axel Pinz, Andrew Zisserman A Boundary-Fragment-Model for Object Detection. Search on Bibsonomy ECCV (2) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
19Klaus Aehlig, Jan Johannsen An elementary fragment of second-order lambda calculus. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Elementary recursive functions, complexity, lambda calculus, second order logic
19Dirk Leinders, Maarten Marx, Jerzy Tyszkiewicz, Jan Van den Bussche The Semijoin Algebra and the Guarded Fragment. Search on Bibsonomy J. Log. Lang. Inf. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF guarded logic, databases, relational algebra, semijoin
19Domenico Cantone, Calogero G. Zarba, Rosa Ruggeri Cannata A Tableau-Based Decision Procedure for a Fragment of Set Theory with Iterated Membership. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF semantic tableau, set theory, decision procedure
19Jim Challenger, Paul Dantzig, Arun Iyengar, Karen Witting A fragment-based approach for efficiently creating dynamic web content. Search on Bibsonomy ACM Trans. Internet Techn. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Caching, Web, fragments, publishing, dynamic content, Web performance
19Domenico Cantone, Calogero G. Zarba A Tableau-Based Decision Procedure for a Fragment of Graph Theory Involving Reachability and Acyclicity. Search on Bibsonomy TABLEAUX The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
19Gerome Miklau, Dan Suciu Containment and equivalence for a fragment of XPath. Search on Bibsonomy J. ACM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF XPath expressions, query containment, Tree pattern matching, query equivalence
19Pavel A. Pevzner, Haixu Tang, Glenn Tesler De novo repeat classification and fragment assembly. Search on Bibsonomy RECOMB The full citation details ... 2004 DBLP  DOI  BibTeX  RDF repeat analysis, sequence assembly, multiple alignment
19Yevgeny Kazakov, Hans de Nivelle A Resolution Decision Procedure for the Guarded Fragment with Transitive Guards. Search on Bibsonomy IJCAR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
19Anuj Dawar, David Janin On the Bisimulation Invariant Fragment of Monadic S1 in the Finite. Search on Bibsonomy FSTTCS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
19Iddo Drori, Daniel Cohen-Or, Hezy Yeshurun Fragment-based image completion. Search on Bibsonomy ACM Trans. Graph. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF digital matting, example-based synthesis, compositing, image completion
19Kevin Watkins, Iliano Cervesato, Frank Pfenning, David Walker 0001 A Concurrent Logical Framework: The Propositional Fragment. Search on Bibsonomy TYPES The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
19Nick Lowe, Amitava Datta A Fragment Culling Technique for Rendering Arbitrary Portals. Search on Bibsonomy International Conference on Computational Science The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
19G. S. Athwal, S. Leclaire, Randy E. Ellis, David R. Pichora Two Bone Fragment Manipulation in Computer-Assisted Preoperative Planning: Restoration of the Radial Bow. Search on Bibsonomy MICCAI (2) The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
19Daniele Masotti DNA-Tract Curvature Profile Reconstruction: A Fragment Flipping Algorithm. Search on Bibsonomy Discovery Science The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
Displaying result #101 - #200 of 3162 (100 per page; Change: )
Pages: [<<][1][2][3][4][5][6][7][8][9][10][11][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license