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