The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1957-1967 (16) 1969-1972 (15) 1973-1974 (23) 1975-1976 (22) 1977 (22) 1978 (20) 1979 (19) 1980 (33) 1981 (25) 1982 (29) 1983 (39) 1984 (59) 1985 (67) 1986 (105) 1987 (107) 1988 (133) 1989 (159) 1990 (209) 1991 (172) 1992 (213) 1993 (216) 1994 (281) 1995 (211) 1996 (223) 1997 (203) 1998 (277) 1999 (276) 2000 (357) 2001 (390) 2002 (573) 2003 (561) 2004 (855) 2005 (915) 2006 (1118) 2007 (1260) 2008 (1399) 2009 (1133) 2010 (926) 2011 (820) 2012 (1022) 2013 (1147) 2014 (995) 2015 (1055) 2016 (1264) 2017 (1316) 2018 (1778) 2019 (2152) 2020 (2535) 2021 (2780) 2022 (3101) 2023 (3479) 2024 (755)
Publication types (Num. hits)
article(16629) book(47) data(11) incollection(385) inproceedings(19047) phdthesis(688) proceedings(53)
Venues (Conferences, Journals, ...)
CoRR(5843) Diagrams(593) ICGI(388) Bioinform.(378) ICML(355) AAAI(308) NeurIPS(284) NIPS(262) UAI(244) AISTATS(233) Comput. Stat. Data Anal.(222) IEEE Access(217) PLoS Comput. Biol.(202) CVPR(189) FUZZ-IEEE(183) IJCAI(177) More (+10 of total 4525)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 8625 occurrences of 3570 keywords

