The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1937-1968 (16) 1969-1974 (19) 1975-1976 (31) 1977-1979 (21) 1980-1981 (18) 1982-1983 (18) 1984-1985 (28) 1986 (17) 1987 (30) 1988 (39) 1989 (51) 1990 (43) 1991 (78) 1992 (60) 1993 (74) 1994 (70) 1995 (72) 1996 (91) 1997 (92) 1998 (93) 1999 (95) 2000 (129) 2001 (148) 2002 (130) 2003 (140) 2004 (180) 2005 (236) 2006 (242) 2007 (249) 2008 (259) 2009 (218) 2010 (125) 2011 (97) 2012 (109) 2013 (111) 2014 (119) 2015 (112) 2016 (133) 2017 (136) 2018 (134) 2019 (141) 2020 (142) 2021 (146) 2022 (138) 2023 (113) 2024 (43)
Publication types (Num. hits)
article(1947) book(10) incollection(73) inproceedings(2674) phdthesis(67) proceedings(15)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 1983 occurrences of 1365 keywords

Results
Found 4786 publication records. Showing 4786 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
90Jack H. Lutz Gales and the Constructive Dimension of Individual Sequences. Search on Bibsonomy ICALP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF algorithmic information, gales, Hausdorff dimension, computability, randomness, Kolmogorov complexity, martingales, constructive dimension
70Laurent Bienvenu, David Doty, Frank Stephan 0001 Constructive Dimension and Turing Degrees. Search on Bibsonomy Theory Comput. Syst. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Randomness, Extractor, Degree, Turing, Constructive dimension
70Laurent Bienvenu, David Doty, Frank Stephan 0001 Constructive Dimension and Weak Truth-Table Degrees. Search on Bibsonomy CiE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF weak truth-table, randomness, extractor, degree, constructive dimension
69Srinivas Raghothama Constructive topological representations. Search on Bibsonomy Symposium on Solid and Physical Modeling The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
56Hidenao Abe, Takahira Yamaguchi Constructive Meta-learning with Machine Learning Method Repositories. Search on Bibsonomy IEA/AIE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
53Seiki Akama Three-Valued Constructive Logic and Logic Programs. Search on Bibsonomy ISMVL The full citation details ... 1995 DBLP  DOI  BibTeX  RDF three-valued constructive logic, three valued constructive logic, strong negation 3N, N completion, intuitive semantics, N completion semantics, computational complexity, semantics, logic programming, logic programs, ternary logic, model theory, strong negation, negation as failure
51João Roberto Bertini Jr., Maria do Carmo Nicoletti MBabCoNN - A Multiclass Version of a Constructive Neural Network Algorithm Based on Linear Separability and Convex Hull. Search on Bibsonomy ICANN (2) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Constructive neural network algorithm, LS-discriminant learning, Barycentric Correction Procedure, Multiclass classification
51Leila Shila Shafti, Eduardo Pérez Constructive induction and genetic algorithms for learning concepts with complex interaction. Search on Bibsonomy GECCO The full citation details ... 2005 DBLP  DOI  BibTeX  RDF shared attributes, genetic algorithms, feature selection, feature construction, constructive induction, attribute interaction
51Mícheál Mac an Airchinnigh Towards a Topos Theoretic Foundation for the Irish School of Constructive Mathematics. Search on Bibsonomy FME The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Topos Theory, Unifying Theory, modelling, intuitionistic logic, VDM, constructive mathematics, Heyting algebra, Cartesian closed category
50Yan-Qing Zhang 0001 Constructive granular systems with universal approximation and fast knowledge discovery. Search on Bibsonomy IEEE Trans. Fuzzy Syst. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
49Enrico Ferrari, Marco Muselli Efficient Constructive Techniques for Training Switching Neural Networks. Search on Bibsonomy Constructive Neural Networks The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
49João Roberto Bertini Jr., Maria do Carmo Nicoletti A Feedforward Constructive Neural Network Algorithm for Multiclass Tasks Based on Linear Separability. Search on Bibsonomy Constructive Neural Networks The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
49Robert Ollington, Peter Vamplew 0001, John Swanson Incorporating Expert Advice into Reinforcement Learning Using Constructive Neural Networks. Search on Bibsonomy Constructive Neural Networks The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
49Andreas Huemer, David A. Elizondo, Mario Gongora 0001 A Constructive Neural Network for Evolving a Machine Controller in Real-Time. Search on Bibsonomy Constructive Neural Networks The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
49Maria do Carmo Nicoletti, João Roberto Bertini Jr., David A. Elizondo, Leonardo Franco, José M. Jerez Constructive Neural Network Algorithms for Feedforward Architectures Suitable for Classification Tasks. Search on Bibsonomy Constructive Neural Networks The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
49Marek Grochowski, Wlodzislaw Duch Constructive Neural Network Algorithms That Solve Highly Non-separable Problems. Search on Bibsonomy Constructive Neural Networks The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
49Peter Sussner, Estevão Laureano Esmi Constructive Morphological Neural Networks: Some Theoretical Aspects and Experimental Results in Classification. Search on Bibsonomy Constructive Neural Networks The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
49José Luis Subirats, Leonardo Franco, Ignacio Molina, José M. Jerez Active Learning Using a Constructive Neural Network Algorithm. Search on Bibsonomy Constructive Neural Networks The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
45Zohreh HajAbedi, Mohammad Reza Kangavari A Fuzzy-GA Wrapper-Based Constructive Induction Model. Search on Bibsonomy ICIC (2) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Feature selection, Fuzzy, GA, Feature construction, Constructive induction
45Seiki Akama, Kazumi Nakamatsu, Jair Minoro Abe Constructive Logic and the Sorites Paradox. Search on Bibsonomy New Directions in Intelligent Interactive Multimedia The full citation details ... 2008 DBLP  DOI  BibTeX  RDF the sorites paradox, contractionless constructive logic, vagueness, sequent calculus
45Laurent Fuchs, Gaëlle Largeteau-Skapin, Guy Wallet, Eric Andres, Agathe Chollet A First Look into a Formal and Constructive Approach for Discrete Geometry Using Nonstandard Analysis. Search on Bibsonomy DGCI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF nonstandard analysis, discrete geometry, constructive mathematics
45Lunjin Lu Implementing type-based constructive negation. Search on Bibsonomy SAC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF logic programs, types, constructive negation
45Md. Abdus Sattar, Md. Monirul Islam, Kazuyuki Murase A New Constructive Algorithm for Designing and Training Artificial Neural Networks. Search on Bibsonomy ICONIP (1) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF architectural adaptation, function level adaptation, constructive approach and generalization ability, Artificial neural networks (ANNs)
45Peter Schuster Elementary Choiceless Constructive Analysis. Search on Bibsonomy CSL The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Countable Choice, Unique Existence, Intermediate Values, Connectedness 2000 MSC. Primary 03F60, Secondary 03E25, 26A15, 26E40, 54D05, 54E35, Constructive Mathematics, Approximate Analysis
43Mehdi Saadatmand Tarzjan, Morteza Khademi, Mohammad R. Akbarzadeh-Totonchi, Hamid Abrishami Moghaddam A Novel Constructive-Optimizer Neural Network for the Traveling Salesman Problem. Search on Bibsonomy IEEE Trans. Syst. Man Cybern. Part B The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
43Ivette Luna, Secundino Soares, Rosangela Ballini A Constructive-Fuzzy System Modeling for Time Series Forecasting. Search on Bibsonomy IJCNN The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
43Benedikte S. Als, Janne Jul Jensen, Mikael B. Skov Exploring Verbalization and Collaboration of Constructive Interaction with Children. Search on Bibsonomy INTERACT The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
43Peter Vamplew 0001, Robert Ollington Global Versus Local Constructive Function Approximation for On-Line Reinforcement Learning. Search on Bibsonomy Australian Conference on Artificial Intelligence The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
43Herman Geuvers, Milad Niqui Constructive Reals in Coq: Axioms and Categoricity. Search on Bibsonomy TYPES The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
43Alvin J. Surkan, Colin Campbell A constructive algorithm for neural networks that generalize. Search on Bibsonomy APL The full citation details ... 1997 DBLP  DOI  BibTeX  RDF APL
42Sara Negri, Daniele Soravia The continuum as a formal space. Search on Bibsonomy Arch. Math. Log. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Mathematics Subject Classification (1991):03F65, 26E40, 54A05 (Other constructive mathematics, Constructive real analysis, Topological spaces and generalizations)
39John Case, Samuel E. Moelius Independence Results for n-Ary Recursion Theorems. Search on Bibsonomy FCT The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
39Vasileios Liaskovitis, Shimin Chen, Phillip B. Gibbons, Anastassia Ailamaki, Guy E. Blelloch, Babak Falsafi, Limor Fix, Nikos Hardavellas, Michael Kozuch, Todd C. Mowry, Chris Wilkerson Parallel depth first vs. work stealing schedulers on CMP architectures. Search on Bibsonomy SPAA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF scheduling, caches, chip multiprocessors
38Héctor F. Satizábal, Andrés Pérez-Uribe, Marco Tomassini Avoiding Prototype Proliferation in Incremental Vector Quantization of Large Heterogeneous Datasets. Search on Bibsonomy Constructive Neural Networks The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
38Hirotaka Inoue Self-Organizing Neural Grove: Efficient Multiple Classifier System with Pruned Self-Generating Neural Trees. Search on Bibsonomy Constructive Neural Networks The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
38Miguel Arturo Barreto-Sanz, Andrés Pérez-Uribe, Carlos Andrés Peña-Reyes, Marco Tomassini Tuning Parameters in Fuzzy Growing Hierarchical Self-Organizing Networks. Search on Bibsonomy Constructive Neural Networks The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
38David A. Elizondo, Juan Miguel Ortiz-de-Lazcano-Lobato, Ralph Birkenhead Analysis and Testing of the m-Class RDP Neural Network. Search on Bibsonomy Constructive Neural Networks The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
38Martin Anthony On Constructing Threshold Networks for Pattern Classification. Search on Bibsonomy Constructive Neural Networks The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
38Engelbert Mephu Nguifo, Norbert Tsopzé, Gilbert Tindo M-CLANN: Multiclass Concept Lattice-Based Artificial Neural Network. Search on Bibsonomy Constructive Neural Networks The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
38Adrian Horzyk Self-Optimizing Neural Network 3. Search on Bibsonomy Constructive Neural Networks The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
38Walter Schempp, Karl Zeller (eds.) Constructive Theory of Functions of Several Variables: Proceedings of a Conference Held at Oberwolfach, Germany, April 25 - May 1, 1976 Search on Bibsonomy Constructive Theory of Functions of Several Variables The full citation details ... 1977 DBLP  DOI  BibTeX  RDF
38Hans Joachim Schmid Interpolation of harmonic functions. Search on Bibsonomy Constructive Theory of Functions of Several Variables The full citation details ... 1976 DBLP  DOI  BibTeX  RDF
38B. O. Björnestål Stability of Steiner points. Search on Bibsonomy Constructive Theory of Functions of Several Variables The full citation details ... 1976 DBLP  DOI  BibTeX  RDF
38H. Johnen, K. Scherer On the equivalence of the K-functional and moduli of continuity and some applications. Search on Bibsonomy Constructive Theory of Functions of Several Variables The full citation details ... 1976 DBLP  DOI  BibTeX  RDF
38Hans-Michael Möller Hermite interpolation in several variables using ideal-theoretic methods. Search on Bibsonomy Constructive Theory of Functions of Several Variables The full citation details ... 1976 DBLP  DOI  BibTeX  RDF
38D. D. Stancu Use of Biermann's interpolation formula for constructing a class of positive linear operators for approximating multivariate functions. Search on Bibsonomy Constructive Theory of Functions of Several Variables The full citation details ... 1976 DBLP  DOI  BibTeX  RDF
38Walter Trebels Estimates for moduli of continuity of functions given by their Fourier transform. Search on Bibsonomy Constructive Theory of Functions of Several Variables The full citation details ... 1976 DBLP  DOI  BibTeX  RDF
38Harold S. Shapiro Convergence almost everywhere of convolution integrals with a dilation parameter. Search on Bibsonomy Constructive Theory of Functions of Several Variables The full citation details ... 1976 DBLP  DOI  BibTeX  RDF
38Arthur Sard Function spaces for analysis. Search on Bibsonomy Constructive Theory of Functions of Several Variables The full citation details ... 1976 DBLP  DOI  BibTeX  RDF
38Bernd Dreseler On summation processes of Fourier expansions for spherical functions. Search on Bibsonomy Constructive Theory of Functions of Several Variables The full citation details ... 1976 DBLP  DOI  BibTeX  RDF
38J. Albrecht, H. Engels Zur numerischen Integration über Kreisbereichen. Search on Bibsonomy Constructive Theory of Functions of Several Variables The full citation details ... 1976 DBLP  DOI  BibTeX  RDF
38Tom Koornwinder Harmonics and spherical functions on Grassmann manifolds of rank two and two-variable analogues of Jacobi polynomials. Search on Bibsonomy Constructive Theory of Functions of Several Variables The full citation details ... 1976 DBLP  DOI  BibTeX  RDF
38Walter Schempp Approximation in G-homogeneous Banach spaces. Search on Bibsonomy Constructive Theory of Functions of Several Variables The full citation details ... 1976 DBLP  DOI  BibTeX  RDF
38M. Reimer Clenshaw sums in several variables. Search on Bibsonomy Constructive Theory of Functions of Several Variables The full citation details ... 1976 DBLP  DOI  BibTeX  RDF
38Franz-Jürgen Delvos, Horst Posdorf N-th order blending. Search on Bibsonomy Constructive Theory of Functions of Several Variables The full citation details ... 1976 DBLP  DOI  BibTeX  RDF
38Werner Haußmann, Peter Pottinger On multivariate approximation by continuous linear operators. Search on Bibsonomy Constructive Theory of Functions of Several Variables The full citation details ... 1976 DBLP  DOI  BibTeX  RDF
38K. Jetter, F. Locher A note on numerical Fourier analysis and uniform approximation on cubes. Search on Bibsonomy Constructive Theory of Functions of Several Variables The full citation details ... 1976 DBLP  DOI  BibTeX  RDF
38Walter Schempp Bernstein polynomials in several variables. Search on Bibsonomy Constructive Theory of Functions of Several Variables The full citation details ... 1976 DBLP  DOI  BibTeX  RDF
38Wilhelm Niethammer On the numerical analytic continuation of power series. Search on Bibsonomy Constructive Theory of Functions of Several Variables The full citation details ... 1976 DBLP  DOI  BibTeX  RDF
38K. Böhmer, Gh. Coman Blending interpolation schemes on triangles with error bounds. Search on Bibsonomy Constructive Theory of Functions of Several Variables The full citation details ... 1976 DBLP  DOI  BibTeX  RDF
38Jan Boman Comparison theorems for generalized moduli of continuity. Vector-valued measures. Search on Bibsonomy Constructive Theory of Functions of Several Variables The full citation details ... 1976 DBLP  DOI  BibTeX  RDF
38W. Schäfer, Walter Schempp Error bounds for bivariate spline interpolation. Search on Bibsonomy Constructive Theory of Functions of Several Variables The full citation details ... 1976 DBLP  DOI  BibTeX  RDF
38Jean Duchon Splines minimizing rotation-invariant semi-norms in Sobolev spaces. Search on Bibsonomy Constructive Theory of Functions of Several Variables The full citation details ... 1976 DBLP  DOI  BibTeX  RDF
38Matthew Spinks, Robert Veroff Constructive Logic with Strong Negation is a Substructural Logic. II. Search on Bibsonomy Stud Logica The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Nelson algebra, algebra, residuated lattice, substructural logic, strong negation, Constructive logic
38Matthew Spinks, Robert Veroff Constructive Logic with Strong Negation is a Substructural Logic. I. Search on Bibsonomy Stud Logica The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Nelson algebra, FL ew -algebra, residuated lattice, substructural logic, strong negation, Constructive logic
38Claus Brabrand Constructive Alignment for Teaching Model-Based Design for Concurrency. Search on Bibsonomy Trans. Petri Nets Other Model. Concurr. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF student learning, constructive alignment, the SOLO taxonomy, model-based design for concurrency, teaching
38Xinyu Duan, Ping Jiang Research of a Virtual 3D Study Pattern Based on Constructive Theory in e-Learning. Search on Bibsonomy WKDD The full citation details ... 2008 DBLP  DOI  BibTeX  RDF virtual study, constructive theory, e-learning, entity
38Enrico Ferrari, Marco Muselli A Constructive Technique Based on Linear Programming for Training Switching Neural Networks. Search on Bibsonomy ICANN (2) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Switching Neural Network, constructive technique, positive Boolean function, Switch Programming
38Mitch Pohlman, Clinton Kam Energy based aerodynamic modeling: increasing fidelity of fixed-wing constructive entities. Search on Bibsonomy SpringSim (3) The full citation details ... 2007 DBLP  BibTeX  RDF constructive entities, energy maneuvering, specific excess power, aerodynamics, DMO
38Yuhu Cheng, Xuesong Wang 0001, Wei Sun A Study of Constructive Fuzzy Normalized RBF Neural Networks. Search on Bibsonomy ICIC (3) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Constructive neural network, Normalized RBF neural network, Network structure learning, Network size
38Jiaqin Chen, Michael Freytag, Vadim Shapiro Shape sensitivity of constructive representations. Search on Bibsonomy Symposium on Solid and Physical Modeling The full citation details ... 2007 DBLP  DOI  BibTeX  RDF constructive representation, implicit representation, shape sensitivity, R-functions
38Shimin Chen, Phillip B. Gibbons, Michael Kozuch, Vasileios Liaskovitis, Anastassia Ailamaki, Guy E. Blelloch, Babak Falsafi, Limor Fix, Nikos Hardavellas, Todd C. Mowry, Chris Wilkerson Scheduling threads for constructive cache sharing on CMPs. Search on Bibsonomy SPAA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF constructive cache sharing, parallel depth first, thread granularity, working set profiling, chip multiprocessors, scheduling algorithms, work stealing
38Xianghua Fu, Zhiqiang Wang, Boqin Feng A Constructive Algorithm for Training Heterogeneous Neural Network Ensemble. Search on Bibsonomy RSKT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Neural network ensemble, constructive algorithm
38Javier Álvez, Paqui Lucio, Fernando Orejas Constructive negation by bottom-up computation of literal answers. Search on Bibsonomy SAC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF bottom-up operators, equality constraint solving, implementation, operational semantics, constructive negation
38Susana Muñoz-Hernández, Juan José Moreno-Navarro Implementation Results in Classical Constructive Negation. Search on Bibsonomy ICLP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Implementations of Logic Programming, Optimization, Constraint Logic Programming, Constructive Negation, Negation in Logic Programming
38Susana Muñoz-Hernández, Julio Mariño, Juan José Moreno-Navarro Constructive Intensional Negation. Search on Bibsonomy FLOPS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Logic Programming Implementation, Program Transformation, Constraint Logic Programming, Negation, Constructive Negation
38Mohammed Waleed Kadous, Claude Sammut Constructive Induction for Classifying Time Series. Search on Bibsonomy ECML The full citation details ... 2004 DBLP  DOI  BibTeX  RDF machine learning, time series, constructive induction
38Susana Muñoz-Hernández, Juan José Moreno-Navarro A Real Implementation for Constructive Negation. Search on Bibsonomy ICLP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Implementations of Logic Programming, Constraint Logic Programming, Constructive Negation, Negation in Logic Programming
38José A. Sanandrés, Victor Maojo, José Crespo, Agustín Gómez A Clustering-Based Constructive Induction Method and Its Application to Rheumatoid Arthritis. Search on Bibsonomy AIME The full citation details ... 2001 DBLP  DOI  BibTeX  RDF rheumatoid arthritis, clustering, machine learning, inductive learning, constructive induction
38Valeriu Beiu Enhanced lower entropy bounds with application to constructive learning. Search on Bibsonomy EUROMICRO The full citation details ... 1997 DBLP  DOI  BibTeX  RDF enhanced lower entropy bounds, IR/sup n/, constructive learning algorithms, n dimensional ball, integer weights, maximum volume, n dimensional cones, neural networks, neural nets, upper bounding, polyhedron, logarithm, classification problems, quotient
37Ivan Heckman, J. Christopher Beck Fitness-Distance Correlation and Solution-Guided Multi-point Constructive Search for CSPs. Search on Bibsonomy CPAIOR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
37Suisin Khoo, Tom Gedeon Generalisation Performance vs. Architecture Variations in Constructive Cascade Networks. Search on Bibsonomy ICONIP (2) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
37Robert L. Constable, Wojciech Moczydlowski Extracting Programs from Constructive HOL Proofs Via IZF Set-Theoretic Semantics. Search on Bibsonomy IJCAR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
37Christian Blum 0001, Mateu Yábar Vallès New Constructive Heuristics for DNA Sequencing by Hybridization. Search on Bibsonomy WABI The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
37Daniel Monegatto Santoro, Maria do Carmo Nicoletti Investigating a Wrapper Approach for Selecting Features Using Constructive Neural Networks. Search on Bibsonomy ITCC (2) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
37Stelian Alupoaei, Srinivas Katkoori Net Clustering Based Constructive and Iterative Improvement Approaches for Macro-Cell Placement. Search on Bibsonomy J. VLSI Signal Process. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF net clustering, macro-cell placement, cluster growth, wirelength optimization, simulated annealing
37David Billington, Andrew Rock Constructive Plausible Logic Is Relatively Consistent. Search on Bibsonomy Australian Conference on Artificial Intelligence The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Knowledge representation, Logic, Common-sense reasoning, Nonmonotonicity
37Chen Li 0003, Chee-Keng Yap A new constructive root bound for algebraic expressions. Search on Bibsonomy SODA The full citation details ... 2001 DBLP  BibTeX  RDF
37Benjamin Schmitt, Alexander A. Pasko, Christophe Schlick Constructive modeling of FRep solids using spline volumes. Search on Bibsonomy Symposium on Solid Modeling and Applications The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
37Herman Geuvers, Freek Wiedijk, Jan Zwanenburg A Constructive Proof of the Fundamental Theorem of Algebra without Using the Rationals. Search on Bibsonomy TYPES The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
37Ernesto Cuadros-Vargas, Humberto Costa de Sousa, André Carlos Ponce de Leon Ferreira de Carvalho Automatic Target Recognition using a Constructive Approach. Search on Bibsonomy SBRN The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
37Andrei Voronkov Towards the Theory of Programming in Constructive Logic. Search on Bibsonomy ESOP The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
37James A. Altucher, Prakash Panangaden A Mechanically Assisted Constructive Proof in Category Theory. Search on Bibsonomy CADE The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
34David Doty Every Sequence Is Decompressible from a Random One. Search on Bibsonomy CiE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF compression, Kolmogorov complexity, martingale, Turing reduction, random sequence, Constructive dimension
34András Frank, László Szegö An Extension of a Theorem of Henneberg and Laman. Search on Bibsonomy IPCO The full citation details ... 2001 DBLP  DOI  BibTeX  RDF constructive characterization, packing and covering by trees AMS subject classification. 05C40, graph, rigidity
34François Fages, Roberta Gori Analysis of Normal Logic Programs. Search on Bibsonomy SAS The full citation details ... 1998 DBLP  DOI  BibTeX  RDF logic programming, static analysis, interpretation, constructive negation
33Samuel Huron Constructive Visualization : A token-based paradigm allowing to assemble dynamic visual representation for non-experts. (La Visualization Constructive / La Visualization Constructive : Un Paradigme De Design De Visualization Qui Permet D'assembler Des ReprÉSentations Visuel Dynamique Pour Personnes Non Expertes). Search on Bibsonomy 2015   RDF
32Tomasz Maszczyk, Marek Grochowski, Wlodzislaw Duch Discovering Data Structures Using Meta-learning, Visualization and Constructive Neural Networks. Search on Bibsonomy Advances in Machine Learning II The full citation details ... 2010 DBLP  DOI  BibTeX  RDF constructive neural networks, machine learning, visualization, Meta-learning, projection pursuit
32Julio Mariño, Juan José Moreno-Navarro, Susana Muñoz-Hernández Implementing Constructive Intensional Negation. Search on Bibsonomy New Gener. Comput. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Intensional Negation, Logic Programming Implementation, Program Transformation, Constraint Logic Programming, Negation, Constructive Negation
32Bernardo Llanas, Sagrario Lantarón, Francisco J. Sáinz Constructive Approximation of Discontinuous Functions by Neural Networks. Search on Bibsonomy Neural Process. Lett. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Approximation of discontinuous functions, Constructive approximation, Piecewise continuous functions, Neural networks, Gibbs phenomenon
Displaying result #1 - #100 of 4786 (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