Search results for "Constructive"

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