Results
Found 36860 publication records. Showing 36860 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
26Hooi-Hooi Lean, Geok Peng Yeap The Inflation Hedging Ability of Domestic Gold in Malaysia. Search on Bibsonomy Causal Inference in Econometrics The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
26Xue Gong, Songsak Sriboonchitta The Causal Relationship between Government Opinions and Chinese Stock Market in Social Media Era. Search on Bibsonomy Causal Inference in Econometrics The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
26Pathairat Pastpipatkul, Woraphon Yamaka, Songsak Sriboonchitta Dependence Structure of and Co-Movement Between Thai Currency and International Currencies After Introduction of Quantitative Easing. Search on Bibsonomy Causal Inference in Econometrics The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
26Kanchit Suknark, Jirakom Sirisrisakulchai, Songsak Sriboonchitta Modeling Dependence of Health Behaviors Using Copula-Based Bivariate Ordered Probit. Search on Bibsonomy Causal Inference in Econometrics The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
26Roengchai Tansuchat, Paravee Maneejuk, Aree Wiboonpongse, Songsak Sriboonchitta Price Transmission Mechanism in the Thai Rice Market. Search on Bibsonomy Causal Inference in Econometrics The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
26Vladik Kreinovich, Olga Kosheleva, Hung T. Nguyen 0002, Songsak Sriboonchitta Invariance Explains Multiplicative and Exponential Skedactic Functions. Search on Bibsonomy Causal Inference in Econometrics The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
26Pathairat Pastpipatkul, Woraphon Yamaka, Songsak Sriboonchitta Analyzing Financial Risk and Co-Movement of Gold Market, and Indonesian, Philippine, and Thailand Stock Markets: Dynamic Copula with Markov-Switching. Search on Bibsonomy Causal Inference in Econometrics The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
26Kittawit Autchariyapanitkul, Sutthiporn Piamsuwannakit, Somsak Chanaim, Songsak Sriboonchitta Optimizing Stock Returns Portfolio Using the Dependence Structure Between Capital Asset Pricing Models: A Vine Copula-Based Approach. Search on Bibsonomy Causal Inference in Econometrics The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
26Duangthip Sirikanchanarak, Jianxu Liu, Songsak Sriboonchitta, Jiachun Xie Analysis of Transmission and Co-Movement of Rice Export Prices Between Thailand and Vietnam. Search on Bibsonomy Causal Inference in Econometrics The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
26Tanaporn Tungtrakul, Kunsuda Nimanussornkul, Songsak Sriboonchitta Macroeconomic Factors Affecting the Growth Rate of FDI of AEC Member Countries Using Panel Quantile Regression. Search on Bibsonomy Causal Inference in Econometrics The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
26Renato A. Villano, Euan Fleming, Jonathan Moss Spatial Econometric Analysis: Potential Contribution to the Economic Analysis of Smallholder Development. Search on Bibsonomy Causal Inference in Econometrics The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
26Nantiworn Thianpaen, Somsak Chanaim, Jirakom Sirisrisakulchai, Songsak Sriboonchitta Efficient Frontier of Global Healthcare Portfolios Using High Dimensions of Copula Models. Search on Bibsonomy Causal Inference in Econometrics The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
26Chen Yang, Songsak Sriboonchitta, Jirakom Sirisrisakulchai, Jianxu Liu Modeling Co-Movement and Risk Management of Gold and Silver Spot Prices. Search on Bibsonomy Causal Inference in Econometrics The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
26Pathairat Pastpipatkul, Paravee Maneejuk, Aree Wiboonpongse, Songsak Sriboonchitta Seemingly Unrelated Regression Based Copula: An Application on Thai Rice Market. Search on Bibsonomy Causal Inference in Econometrics The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
26Nyo Min, Songsak Sriboonchitta, Vicente Ramos Nonlinear Estimations of Tourist Arrivals to Thailand: Forecasting Tourist Arrivals by Using SETAR Models and STAR Models. Search on Bibsonomy Causal Inference in Econometrics The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
26Vladik Kreinovich, Olga Kosheleva, Hung T. Nguyen 0002, Songsak Sriboonchitta Why Some Families of Probability Distributions Are Practically Efficient: A Symmetry-Based Explanation. Search on Bibsonomy Causal Inference in Econometrics The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
26Wannaphong Durongkaveroj Does Economic Growth Help Reducing Poverty? A Case of Thailand in Recent Data. Search on Bibsonomy Causal Inference in Econometrics The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
26Pathairat Pastpipatkul, Woraphon Yamaka, Songsak Sriboonchitta Effect of Quantitative Easing on ASEAN-5 Financial Markets. Search on Bibsonomy Causal Inference in Econometrics The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
26Radim Jirousek Brief Introduction to Causal Compositional Models. Search on Bibsonomy Causal Inference in Econometrics The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
26Mario V. Wüthrich Consistent Re-Calibration in Yield Curve Modeling: An Example. Search on Bibsonomy Causal Inference in Econometrics The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
26Vladik Kreinovich, Olga Kosheleva, Hung T. Nguyen 0002, Songsak Sriboonchitta Across-the-Board Spending Cuts Are Very Inefficient: A Proof. Search on Bibsonomy Causal Inference in Econometrics The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
26Monica Billio, Maddalena Cavicchioli Validating Markov Switching VAR Through Spectral Representations. Search on Bibsonomy Causal Inference in Econometrics The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
26Popkarn Arwatchanakarn, Akhand Akhtar Hossain Empirical Relationship Among Money, Output and Prices in Thailand. Search on Bibsonomy Causal Inference in Econometrics The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
26Warut Pannakkong, Van-Nam Huynh, Songsak Sriboonchitta ARIMA Versus Artificial Neural Network for Thailand's Cassava Starch Export Forecasting. Search on Bibsonomy Causal Inference in Econometrics The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
26Apiwat Ayusuk, Songsak Sriboonchitta Copula Based Volatility Models and Extreme Value Theory for Portfolio Simulation with an Application to Asian Stock Markets. Search on Bibsonomy Causal Inference in Econometrics The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
26Bernhard Schölkopf, Zhiyuan Luo 0001, Vladimir Vovk (eds.) Empirical Inference - Festschrift in Honor of Vladimir N. Vapnik Search on Bibsonomy Empirical Inference The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
26David McAllester, Takintayo Akinbiyi PAC-Bayesian Theory. Search on Bibsonomy Empirical Inference The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
26Robert C. Williamson Loss Functions. Search on Bibsonomy Empirical Inference The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
26Jason Weston Statistical Learning Theory in Practice. Search on Bibsonomy Empirical Inference The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
26Andreas Argyriou, Luca Baldassarre, Charles A. Micchelli, Massimiliano Pontil On Sparsity Inducing Regularization Methods for Machine Learning. Search on Bibsonomy Empirical Inference The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
26Yevgeny Seldin, Bernhard Schölkopf On the Relations and Differences Between Popper Dimension, Exclusion Dimension and VC-Dimension. Search on Bibsonomy Empirical Inference The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
26Bernhard Schölkopf, Dominik Janzing, Jonas Peters, Eleni Sgouritsa, Kun Zhang 0001, Joris M. Mooij Semi-supervised Learning in Causal and Anticausal Settings. Search on Bibsonomy Empirical Inference The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
26Vladimir Koltchinskii Sharp Oracle Inequalities in Low Rank Estimation. Search on Bibsonomy Empirical Inference The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
26Nicolò Cesa-Bianchi, Ohad Shamir Efficient Transductive Online Learning via Randomized Rounding. Search on Bibsonomy Empirical Inference The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
26Mark Stevens, Samy Bengio, Yoram Singer Efficient Learning of Sparse Ranking Functions. Search on Bibsonomy Empirical Inference The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
26Ingo Steinwart Some Remarks on the Statistical Analysis of SVMs and Related Methods. Search on Bibsonomy Empirical Inference The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
26Masashi Sugiyama Direct Approximation of Divergences Between Probability Distributions. Search on Bibsonomy Empirical Inference The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
26John C. Snyder, Sebastian Mika, Kieron Burke, Klaus-Robert Müller Kernels, Pre-images and Optimization. Search on Bibsonomy Empirical Inference The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
26Robert E. Schapire Explaining AdaBoost. Search on Bibsonomy Empirical Inference The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
26Christian Widmer, Marius Kloft, Gunnar Rätsch Multi-task Learning for Computational Biology: Overview and Outlook. Search on Bibsonomy Empirical Inference The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
26Eric Gautier, Alexandre B. Tsybakov Pivotal Estimation in High-Dimensional Regression via Linear Programming. Search on Bibsonomy Empirical Inference The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
26Vladimir Naumovich Vapnik, Alexey Ya. Chervonenkis On the Uniform Convergence of the Frequencies of Occurrence of Events to Their Probabilities. Search on Bibsonomy Empirical Inference The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
26Silvia Villa, Lorenzo Rosasco, Tomaso A. Poggio On Learnability, Complexity and Stability. Search on Bibsonomy Empirical Inference The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
26Léon Bottou In Hindsight: Doklady Akademii Nauk SSSR, 181(4), 1968. Search on Bibsonomy Empirical Inference The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
26Ran Gilad-Bachrach, Christopher J. C. Burges The Median Hypothesis. Search on Bibsonomy Empirical Inference The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
26Alexey Ya. Chervonenkis Early History of Support Vector Machines. Search on Bibsonomy Empirical Inference The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
26Luc Devroye, Paola G. Ferrario, László Györfi, Harro Walk Strong Universal Consistent Estimate of the Minimum Mean Squared Error. Search on Bibsonomy Empirical Inference The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
26Andreas Christmann, Robert Hable On the Consistency of the Bootstrap Approach for Support Vector Machines and Related Kernel-Based Methods. Search on Bibsonomy Empirical Inference The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
26Vladimir Vovk Kernel Ridge Regression. Search on Bibsonomy Empirical Inference The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
26John Angus, Matthew J. Beal, Juan Li, Claudia Rangel, David L. Wild Inferring Transcriptional Networks Using Prior Biological Knowledge and Constrained State-Space Models. Search on Bibsonomy Learning and Inference in Computational Systems Biology The full citation details ... 2010 DBLP  BibTeX  RDF
26Johannes Jaeger, Nicholas A. M. Monk Reverse Engineering of Gene Regulatory Networks. Search on Bibsonomy Learning and Inference in Computational Systems Biology The full citation details ... 2010 DBLP  BibTeX  RDF
26Darren J. Wilkinson, Andrew Golightly Markov Chain Monte Carlo Algorithms for SDE Parameter Estimation. Search on Bibsonomy Learning and Inference in Computational Systems Biology The full citation details ... 2010 DBLP  BibTeX  RDF
26Mark Girolami, Ben Calderhead, Vladislav Vyshemirsky System Identification and Model Ranking: The Bayesian Perspective. Search on Bibsonomy Learning and Inference in Computational Systems Biology The full citation details ... 2010 DBLP  BibTeX  RDF
26Florence d'Alché-Buc, Nicolas Brunei Estimation of Parametric Nonlinear ODEs for Biological Networks Identification. Search on Bibsonomy Learning and Inference in Computational Systems Biology The full citation details ... 2010 DBLP  BibTeX  RDF
26Kuang Lin, Dirk Husmeier Mixtures of Factor Analyzers for Modeling Transcriptional Regulation. Search on Bibsonomy Learning and Inference in Computational Systems Biology The full citation details ... 2010 DBLP  BibTeX  RDF
26Neil D. Lawrence, Magnus Rattray, Pei Gao, Michalis K. Titsias Gaussian Processes for Missing Species in Biochemical Systems. Search on Bibsonomy Learning and Inference in Computational Systems Biology The full citation details ... 2010 DBLP  BibTeX  RDF
26Sorin Istrail, Michael S. Waterman, Andrew G. Clark (eds.) Computational Methods for SNPs and Haplotype Inference, DIMACS/RECOMB Satellite Workshop, Piscataway, NJ, USA, November 21-22, 2002, Revised Papers Search on Bibsonomy Computational Methods for SNPs and Haplotype Inference The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
26Josep Domingo-Ferrer (eds.) Inference Control in Statistical Databases, From Theory to Practice Search on Bibsonomy Inference Control in Statistical Databases The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
26Kui Zhang, Ting Chen 0006, Michael S. Waterman, Zhaohui S. Qin, Jun S. Liu, Fengzhu Sun Dynamic Programming Algorithms for Haplotype Block Partitioning and Tag SNP Selection Using Haplotype Data or Genotype Data. Search on Bibsonomy Computational Methods for SNPs and Haplotype Inference The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
26Maoxia Zheng, Mary Sara McPeek Parametric Bootstrap for Assessment of Goodness of Fit of Models for Block Haplotype Structure. Search on Bibsonomy Computational Methods for SNPs and Haplotype Inference The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
26Ying Wang, Bruce Rannala Simulating a Coalescent Process with Recombination and Ascertainment. Search on Bibsonomy Computational Methods for SNPs and Haplotype Inference The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
26Russell Schwartz, Andrew G. Clark, Sorin Istrail Inferring Piecewise Ancestral History from Haploid Sequences. Search on Bibsonomy Computational Methods for SNPs and Haplotype Inference The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
26E. A. Thompson, Nicola H. Chapman Haplotype Blocks in Small Populations. Search on Bibsonomy Computational Methods for SNPs and Haplotype Inference The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
26Sebastian Zöllner, Jonathan K. Pritchard A Coalescent-Based Approach for Complex Disease Mapping. Search on Bibsonomy Computational Methods for SNPs and Haplotype Inference The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
26Bjarni V. Halldórsson, Vineet Bafna, Nathan Edwards, Ross Lippert, Shibu Yooseph, Sorin Istrail A Survey of Computational Methods for Determining Haplotypes. Search on Bibsonomy Computational Methods for SNPs and Haplotype Inference The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
26Laura Zayatz SDC in the 2000 U.S. Decennial Census. Search on Bibsonomy Inference Control in Statistical Databases The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
26Ramesh A. Dandekar, Josep Domingo-Ferrer, Francesc Sebé LHS-Based Hybrid Microdata vs Rank Swapping and Microaggregation for Numeric Microdata Protection. Search on Bibsonomy Inference Control in Statistical Databases The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Microdata masking, synthetic microdata generation, rank swapping, microaggregation
26Julià Urrutia, Enric Ripoll Empirical Evidences on Protecting Population Uniqueness at Idescat. Search on Bibsonomy Inference Control in Statistical Databases The full citation details ... 2002 DBLP  DOI  BibTeX  RDF unique populations, anonymized records, re-identification and subsample methods, information loss, Disclosure risk
26Lawrence H. Cox Bounds on Entries in 3-Dimensional Contingency Tables Subject to Given Marginal Totals. Search on Bibsonomy Inference Control in Statistical Databases The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
26Silvia Polettini, Luisa Franconi, Julian Stander Model Based Disclosure Protection. Search on Bibsonomy Inference Control in Statistical Databases The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Business microdata, protection models, confidentiality, regression models, performance assessment
26Eric Schulte Nordholt Applications of Statistical Disclosure Control at Statistics Netherlands. Search on Bibsonomy Inference Control in Statistical Databases The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
26Ruth Brand Microdata Protection through Noise Addition. Search on Bibsonomy Inference Control in Statistical Databases The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Statistical disclosure control, microdata protection, noise addition
26Peter-Paul de Wolf HiTaS: A Heuristic Approach to Cell Suppression in Hierarchical Tables. Search on Bibsonomy Inference Control in Statistical Databases The full citation details ... 2002 DBLP  DOI  BibTeX  RDF table suppression, hierarchical structure, Statistical Disclosure Control, top-down method
26Francesc Sebé, Josep Domingo-Ferrer, Josep Maria Mateo-Sanz, Vicenç Torra Post-Masking Optimization of the Tradeoff between Information Loss and Disclosure Risk in Masked Microdata Sets. Search on Bibsonomy Inference Control in Statistical Databases The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Microdata masking, Post-masking optimization, Synthetic microdata generation, Information loss, Disclosure risk
26William E. Yancey, William E. Winkler, Robert H. Creecy Disclosure Risk Assessment in Perturbative Microdata Protection. Search on Bibsonomy Inference Control in Statistical Databases The full citation details ... 2002 DBLP  DOI  BibTeX  RDF rank swapping, EM Algorithm, record linkage, Additive noise, mixtures
26Dale A. Robertson, Richard Ethier Cell Suppression: Experience and Theory. Search on Bibsonomy Inference Control in Statistical Databases The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Disclosure avoidance, Cell sensitivity
26Anco Hundepool The CASC Project. Search on Bibsonomy Inference Control in Statistical Databases The full citation details ... 2002 DBLP  DOI  BibTeX  RDF &#55-ARGUS, tex2html_wrap_inline97-ARGUS, Statistical Disclosure Control, microdata, tabular data
26Ramesh A. Dandekar, Michael Cohen, Nancy Kirkendall Sensitive Micro Data Protection Using Latin Hypercube Sampling Technique. Search on Bibsonomy Inference Control in Statistical Databases The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
26Sarah Giessing, Dietz Repsilber Tools and Strategies to Protect Multiples Tables with the GHQUAR Cell Suppression Engine. Search on Bibsonomy Inference Control in Statistical Databases The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
26Mark Elliot Integrating File and Record Level Disclosure Risk Assessment. Search on Bibsonomy Inference Control in Statistical Databases The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Disclosure Risk Assessment, Data Intrusion Simulation, Special Uniques, Microdata
26Juan José Salazar González Extending Cell Suppression to Protect Tabular Data against Several Attackers. Search on Bibsonomy Inference Control in Statistical Databases The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
26Jordi Castro 0001 Network Flows Heuristics for Complementary Cell Suppression: An Empirical Evaluation and Extensions. Search on Bibsonomy Inference Control in Statistical Databases The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Complementary cell suppression problem, network flows with side constraints, multicommodity network flows, linear programming, network optimization
26Bertram Fronhöfer, Graham Wrightson (eds.) Parallelization in Inference Systems, International Workshop, Dagstuhl Castle, Germany, December 17-18, 1990, Proceedings Search on Bibsonomy Dagstuhl Seminar on Parallelization in Inference Systems The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
26Michel Dorochevsky, Kees Schuerman, André Véron, Jiyang Xu ElipSys. Search on Bibsonomy Dagstuhl Seminar on Parallelization in Inference Systems The full citation details ... 1990 DBLP  BibTeX  RDF
26Claude Kirchner, Patrick Viry Implementing Parallel Rewriting. Search on Bibsonomy Dagstuhl Seminar on Parallelization in Inference Systems The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
26Katherine A. Yelick Parallel Completion. Search on Bibsonomy Dagstuhl Seminar on Parallelization in Inference Systems The full citation details ... 1990 DBLP  BibTeX  RDF
26Owen L. Astrachan METEORs: High Performance Theorem Provers Using Model Elimination. Search on Bibsonomy Dagstuhl Seminar on Parallelization in Inference Systems The full citation details ... 1990 DBLP  BibTeX  RDF
26Trent E. Lange ROBIN: Massively Parallel Inferencing and Disambiguation in Structured Connectionist Networks. Search on Bibsonomy Dagstuhl Seminar on Parallelization in Inference Systems The full citation details ... 1990 DBLP  BibTeX  RDF
26Joachim Hertzberg, Hans W. Guesgen qwertz. Search on Bibsonomy Dagstuhl Seminar on Parallelization in Inference Systems The full citation details ... 1990 DBLP  BibTeX  RDF
26Mounira Belmesk, Zineb Habbas, Philippe Jorrand A Process Algebra over the Herbrand Universe: Application to Parallelism in Automated Deduction. Search on Bibsonomy Dagstuhl Seminar on Parallelization in Inference Systems The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
26Daniel Neimann Parallel Rule-Firing Production Systems. Search on Bibsonomy Dagstuhl Seminar on Parallelization in Inference Systems The full citation details ... 1990 DBLP  BibTeX  RDF
26David M. W. Powers Parallel and Efficient Implementation of the Compartmentalized Connection Graph Proof Procedure: Resolution to Unification. Search on Bibsonomy Dagstuhl Seminar on Parallelization in Inference Systems The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
26Robert Johnson Parallel, Concurrent Theorem Proving. Search on Bibsonomy Dagstuhl Seminar on Parallelization in Inference Systems The full citation details ... 1990 DBLP  BibTeX  RDF
26Johann Schumann Parallel Theorem Provers - An Overview. Search on Bibsonomy Dagstuhl Seminar on Parallelization in Inference Systems The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
26James G. Schmolze Parallel Production Systems. Search on Bibsonomy Dagstuhl Seminar on Parallelization in Inference Systems The full citation details ... 1990 DBLP  BibTeX  RDF
26Geoff Sutcliffe Parallel Linear & UR-Deduction. Search on Bibsonomy Dagstuhl Seminar on Parallelization in Inference Systems The full citation details ... 1990 DBLP  BibTeX  RDF
26Christian B. Suttner A Parallel Theorem Prover with Heuristic Work Distribution. Search on Bibsonomy Dagstuhl Seminar on Parallelization in Inference Systems The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
26Roman Blasko Parallel Logic Programs on Transputers. Search on Bibsonomy Dagstuhl Seminar on Parallelization in Inference Systems The full citation details ... 1990 DBLP  BibTeX  RDF
26Ron Sun Integrating Rules and Connectionism for Robust Reasoning. Search on Bibsonomy Dagstuhl Seminar on Parallelization in Inference Systems The full citation details ... 1990 DBLP  BibTeX  RDF
26Nissim Francez Distributed Logic Programming. Search on Bibsonomy Dagstuhl Seminar on Parallelization in Inference Systems The full citation details ... 1990 DBLP  BibTeX  RDF
Displaying result #201 - #300 of 36860 (100 per page; Change: )
Pages: [<<][1][2][3][4][5][6][7][8][9][10][11][12][>>]
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