The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1963-1980 (15) 1981-1988 (15) 1989-1993 (20) 1994-1995 (15) 1996 (16) 1997-1998 (28) 1999 (29) 2000 (24) 2001 (32) 2002 (38) 2003 (38) 2004 (53) 2005 (69) 2006 (63) 2007 (78) 2008 (76) 2009 (46) 2010 (28) 2011 (21) 2012 (23) 2013 (17) 2014 (37) 2015 (54) 2016 (41) 2017 (40) 2018 (60) 2019 (56) 2020 (75) 2021 (53) 2022 (68) 2023 (77) 2024 (22)
Publication types (Num. hits)
article(466) book(1) incollection(6) inproceedings(840) phdthesis(14)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 567 occurrences of 438 keywords

Results
Found 1327 publication records. Showing 1327 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
71Alexander Hertel, Philipp Hertel, Alasdair Urquhart Formalizing Dangerous SAT Encodings. Search on Bibsonomy SAT The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
71Dawson R. Engler, Wilson C. Hsieh Derive: a tool that automatically reverse-engineers instruction encodings. Search on Bibsonomy Dynamo The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
65Miroslav N. Velev Exploiting hierarchy and structure to efficiently solve graph coloring as SAT. Search on Bibsonomy ICCAD The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
64Jeff Clune, Benjamin E. Beckmann, Philip K. McKinley, Charles Ofria Investigating whether hyperNEAT produces modular neural networks. Search on Bibsonomy GECCO The full citation details ... 2010 DBLP  DOI  BibTeX  RDF developmental encodings, generative encodings, artificial neural networks, modularity, neuroevolution, neat, indirect encodings, hyperneat
61João Marques-Silva 0001, Inês Lynce Towards Robust CNF Encodings of Cardinality Constraints. Search on Bibsonomy CP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
58Josep Argelich, Alba Cabiscol, Inês Lynce, Felip Manyà Encoding Max-CSP into Partial Max-SAT. Search on Bibsonomy ISMVL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Minimal Support, Max-CSP, Partial Max-SAT, Encodings
55Stephan Eggersglüß, Rolf Drechsler On the Influence of Boolean Encodings in SAT-Based ATPG for Path Delay Faults. Search on Bibsonomy ISMVL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Boolean Encodings, ATPG, SAT, Path Delay Faults
55Prasad Pingali, Jagadeesh Jagarlamudi, Vasudeva Varma WebKhoj: Indian language IR from multiple character encodings. Search on Bibsonomy WWW The full citation details ... 2006 DBLP  DOI  BibTeX  RDF non-standard encodings, web search, Indian languages
52Miroslav N. Velev, Ping Gao 0002 Comparison of Boolean Satisfiability Encodings on FPGA Detailed Routing Problems. Search on Bibsonomy DATE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
52Yanpei Chen, Tracy Xiaoxiao Wang, Randy H. Katz Energy efficient Ethernet encodings. Search on Bibsonomy LCN The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
52Vijay Arya, Thierry Turletti, Shivkumar Kalyanaraman Encodings of Multicast Trees. Search on Bibsonomy NETWORKING The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
49Alessandro Armando, Luca Compagna, Pierre Ganty SAT-Based Model-Checking of Security Protocols Using Planning Graph Analysis. Search on Bibsonomy FME The full citation details ... 2003 DBLP  DOI  BibTeX  RDF SAT encodings, security protocols, bounded model-checking, SAT-solvers
46Byung Ro Moon, Chun-Kyung Kim Genetic VLSI circuit partitioning with dynamic embedding. Search on Bibsonomy KES (2) The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
46K. Rustan M. Leino Computing Permutation Encodings. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Permutation encodings, Inversion table, Code of an array, Program derivation, Program inversion
43Sung-Soon Choi, Byung Ro Moon Normalization for Genetic Algorithms With Nonsynonymously Redundant Encodings. Search on Bibsonomy IEEE Trans. Evol. Comput. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
43C. Sinan Güntürk Simultaneous and hybrid beta-encodings. Search on Bibsonomy CISS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
43Sebastian Brand, Nina Narodytska, Claude-Guy Quimper, Peter J. Stuckey, Toby Walsh Encodings of the Sequence Constraint. Search on Bibsonomy CP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
43Cosmin Bonchis, Gabriel Ciobanu, Cornel Izbasa Encodings and Arithmetic Operations in Membrane Computing. Search on Bibsonomy TAMC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
43Dhananjay S. Phatak, Israel Koren Intermediate Variable Encodings that Enable Multiplexor-Based Implementations of Two Operand Addition. Search on Bibsonomy IEEE Symposium on Computer Arithmetic The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
40Joseph Reisinger, Kenneth O. Stanley, Risto Miikkulainen Towards an empirical measure of evolvability. Search on Bibsonomy GECCO Workshops The full citation details ... 2005 DBLP  DOI  BibTeX  RDF genetic algorithms, representations, development, evolvability, indirect encodings, genetic regulatory networks
37Josep Argelich, Alba Cabiscol, Inês Lynce, Felip Manyà Modelling Max-CSP as Partial Max-SAT. Search on Bibsonomy SAT The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
37Jay Cheng, Tien-Ke Huang, Claudio Weidmann New Bounds on the Expected Length of Optimal One-to-One Codes. Search on Bibsonomy IEEE Trans. Inf. Theory The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
37Jay Cheng, Tien-Ke Huang Upper bounds on exponentiated expected length of optimal one-to-one codes. Search on Bibsonomy IWCMC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF anti-redundancy, non-prefix codes, one-to-one codes, source coding
37Jay Cheng, Tien-Ke Huang New Lower and Upper Bounds on the Expected Length of Optimal One-to-One Codes. Search on Bibsonomy DCC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
37Steven D. Prestwich Local Search on SAT-encoded Colouring Problems. Search on Bibsonomy SAT The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
37Christian Bessière, Emmanuel Hebrard, Toby Walsh Local Consistencies in SAT. Search on Bibsonomy SAT The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
37Mark A. Iwen, Amol Dattatraya Mali DSatz: A Directional SAT Solver for Planning. Search on Bibsonomy ICTAI The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
37Olivier Raynaud, Eric Thierry A Quasi Optimal Bit-Vector Encoding of Tree Hierarchies. Application to Efficient Type Inclusion Tests. Search on Bibsonomy ECOOP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
36Josep Argelich, Alba Cabiscol, Inês Lynce, Felip Manyà New Insights into Encodings from MaxCSP into Partial MaxSAT. Search on Bibsonomy ISMVL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF MaxCSP, Partial MaxSAT, Encodings
36Alan M. Frisch, Timothy J. Peugniez, Anthony J. Doggett, Peter Nightingale Solving Non-Boolean Satisfiability Problems with Stochastic Local Search: A Comparison of Encodings. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF local search, encodings, satisfiability, propositional logic
36Thomas M. Conte, Sanjeev Banerjia, Sergei Y. Larin, Kishore N. Menezes, Sumedh W. Sathaye Instruction Fetch Mechanisms for VLIW Architectures with Compressed Encodings. Search on Bibsonomy MICRO The full citation details ... 1996 DBLP  DOI  BibTeX  RDF TINKER experimental testbed, compressed encodings, compressed instruction encoding, i-fetch hardware, instruction fetch mechanisms, instruction words, multiple instruction issue, silo cache, parallel architectures, trace-driven simulations, instruction cache, VLIW architectures
34Josep Argelich, Alba Cabiscol, Inês Lynce, Felip Manyà Sequential Encodings from Max-CSP into Partial Max-SAT. Search on Bibsonomy SAT The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
34Adam Poswolsky, Carsten Schürmann 0001 Practical Programming with Higher-Order Encodings and Dependent Types. Search on Bibsonomy ESOP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
34Jori Dubrovin, Tommi A. Junttila, Keijo Heljanko Symbolic Step Encodings for Object Based Communicating State Machines. Search on Bibsonomy FMOODS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
34Chien-Chung Chan, Gwo-Hshiung Tzeng Computing Approximations of Dominance-Based Rough Sets by Bit-Vector Encodings. Search on Bibsonomy RSCTC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Dominance-based rough sets, Multiple criteria decision analysis (MCDA), Rough sets, Approximate reasoning
34Jan Drchal, Miroslav Snorek Tree-Based Indirect Encodings for Evolutionary Development of Neural Networks. Search on Bibsonomy ICANN (2) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
34Brecht Wyseur, Wil Michiels, Paul Gorissen, Bart Preneel Cryptanalysis of White-Box DES Implementations with Arbitrary External Encodings. Search on Bibsonomy Selected Areas in Cryptography The full citation details ... 2007 DBLP  DOI  BibTeX  RDF White-Box Cryptography, Cryptanalysis, DES, Data Encryption Standard, Obfuscation
34Cosmin Bonchis, Cornel Izbasa, Gabriel Ciobanu Number Encodings and Arithmetics over Multisets. Search on Bibsonomy SYNASC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
34Carsten Schürmann 0001, Adam Poswolsky, Jeffrey Sarnat The [triangle]-Calculus. Functional Programming with Higher-Order Encodings. Search on Bibsonomy TLCA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
34L. Darrell Whitley, Jonathan E. Rowe Gray, Binary and Real Valued Encodings: Quad Search and Locality Proofs. Search on Bibsonomy FOGA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
34Dipankar Das 0002, Rajeev Kumar 0004, P. P. Chakrabarti 0001 Dictionary Based Code Compression for Variable Length Instruction Encodings. Search on Bibsonomy VLSI Design The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
34Nikos Samaras, Kostas Stergiou 0001 Arc Consistency in Binary Encodings of Non-binary CSPs: Theoretical and Experimental Evaluation. Search on Bibsonomy SETN The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Search, Constraint Satisfaction, Constraint Programming
34Teresa Alsinet, Ramón Béjar, Alba Cabiscol, Cèsar Fernández, Felip Manyà Minimal and Redundant SAT Encodings for the All-Interval-Series Problem. Search on Bibsonomy CCIA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
34Wojciech Plandowski, Wojciech Rytter Application of Lempel-Ziv Encodings to the Solution of Words Equations. Search on Bibsonomy ICALP The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
34Uwe Nestmann, Benjamin C. Pierce Decoding Choice Encodings. Search on Bibsonomy CONCUR The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
30Paul Tarau An embedded declarative data transformation language. Search on Bibsonomy PPDP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF computational mathematics, dag and hypergraph encodings, functions and permutations, goedel numberings, hereditarily finite sets, pairing functions, prolog data representations, ranking/unranking bijections, digraph
30Joseph Reisinger, Risto Miikkulainen Selecting for evolvable representations. Search on Bibsonomy GECCO The full citation details ... 2006 DBLP  DOI  BibTeX  RDF genetic algorithms, modularity, representations, development, evolvability, indirect encodings, estimation-of-distribution
30Peter Kornerup Reviewing 4-to-2 Adders for Multi-Operand Addition. Search on Bibsonomy J. VLSI Signal Process. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF redundant adders, digit sets, digit encodings, multiplier trees
30Philippe Chatalic, Laurent Simon Multi-resolution on compressed sets of clauses. Search on Bibsonomy ICTAI The full citation details ... 2000 DBLP  DOI  BibTeX  RDF compressed sets, compressed clauses, propositional clauses, compression power, structured instances, specialized operator, clause sets, polynomial size data structures, ZREs system, Davis-Putnam procedure, hard problems, SAT provers, zero-suppressed binary decision diagrams, computational complexity, data structures, data structures, data compression, theorem proving, computability, encodings, directed graphs, binary decision diagrams, set theory, multi-resolution, cut eliminations, ZBDDs
30Nick Roussopoulos, Christos Faloutsos, Timos K. Sellis An Efficient Pictorial Database System for PSQL. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1988 DBLP  DOI  BibTeX  RDF pictorial database system, PSQL, alphanumeric encodings, R/sup trees, multidimensional B-trees, user interfaces, data structures, data structures, database management systems, query language, query languages, spatial search, spatial objects
30Jeremias Berg Solving Optimization Problems via Maximum Satisfiability: Encodings and Re-Encodings. Search on Bibsonomy 2018   RDF
28Jo Wood, Jason Dykes, Aidan Slingsby, Keith C. Clarke Interactive Visual Exploration of a Large Spatio-temporal Dataset: Reflections on a Geovisualization Mashup. Search on Bibsonomy IEEE Trans. Vis. Comput. Graph. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Large dataset visualization, applications of infovis, geographic visualization, multiresolution visualization, text and document visualization
28Fahiem Bacchus GAC Via Unit Propagation. Search on Bibsonomy CP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
28Marco Gavanelli The Log-Support Encoding of CSP into SAT. Search on Bibsonomy CP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
28António Morgado 0001, Paulo J. Matos, Vasco M. Manquinho, João Marques-Silva 0001 Counting Models in Integer Domains. Search on Bibsonomy SAT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
28Benjamin Gojman, Eric Rachlin, John E. Savage Evaluation of design strategies for stochastically assembled nanoarray memories. Search on Bibsonomy ACM J. Emerg. Technol. Comput. Syst. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Addressing schemes, coupon collector problem, nanowire crossbars, nanotechnology
28Raymond McDowell, Dale Miller 0001 Reasoning with higher-order abstract syntax in a logical framework. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF induction, Definitions, logical frameworks, higher-order abstract syntax
28Robert E. Filman Polychotomic Encoding: A Better Quasi-Optimal Bit-Vector Encoding of Tree Hierarchies. Search on Bibsonomy ECOOP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
28Michael P. Fourman Propositional Reasoning. Search on Bibsonomy TACAS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
28Leszek Gasieniec, Alan Gibbons, Wojciech Rytter Efficiency of Fast Parallel Pattern Searching in Highly Compressed Texts. Search on Bibsonomy MFCS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
28B. N. V. Malleswara Gupta, H. Narayanan, Madhav P. Desai A State Assignment Scheme Targeting Performance and Area. Search on Bibsonomy VLSI Design The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
28Peter Sewell, Pawel T. Wojciechowski, Benjamin C. Pierce Location-Independent Communication for Mobile Agents: A Two-Level Architecture. Search on Bibsonomy ICCL Workshop: Internet Programming Languages The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
28Chung Nan Lyu, David W. Matula Redundant Binary Booth Recoding. Search on Bibsonomy IEEE Symposium on Computer Arithmetic The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
24Noga Alon, Rani Hod Optimal Monotone Encodings. Search on Bibsonomy IEEE Trans. Inf. Theory The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
24Olivier Bailleux, Yacine Boufkhad, Olivier Roussel New Encodings of Pseudo-Boolean Constraints into CNF. Search on Bibsonomy SAT The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Pseudo-Boolean, SAT translation
24Luca Pulina, Armando Tacchella Hard QBF Encodings Made Easy: Dream or Reality? Search on Bibsonomy AI*IA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
24Luca Pulina, Armando Tacchella Treewidth: A Useful Marker of Empirical Hardness in Quantified Boolean Logic Encodings. Search on Bibsonomy LPAR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
24Noga Alon, Rani Hod Optimal Monotone Encodings. Search on Bibsonomy ICALP (1) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
24Fabrizio Angiulli, Stefano Basta Optimal Subset Selection for Classification through SAT Encodings. Search on Bibsonomy IFIP AI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
24Brigitte Pientka Proof Pearl: The Power of Higher-Order Encodings in the Logical Framework LF. Search on Bibsonomy TPHOLs The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
24Michael D. Schmidt, Hod Lipson Comparison of tree and graph encodings as function of problem complexity. Search on Bibsonomy GECCO The full citation details ... 2007 DBLP  DOI  BibTeX  RDF expression graphs, expression trees, symbolic regression
24Radu Mateescu 0001, Pascal Poizat, Gwen Salaün Behavioral adaptation of component compositions based on process algebra encodings. Search on Bibsonomy ASE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF behavioral interfaces, adaptation, components, composition, process algebra
24Christophe Clavier Secret External Encodings Do Not Prevent Transient Fault Analysis. Search on Bibsonomy CHES The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Physical Attacks, Secret Algorithm, Cryptographic Design, External Encoding, Smart Cards, DES, Fault Analysis
24Gregory Hornby Shortcomings with using edge encodings to represent graph structures. Search on Bibsonomy Genet. Program. Evolvable Mach. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Neural networks, Genetic programming, Graphs, Representations, Circuits
24Max H. Garzon, Vinhthuy T. Phan, Kiran C. Bobba, Raghuver Kontham Sensitivity and Capacity of Microarray Encodings. Search on Bibsonomy DNA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF h-distance, DNA chips, genomic analysis, classification and discrimination, data mining, fault-tolerant computing, microarrays, Data representation, Gibbs energy
24Claudio Ferretti, Giancarlo Mauri Remarks on Relativisations and DNA Encodings. Search on Bibsonomy Aspects of Molecular Computing The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
24Thomas Eiter, Volker Klotz, Hans Tompits, Stefan Woltran Modal Nonmonotonic Logics Revisited: Efficient Encodings for the Basic Reasoning Tasks. Search on Bibsonomy TABLEAUX The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
24Carsten Schürmann A Type-Theoretic Approach to Induction with Higher-Order Encodings. Search on Bibsonomy LPAR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
24Daniel G. Bobrow, Douglas W. Clark Compact Encodings of List Structure. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1979 DBLP  DOI  BibTeX  RDF
21Pavel Golodoniuc, Simon J. D. Cox Geospatial Information Modelling for Interoperable Data Exchange - Application Schema Modelling: From Concept to Implementation. Search on Bibsonomy eScience The full citation details ... 2010 DBLP  DOI  BibTeX  RDF computational geoscience, Application Schema, service interfaces, UML, interoperability, standardization, conceptual modelling, data models, encodings, XML Schema, data exchange, information modelling, GML, Geoscience, OGC
21Richard E. Korf Linear-time disk-based implicit graph search. Search on Bibsonomy J. ACM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Rubik's Cube, magnetic disk storage, permutation encodings, sliding-tile puzzles, External memory, Towers of Hanoi
21Michele Bugliesi, Marco Giunti Secure implementations of typed channel abstractions. Search on Bibsonomy POPL The full citation details ... 2007 DBLP  DOI  BibTeX  RDF language encodings, typed behavioral theories, full abstraction
21Joseph Reisinger, Risto Miikkulainen Acquiring evolvability through adaptive representations. Search on Bibsonomy GECCO The full citation details ... 2007 DBLP  DOI  BibTeX  RDF genetic algorithms, neural networks, modularity, coevolution, evolvability, indirect encodings, adaptive representations
21Lila Kari, Stavros Konstantinidis, Elena Losseva, Geoff Wozniak Sticky-free and overhang-free DNA languages. Search on Bibsonomy Acta Informatica The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Theoretical DNA computing, DNA encodings, codes, formal languages
21Christopher League, Zhong Shao, Valery Trifonov Type-preserving compilation of Featherweight Java. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF object encodings, Java, type systems, typed intermediate languages
21Robert L. Campbell Representation by Correspondence: An Inadequate Conception of Knowledge for Artifical Systems. Search on Bibsonomy Australian Joint Conference on Artificial Intelligence The full citation details ... 1998 DBLP  DOI  BibTeX  RDF philosophy of mind, interactivism, evolution, representation, encodings, Knowledge, atomism, error, features, symbolic computation, connectionism, foundations
21Bryant A. Julstrom Representing rectilinear Steiner trees in genetic algorithms. Search on Bibsonomy SAC The full citation details ... 1996 DBLP  DOI  BibTeX  RDF genetic encodings, trees, spanning, rectilinear Steiner trees
21Stavros S. Cosmadakis Logical Reducibility and Monadic NP Search on Bibsonomy FOCS The full citation details ... 1993 DBLP  DOI  BibTeX  RDF syntactically restricted first-order reductions, logical reducibility, monadic NP, polynomial-time many-one reductions, directed reachability, encodings, first-order logic, NP-complete problems, relational structures
19Aurélien Lemay, Sebastian Maneth, Joachim Niehren A learning algorithm for top-down XML transformations. Search on Bibsonomy PODS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF myhill-nerode equivalence, tree transformation, minimization, learning algorithm, top-down, transducer
19David B. Knoester, Heather Goldsby, Philip K. McKinley Neuroevolution of mobile ad hoc networks. Search on Bibsonomy GECCO The full citation details ... 2010 DBLP  DOI  BibTeX  RDF developmental, neural network, distributed systems, mobile ad-hoc networks, generative, neuroevolution
19Jean-Sébastien Coron, Avradip Mandal PSS Is Secure against Random Fault Attacks. Search on Bibsonomy ASIACRYPT The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Probabilistic Signature Scheme, Provable Security, Fault Attacks, Bellcore Attack
19Roberto Asín, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell Cardinality Networks and Their Applications. Search on Bibsonomy SAT The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
19Jorge Tavares, Francisco Baptista Pereira, Ernesto Costa Multidimensional Knapsack Problem: A Fitness Landscape Analysis. Search on Bibsonomy IEEE Trans. Syst. Man Cybern. Part B The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
19Rajeev Kumar 0004, Dipankar Das 0002 Code compression for performance enhancement of variable-length embedded processors. Search on Bibsonomy ACM Trans. Embed. Comput. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF bus switching, code decompression, instruction memory, variable-length ISAs, embedded systems, Code compression, RISC processor
19Songting Chen, Hua-Gang Li, Jun'ichi Tatemura, Wang-Pin Hsiung, Divyakant Agrawal, K. Selçuk Candan Scalable Filtering of Multiple Generalized-Tree-Pattern Queries over XML Streams. Search on Bibsonomy IEEE Trans. Knowl. Data Eng. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
19William N. L. Browne Improving Evolutionary Computation Based Data-Mining for the Process Industry: The Importance of Abstraction. Search on Bibsonomy Learning Classifier Systems in Data Mining The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
19Pierre Colomb, Olivier Raynaud, Eric Thierry Generalized Polychotomic Encoding: A Very Short Bit-Vector Encoding of Tree Hierarchies. Search on Bibsonomy MCO The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
19Tommi A. Junttila, Jori Dubrovin Encoding Queues in Satisfiability Modulo Theories Based Bounded Model Checking. Search on Bibsonomy LPAR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
19Wojciech Fraczak, Wojciech Rytter, Mohammadreza Yazdani Matching Integer Intervals by Minimal Sets of Binary Words with don't cares. Search on Bibsonomy CPM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
19Niranjan Shetty, Jerry D. Gibson Perceptually weighted distortion measures and the tandem connection of speech codecs. Search on Bibsonomy ICASSP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 1327 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license