|
|
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 |
90 | Jack H. Lutz |
Gales and the Constructive Dimension of Individual Sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 27th International Colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000, Proceedings, pp. 902-913, 2000, Springer, 3-540-67715-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Comput. Syst. ![In: Theory Comput. Syst. 45(4), pp. 740-755, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Computation and Logic in the Real World, Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings, pp. 63-72, 2007, Springer, 978-3-540-73000-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
weak truth-table, randomness, extractor, degree, constructive dimension |
69 | Srinivas Raghothama |
Constructive topological representations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symposium on Solid and Physical Modeling ![In: Proceedings of the ACM Symposium on Solid and Physical Modeling 2006, Cardiff University, Wales, UK, June 6-8, 2006, pp. 39-51, 2006, ACM, 1-59593-358-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
56 | Hidenao Abe, Takahira Yamaguchi |
Constructive Meta-learning with Machine Learning Method Repositories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEA/AIE ![In: Innovations in Applied Artificial Intelligence, 17th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2004, Ottawa, Canada, May 17-20, 2004. Proceedings, pp. 502-511, 2004, Springer, 3-540-22007-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
53 | Seiki Akama |
Three-Valued Constructive Logic and Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 25th IEEE International Symposium on Multiple-Valued Logic, ISMVL 1995, Bloomington, Indiana, USA, May 23-25, 1995, Proceedings, pp. 276-283, 1995, IEEE Computer Society, 0-8186-7118-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICANN (2) ![In: Artificial Neural Networks - ICANN 2008, 18th International Conference, Prague, Czech Republic, September 3-6, 2008, Proceedings, Part II, pp. 723-733, 2008, Springer, 978-3-540-87558-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation Conference, GECCO 2005, Proceedings, Washington DC, USA, June 25-29, 2005, pp. 1811-1818, 2005, ACM, 1-59593-010-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FME ![In: FME 2001: Formal Methods for Increasing Software Productivity, International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, Proceedings, pp. 396-418, 2001, Springer, 3-540-41791-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Fuzzy Syst. ![In: IEEE Trans. Fuzzy Syst. 13(1), pp. 48-57, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
49 | Enrico Ferrari, Marco Muselli |
Efficient Constructive Techniques for Training Switching Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constructive Neural Networks ![In: Constructive Neural Networks, pp. 25-48, 2009, Springer, 978-3-642-04511-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constructive Neural Networks ![In: Constructive Neural Networks, pp. 145-169, 2009, Springer, 978-3-642-04511-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
49 | Robert Ollington, Peter Vamplew 0001, John Swanson |
Incorporating Expert Advice into Reinforcement Learning Using Constructive Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constructive Neural Networks ![In: Constructive Neural Networks, pp. 207-224, 2009, Springer, 978-3-642-04511-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constructive Neural Networks ![In: Constructive Neural Networks, pp. 225-242, 2009, Springer, 978-3-642-04511-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constructive Neural Networks ![In: Constructive Neural Networks, pp. 1-23, 2009, Springer, 978-3-642-04511-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
49 | Marek Grochowski, Wlodzislaw Duch |
Constructive Neural Network Algorithms That Solve Highly Non-separable Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constructive Neural Networks ![In: Constructive Neural Networks, pp. 49-70, 2009, Springer, 978-3-642-04511-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
49 | Peter Sussner, Estevão Laureano Esmi |
Constructive Morphological Neural Networks: Some Theoretical Aspects and Experimental Results in Classification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constructive Neural Networks ![In: Constructive Neural Networks, pp. 123-144, 2009, Springer, 978-3-642-04511-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
49 | José Luis Subirats, Leonardo Franco, Ignacio Molina, José M. Jerez |
Active Learning Using a Constructive Neural Network Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constructive Neural Networks ![In: Constructive Neural Networks, pp. 193-206, 2009, Springer, 978-3-642-04511-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
45 | Zohreh HajAbedi, Mohammad Reza Kangavari |
A Fuzzy-GA Wrapper-Based Constructive Induction Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIC (2) ![In: Emerging Intelligent Computing Technology and Applications. With Aspects of Artificial Intelligence, 5th International Conference on Intelligent Computing, ICIC 2009, Ulsan, South Korea, September 16-19, 2009, Proceedings, pp. 440-449, 2009, Springer, 978-3-642-04019-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
New Directions in Intelligent Interactive Multimedia ![In: New Directions in Intelligent Interactive Multimedia, pp. 285-292, 2008, Springer, 978-3-540-68126-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DGCI ![In: Discrete Geometry for Computer Imagery, 14th IAPR International Conference, DGCI 2008, Lyon, France, April 16-18, 2008. Proceedings, pp. 21-32, 2008, Springer, 978-3-540-79125-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
nonstandard analysis, discrete geometry, constructive mathematics |
45 | Lunjin Lu |
Implementing type-based constructive negation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), Seoul, Korea, March 11-15, 2007, pp. 1299-1306, 2007, ACM, 1-59593-480-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICONIP (1) ![In: Neural Information Processing, 14th International Conference, ICONIP 2007, Kitakyushu, Japan, November 13-16, 2007, Revised Selected Papers, Part I, pp. 317-327, 2007, Springer, 978-3-540-69154-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 14th Annual Conference of the EACSL, Fischbachau, Germany, August 21-26, 2000, Proceedings, pp. 512-526, 2000, Springer, 3-540-67895-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. Part B ![In: IEEE Trans. Syst. Man Cybern. Part B 37(4), pp. 754-770, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
43 | Ivette Luna, Secundino Soares, Rosangela Ballini |
A Constructive-Fuzzy System Modeling for Time Series Forecasting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCNN ![In: Proceedings of the International Joint Conference on Neural Networks, IJCNN 2007, Celebrating 20 years of neural networks, Orlando, Florida, USA, August 12-17, 2007, pp. 2908-2913, 2007, IEEE, 978-1-4244-1379-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
43 | Benedikte S. Als, Janne Jul Jensen, Mikael B. Skov |
Exploring Verbalization and Collaboration of Constructive Interaction with Children. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INTERACT ![In: Human-Computer Interaction - INTERACT 2005, IFIP TC13 International Conference, Rome, Italy, September 12-16, 2005, Proceedings, pp. 443-456, 2005, Springer, 3-540-28943-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
43 | Peter Vamplew 0001, Robert Ollington |
Global Versus Local Constructive Function Approximation for On-Line Reinforcement Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australian Conference on Artificial Intelligence ![In: AI 2005: Advances in Artificial Intelligence, 18th Australian Joint Conference on Artificial Intelligence, Sydney, Australia, December 5-9, 2005, Proceedings, pp. 113-122, 2005, Springer, 3-540-30462-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
43 | Herman Geuvers, Milad Niqui |
Constructive Reals in Coq: Axioms and Categoricity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TYPES ![In: Types for Proofs and Programs, International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000, Selected Papers, pp. 79-95, 2000, Springer, 3-540-43287-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
43 | Alvin J. Surkan, Colin Campbell |
A constructive algorithm for neural networks that generalize. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APL ![In: International Conference on APL 1997 - Share knowledge / share success, Ryerson University, Toronto, Ontario, Canada, August 17-20, 1997, pp. 35-42, 1997, ACM, 978-1-4503-7314-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
APL |
42 | Sara Negri, Daniele Soravia |
The continuum as a formal space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 38(7), pp. 423-447, 1999. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 17th International Symposium, FCT 2009, Wroclaw, Poland, September 2-4, 2009. Proceedings, pp. 38-49, 2009, Springer, 978-3-642-03408-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPAA ![In: SPAA 2006: Proceedings of the 18th Annual ACM Symposium on Parallelism in Algorithms and Architectures, Cambridge, Massachusetts, USA, July 30 - August 2, 2006, pp. 330, 2006, ACM, 1-59593-452-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constructive Neural Networks ![In: Constructive Neural Networks, pp. 243-260, 2009, Springer, 978-3-642-04511-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
38 | Hirotaka Inoue |
Self-Organizing Neural Grove: Efficient Multiple Classifier System with Pruned Self-Generating Neural Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constructive Neural Networks ![In: Constructive Neural Networks, pp. 281-291, 2009, Springer, 978-3-642-04511-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constructive Neural Networks ![In: Constructive Neural Networks, pp. 261-279, 2009, Springer, 978-3-642-04511-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constructive Neural Networks ![In: Constructive Neural Networks, pp. 171-192, 2009, Springer, 978-3-642-04511-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
38 | Martin Anthony |
On Constructing Threshold Networks for Pattern Classification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constructive Neural Networks ![In: Constructive Neural Networks, pp. 71-82, 2009, Springer, 978-3-642-04511-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
38 | Engelbert Mephu Nguifo, Norbert Tsopzé, Gilbert Tindo |
M-CLANN: Multiclass Concept Lattice-Based Artificial Neural Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constructive Neural Networks ![In: Constructive Neural Networks, pp. 103-121, 2009, Springer, 978-3-642-04511-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
38 | Adrian Horzyk |
Self-Optimizing Neural Network 3. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constructive Neural Networks ![In: Constructive Neural Networks, pp. 83-101, 2009, Springer, 978-3-642-04511-0. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constructive Theory of Functions of Several Variables ![Springer, 978-3-540-08069-5 The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP DOI BibTeX RDF |
|
38 | Hans Joachim Schmid |
Interpolation of harmonic functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constructive Theory of Functions of Several Variables ![In: Constructive Theory of Functions of Several Variables: Proceedings of a Conference Held at Oberwolfach, Germany, April 25 - May 1, 1976, pp. 226-249, 1976, Springer, 978-3-540-08069-5. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
38 | B. O. Björnestål |
Stability of Steiner points. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constructive Theory of Functions of Several Variables ![In: Constructive Theory of Functions of Several Variables: Proceedings of a Conference Held at Oberwolfach, Germany, April 25 - May 1, 1976, pp. 6-13, 1976, Springer, 978-3-540-08069-5. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
38 | H. Johnen, K. Scherer |
On the equivalence of the K-functional and moduli of continuity and some applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constructive Theory of Functions of Several Variables ![In: Constructive Theory of Functions of Several Variables: Proceedings of a Conference Held at Oberwolfach, Germany, April 25 - May 1, 1976, pp. 119-140, 1976, Springer, 978-3-540-08069-5. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
38 | Hans-Michael Möller |
Hermite interpolation in several variables using ideal-theoretic methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constructive Theory of Functions of Several Variables ![In: Constructive Theory of Functions of Several Variables: Proceedings of a Conference Held at Oberwolfach, Germany, April 25 - May 1, 1976, pp. 155-163, 1976, Springer, 978-3-540-08069-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constructive Theory of Functions of Several Variables ![In: Constructive Theory of Functions of Several Variables: Proceedings of a Conference Held at Oberwolfach, Germany, April 25 - May 1, 1976, pp. 267-276, 1976, Springer, 978-3-540-08069-5. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
38 | Walter Trebels |
Estimates for moduli of continuity of functions given by their Fourier transform. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constructive Theory of Functions of Several Variables ![In: Constructive Theory of Functions of Several Variables: Proceedings of a Conference Held at Oberwolfach, Germany, April 25 - May 1, 1976, pp. 277-288, 1976, Springer, 978-3-540-08069-5. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
38 | Harold S. Shapiro |
Convergence almost everywhere of convolution integrals with a dilation parameter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constructive Theory of Functions of Several Variables ![In: Constructive Theory of Functions of Several Variables: Proceedings of a Conference Held at Oberwolfach, Germany, April 25 - May 1, 1976, pp. 250-266, 1976, Springer, 978-3-540-08069-5. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
38 | Arthur Sard |
Function spaces for analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constructive Theory of Functions of Several Variables ![In: Constructive Theory of Functions of Several Variables: Proceedings of a Conference Held at Oberwolfach, Germany, April 25 - May 1, 1976, pp. 186-195, 1976, Springer, 978-3-540-08069-5. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
38 | Bernd Dreseler |
On summation processes of Fourier expansions for spherical functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constructive Theory of Functions of Several Variables ![In: Constructive Theory of Functions of Several Variables: Proceedings of a Conference Held at Oberwolfach, Germany, April 25 - May 1, 1976, pp. 65-84, 1976, Springer, 978-3-540-08069-5. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
38 | J. Albrecht, H. Engels |
Zur numerischen Integration über Kreisbereichen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constructive Theory of Functions of Several Variables ![In: Constructive Theory of Functions of Several Variables: Proceedings of a Conference Held at Oberwolfach, Germany, April 25 - May 1, 1976, pp. 1-5, 1976, Springer, 978-3-540-08069-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constructive Theory of Functions of Several Variables ![In: Constructive Theory of Functions of Several Variables: Proceedings of a Conference Held at Oberwolfach, Germany, April 25 - May 1, 1976, pp. 141-154, 1976, Springer, 978-3-540-08069-5. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
38 | Walter Schempp |
Approximation in G-homogeneous Banach spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constructive Theory of Functions of Several Variables ![In: Constructive Theory of Functions of Several Variables: Proceedings of a Conference Held at Oberwolfach, Germany, April 25 - May 1, 1976, pp. 220-225, 1976, Springer, 978-3-540-08069-5. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
38 | M. Reimer |
Clenshaw sums in several variables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constructive Theory of Functions of Several Variables ![In: Constructive Theory of Functions of Several Variables: Proceedings of a Conference Held at Oberwolfach, Germany, April 25 - May 1, 1976, pp. 176-185, 1976, Springer, 978-3-540-08069-5. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
38 | Franz-Jürgen Delvos, Horst Posdorf |
N-th order blending. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constructive Theory of Functions of Several Variables ![In: Constructive Theory of Functions of Several Variables: Proceedings of a Conference Held at Oberwolfach, Germany, April 25 - May 1, 1976, pp. 53-64, 1976, Springer, 978-3-540-08069-5. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
38 | Werner Haußmann, Peter Pottinger |
On multivariate approximation by continuous linear operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constructive Theory of Functions of Several Variables ![In: Constructive Theory of Functions of Several Variables: Proceedings of a Conference Held at Oberwolfach, Germany, April 25 - May 1, 1976, pp. 101-108, 1976, Springer, 978-3-540-08069-5. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
38 | K. Jetter, F. Locher |
A note on numerical Fourier analysis and uniform approximation on cubes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constructive Theory of Functions of Several Variables ![In: Constructive Theory of Functions of Several Variables: Proceedings of a Conference Held at Oberwolfach, Germany, April 25 - May 1, 1976, pp. 109-118, 1976, Springer, 978-3-540-08069-5. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
38 | Walter Schempp |
Bernstein polynomials in several variables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constructive Theory of Functions of Several Variables ![In: Constructive Theory of Functions of Several Variables: Proceedings of a Conference Held at Oberwolfach, Germany, April 25 - May 1, 1976, pp. 212-219, 1976, Springer, 978-3-540-08069-5. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
38 | Wilhelm Niethammer |
On the numerical analytic continuation of power series. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constructive Theory of Functions of Several Variables ![In: Constructive Theory of Functions of Several Variables: Proceedings of a Conference Held at Oberwolfach, Germany, April 25 - May 1, 1976, pp. 164-175, 1976, Springer, 978-3-540-08069-5. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
38 | K. Böhmer, Gh. Coman |
Blending interpolation schemes on triangles with error bounds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constructive Theory of Functions of Several Variables ![In: Constructive Theory of Functions of Several Variables: Proceedings of a Conference Held at Oberwolfach, Germany, April 25 - May 1, 1976, pp. 14-37, 1976, Springer, 978-3-540-08069-5. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
38 | Jan Boman |
Comparison theorems for generalized moduli of continuity. Vector-valued measures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constructive Theory of Functions of Several Variables ![In: Constructive Theory of Functions of Several Variables: Proceedings of a Conference Held at Oberwolfach, Germany, April 25 - May 1, 1976, pp. 38-52, 1976, Springer, 978-3-540-08069-5. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
38 | W. Schäfer, Walter Schempp |
Error bounds for bivariate spline interpolation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constructive Theory of Functions of Several Variables ![In: Constructive Theory of Functions of Several Variables: Proceedings of a Conference Held at Oberwolfach, Germany, April 25 - May 1, 1976, pp. 196-211, 1976, Springer, 978-3-540-08069-5. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
38 | Jean Duchon |
Splines minimizing rotation-invariant semi-norms in Sobolev spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constructive Theory of Functions of Several Variables ![In: Constructive Theory of Functions of Several Variables: Proceedings of a Conference Held at Oberwolfach, Germany, April 25 - May 1, 1976, pp. 85-100, 1976, Springer, 978-3-540-08069-5. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
38 | Matthew Spinks, Robert Veroff |
Constructive Logic with Strong Negation is a Substructural Logic. II. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 89(3), pp. 401-425, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 88(3), pp. 325-348, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trans. Petri Nets Other Model. Concurr. ![In: Transactions on Petri Nets and Other Models of Concurrency I, pp. 1-18, 2008, Springer, 978-3-540-89286-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WKDD ![In: Proceedings of the International Workshop on Knowledge Discovery and Data Mining, WKDD 2008, Adelaide, Australia, 23-24 January 2008, pp. 235-239, 2008, IEEE Computer Society, 0-7695-3090-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICANN (2) ![In: Artificial Neural Networks - ICANN 2008, 18th International Conference, Prague, Czech Republic, September 3-6, 2008, Proceedings, Part II, pp. 744-753, 2008, Springer, 978-3-540-87558-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SpringSim (3) ![In: Proceedings of the 2007 Spring Simulation Multiconference, SpringSim 2007, Norfolk, Virginia, USA, March 25-29, 2007, Volume 3, pp. 327-336, 2007, SCS/ACM, 1-56555-314-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIC (3) ![In: Advanced Intelligent Computing Theories and Applications. With Aspects of Contemporary Intelligent Computing Techniques, Third International Conference on Intelligent Computing, ICIC 2007, Qingdao, China, August 21-24, 2007. Proceedings, pp. 1-10, 2007, Springer, 978-3-540-74281-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symposium on Solid and Physical Modeling ![In: Proceedings of the 2007 ACM Symposium on Solid and Physical Modeling, Beijing, China, June 4-6, 2007, pp. 85-95, 2007, ACM, 978-1-59593-666-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPAA ![In: SPAA 2007: Proceedings of the 19th Annual ACM Symposium on Parallelism in Algorithms and Architectures, San Diego, California, USA, June 9-11, 2007, pp. 105-115, 2007, ACM, 978-1-59593-667-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSKT ![In: Rough Sets and Knowledge Technology, First International Conference, RSKT 2006, Chongqing, China, July 24-26, 2006, Proceedings, pp. 396-401, 2006, Springer, 3-540-36297-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), Nicosia, Cyprus, March 14-17, 2004, pp. 1468-1475, 2004, ACM, 1-58113-812-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004, Proceedings, pp. 284-298, 2004, Springer, 3-540-22671-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming, 7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004, Proceedings, pp. 39-54, 2004, Springer, 3-540-21402-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECML ![In: Machine Learning: ECML 2004, 15th European Conference on Machine Learning, Pisa, Italy, September 20-24, 2004, Proceedings, pp. 192-204, 2004, Springer, 3-540-23105-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003, Proceedings, pp. 496-497, 2003, Springer, 3-540-20642-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIME ![In: Artificial Intelligence Medicine, 8th Conference on AI in Medicine in Europe, AIME 2001, Cascais, Portugal, July 1-4, 2001, Proceedings, pp. 59-62, 2001, Springer, 3-540-42294-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROMICRO ![In: 23rd EUROMICRO Conference '97, New Frontiers of Information Technology, 1-4 September 1997, Budapest, Hungary, pp. 541-548, 1997, IEEE Computer Society, 0-8186-8129-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 5th International Conference, CPAIOR 2008, Paris, France, May 20-23, 2008, Proceedings, pp. 112-126, 2008, Springer, 978-3-540-68154-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
37 | Suisin Khoo, Tom Gedeon |
Generalisation Performance vs. Architecture Variations in Constructive Cascade Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICONIP (2) ![In: Advances in Neuro-Information Processing, 15th International Conference, ICONIP 2008, Auckland, New Zealand, November 25-28, 2008, Revised Selected Papers, Part II, pp. 236-243, 2008, Springer, 978-3-642-03039-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
37 | Robert L. Constable, Wojciech Moczydlowski |
Extracting Programs from Constructive HOL Proofs Via IZF Set-Theoretic Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAR ![In: Automated Reasoning, Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings, pp. 162-176, 2006, Springer, 3-540-37187-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
37 | Christian Blum 0001, Mateu Yábar Vallès |
New Constructive Heuristics for DNA Sequencing by Hybridization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WABI ![In: Algorithms in Bioinformatics, 6th International Workshop, WABI 2006, Zurich, Switzerland, September 11-13, 2006, Proceedings, pp. 355-365, 2006, Springer, 3-540-39583-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
37 | Daniel Monegatto Santoro, Maria do Carmo Nicoletti |
Investigating a Wrapper Approach for Selecting Features Using Constructive Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITCC (2) ![In: International Symposium on Information Technology: Coding and Computing (ITCC 2005), Volume 2, 4-6 April 2005, Las Vegas, Nevada, USA, pp. 77-82, 2005, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
37 | Stelian Alupoaei, Srinivas Katkoori |
Net Clustering Based Constructive and Iterative Improvement Approaches for Macro-Cell Placement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. VLSI Signal Process. ![In: J. VLSI Signal Process. 37(1), pp. 151-163, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australian Conference on Artificial Intelligence ![In: AI 2003: Advances in Artificial Intelligence, 16th Australian Conference on Artificial Intelligence, Perth, Australia, December 3-5, 2003, Proceedings, pp. 954-965, 2003, Springer, 3-540-20646-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SODA ![In: Proceedings of the Twelfth Annual Symposium on Discrete Algorithms, January 7-9, 2001, Washington, DC, USA., pp. 496-505, 2001, ACM/SIAM, 0-89871-490-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
37 | Benjamin Schmitt, Alexander A. Pasko, Christophe Schlick |
Constructive modeling of FRep solids using spline volumes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symposium on Solid Modeling and Applications ![In: Sixth ACM Symposium on Solid Modeling and Applications, Sheraton Inn, Ann Arbor, Michigan, USA, June 4-8, 2001, pp. 321-322, 2001, ACM, 1-58113-366-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TYPES ![In: Types for Proofs and Programs, International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000, Selected Papers, pp. 96-111, 2000, Springer, 3-540-43287-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBRN ![In: 5th Brazilian Symposium on Neural Networks (SBRN '98), 9-11 December 1998, Belo Horizonte, Brazil, pp. 112-117, 1998, IEEE Computer Society, 0-8186-8629-4. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
37 | Andrei Voronkov |
Towards the Theory of Programming in Constructive Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: ESOP'90, 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990, Proceedings, pp. 421-435, 1990, Springer, 3-540-52592-0. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
37 | James A. Altucher, Prakash Panangaden |
A Mechanically Assisted Constructive Proof in Category Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: 10th International Conference on Automated Deduction, Kaiserslautern, FRG, July 24-27, 1990, Proceedings, pp. 500-513, 1990, Springer, 3-540-52885-7. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
34 | David Doty |
Every Sequence Is Decompressible from a Random One. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Logical Approaches to Computational Barriers, Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006, Proceedings, pp. 153-162, 2006, Springer, 3-540-35466-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPCO ![In: Integer Programming and Combinatorial Optimization, 8th International IPCO Conference, Utrecht, The Netherlands, June 13-15, 2001, Proceedings, pp. 145-159, 2001, Springer, 3-540-42225-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis, 5th International Symposium, SAS '98, Pisa, Italy, September 14-16, 1998, Proceedings, pp. 82-98, 1998, Springer, 3-540-65014-8. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2015 |
RDF |
|
32 | Tomasz Maszczyk, Marek Grochowski, Wlodzislaw Duch |
Discovering Data Structures Using Meta-learning, Visualization and Constructive Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advances in Machine Learning II ![In: Advances in Machine Learning II, Dedicated to the Memory of Professor Ryszard S. Michalski, pp. 467-484, 2010, Springer, 978-3-642-05178-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
New Gener. Comput. ![In: New Gener. Comput. 27(1), pp. 25-56, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Neural Process. Lett. ![In: Neural Process. Lett. 27(3), pp. 209-226, 2008. The full citation details ...](Pics/full.jpeg) |
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][ >>] |
|