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
24Martin Plümicke Typeless programming in Java 5.0 with wildcards. Search on Bibsonomy PPPJ The full citation details ... 2007 DBLP  DOI  BibTeX  RDF program design and implementation, code generation, type system, type inference, language design
24Didier Rémy MLF for everyone (users, implementers, and designers). Search on Bibsonomy ML The full citation details ... 2007 DBLP  DOI  BibTeX  RDF graphs, ML, types, type inference, unification, System F, binders, type constraints, MLF
24Rómer Rosales, Stan Sclaroff Combining Generative and Discriminative Models in a Framework for Articulated Pose Estimation. Search on Bibsonomy Int. J. Comput. Vis. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF human body pose, hand pose, nonrigid and articulated pose estimation, generative and discriminative models, mixture models, statistical inference, expectation maximization algorithm
24Alwen Tiu A Local System for Intuitionistic Logic. Search on Bibsonomy LPAR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF locality, proof theory, intuitionistic logic, intermediate logics, deep inference, calculus of structures
24Hyun-Uk Hwang, Minsoo Kim 0002, Bong-Nam Noh Expert System Using Fuzzy Petri Nets in Computer Forensics. Search on Bibsonomy ICHIT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF expert system, Computer forensics, inference rule, fuzzy Petri nets, hacking
24Daniel S. Dantas, David Walker 0001, Geoffrey Washburn, Stephanie Weirich PolyAML: a polymorphic aspect-oriented functional programming language. Search on Bibsonomy ICFP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF aspects-oriented programming, functional programming, type systems, type inference, ad-hoc polymorphism
24Michael Furr, Jeffrey S. Foster Checking type safety of foreign function calls. Search on Bibsonomy PLDI The full citation details ... 2005 DBLP  DOI  BibTeX  RDF FFI, flow-sensitive type system, foreign function calls, multi-lingual type inference, multi-lingual type system, representational type, dataflow analysis, OCaml, foreign function interface
24Andrei Stoica, Csilla Farkas Ontology Guided XML Security Engine. Search on Bibsonomy J. Intell. Inf. Syst. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF ontology based inference attack, multi-level XML security, data aggregation, XML security
23Jacques Chodorowski, Laurent Miclet Applying Grammatical Inference in Learning a Language Model for Oral Dialogue. Search on Bibsonomy ICGI The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Speech Recognition, Grammatical Inference
23Gholamreza Salimi Khorshidi, Stephen M. Smith 0001, Thomas E. Nichols Adjusting the Neuroimaging Statistical Inferences for Nonstationarity. Search on Bibsonomy MICCAI (1) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
23Rongjing Xiang, Jennifer Neville Pseudolikelihood EM for Within-network Relational Learning. Search on Bibsonomy ICDM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
23Jerod J. Weinman, Lam C. Tran, Christopher J. Pal Efficiently Learning Random Fields for Stereo Vision with Sparse Message Passing. Search on Bibsonomy ECCV (1) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
23Jennifer Neville, David D. Jensen Bias/Variance Analysis for Relational Domains. Search on Bibsonomy ILP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
23Nebojsa Jojic, John M. Winn, C. Lawrence Zitnick Escaping local minima through hierarchical model selection: Automatic object discovery, segmentation, and tracking in video. Search on Bibsonomy CVPR (1) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
23Gustav Nordh, Peter Jonsson An Algebraic Approach to the Complexity of Propositional Circumscription. Search on Bibsonomy LICS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
23R. Ghosh-Roy An Extended Type Generalization of Standard ML Polymorphism (Abstract). Search on Bibsonomy ACM Conference on Computer Science The full citation details ... 1990 DBLP  DOI  BibTeX  RDF ML
23Nipat Jongsawat, Wichian Premchaiswadi Bayesian Network Inference with Qualitative Expert Knowledge for Decision Support Systems. Search on Bibsonomy SNPD The full citation details ... 2010 DBLP  DOI  BibTeX  RDF Bayesian network inference, qualitative expert knowledge, probability inequality constraints Bayesian network, Bayesian network inference, qualitative expert knowledge, probability inequ, Bayesian network, decision-support systems, decision-support systems
23Kurt Partridge, Bob Price Enhancing Mobile Recommender Systems with Activity Inference. Search on Bibsonomy UMAP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF recommender systems, Bayesian Inference, activity inference
23Thierry Carron, Patrick Lambert Fuzzy color edge extraction by inference rules quantitative study and evaluation of performances. Search on Bibsonomy ICIP The full citation details ... 1995 DBLP  DOI  BibTeX  RDF fuzzy color edge extraction, inference rules quantitative study, hue saturation intensity, HSI space, color edge detection, performances, fuzzy logic, edge detection, inference mechanisms, image colour analysis, synthetic images, noise sensitivity, fuzzy if-then rules, edges localization
23Dit-Yan Yeung A grammatical inference approach to on-line handwriting modeling and recognition: a pilot study. Search on Bibsonomy ICDAR The full citation details ... 1995 DBLP  DOI  BibTeX  RDF on-line handwriting modeling, discrete-time recurrent neural network, subgrammar network models, temporal sequence processing, handwriting recognition, unsupervised learning, inference mechanisms, grammatical inference, temporal sequences
23David A. McAllester Automatic Recognition of Tractability in Inference Relations. Search on Bibsonomy J. ACM The full citation details ... 1993 DBLP  DOI  BibTeX  RDF machine inference, theorem proving, polynomial-time algorithm, automated reasoning, inference rules, proof theory, proof systems, mechanical verification
23Chuang Lin 0002, Abhijit Chaudhury, Andrew B. Whinston, Dan C. Marinescu Logical Inference of Horn Clauses in Petri Net Models. Search on Bibsonomy IEEE Trans. Knowl. Data Eng. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF net model, logical inconsistency check, T-invariants, one-literal, pure-literal, splitting clauses, Petri nets, inference mechanisms, resolution, propositional logic, Horn clauses, Horn clauses, Petri net models, first-order predicate logic, logical inference
22Menno van Zaanen, Jeroen Geertzen Problems with Evaluation of Unsupervised Empirical Grammatical Inference Systems. Search on Bibsonomy ICGI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
22Alexander Clark Large Scale Inference of Deterministic Transductions: Tenjinno Problem 1. Search on Bibsonomy ICGI The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
22Nikolaos Karampatziakis, Georgios Paliouras, Dimitrios Pierrakos, Panagiotis Stamatopoulos Navigation Pattern Discovery Using Grammatical Inference. Search on Bibsonomy ICGI The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
22Manel Zarrouk Consolidation endogène de réseaux lexico-sémantiques : Inférence et annotation de relations, règles d'inférence et langage dédié. (Endogeneous Consolidation of Lexical Semantic Networks / Endogeneous Consolidation of Lexical Semantic Networks : Inference and annotation of semantic relations, inference rules and Domain-Specific Language ). Search on Bibsonomy 2015   RDF
22Djallel Bouneffouf 0002 Rôle de l'inférence temporelle dans la reconnaissance de l'inférence textuelle. (Role of the temporal inference in the recognition of textual inference). Search on Bibsonomy 2008   RDF
22Marie-Christine Lagasquie-Schiex Contribution à l'étude des relations d'inférence non-monotone combinant inférence classique et préférences. (A Contribution to the study of non-monotonic inference relationships combining classical inference and preferences). Search on Bibsonomy 1995   RDF
22Pui-Yu Hui, Wai Kit Lo, Helen M. Meng Usage patterns and latent semantic analyses for task goal inference of multimodal user interactions. Search on Bibsonomy IUI The full citation details ... 2010 DBLP  DOI  BibTeX  RDF latent semantic modeling, spoken input, task goal inference, singular value decomposition, multimodal input, pen gesture
22George K. Baah, Andy Podgurski, Mary Jean Harrold Causal inference for statistical fault localization. Search on Bibsonomy ISSTA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF potential outcome model, debugging, program analysis, fault localization, causal inference
22Dan Roth, Rajhans Samdani Learning Multi-linear Representations of Distributions for Efficient Inference. Search on Bibsonomy ECML/PKDD (1) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Learning Distributions, Multi-linear Polynomials, Graphical Models, Probabilistic Inference
22Andrés Cano, Manuel Gómez-Olmedo, Serafín Moral Binary Probability Trees for Bayesian Networks Inference. Search on Bibsonomy ECSQARU The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Bayesian networks inference, variable elimination algorithm, probability trees, deterministic algorithms, approximate computation
22Eric I. Hsu, Sheila A. McIlraith VARSAT: Integrating Novel Probabilistic Inference Techniques with DPLL Search. Search on Bibsonomy SAT The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Survey Propagation/EMBP, Variable/Value Ordering Heuristics, Probabilistic Inference
22Inês Lynce, João Marques-Silva 0001, Steve Prestwich Boosting Haplotype Inference with Local Search. Search on Bibsonomy Constraints An Int. J. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Local search, Boolean satisfiability, Haplotype inference
22Carmen Díaz, Inmaculada de la Fuente, Carmen Batanero Implications between learning outcomes in elementary bayesian inference. Search on Bibsonomy Statistical Implicative Analysis The full citation details ... 2008 DBLP  DOI  BibTeX  RDF undergraduate students, assessment, teaching, Bayesian inference, conditional probability
22Jeff B. Paris, Soroush R. Rad Inference Processes for Quantified Predicate Knowledge. Search on Bibsonomy WoLLIC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF inference processes, Uncertain reasoning, Renyi Entropies, probability logic
22Daan Leijen HMF: simple type inference for first-class polymorphism. Search on Bibsonomy ICFP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF first-class polymorphism, type inference
22Qunyi Zhou, Wenxin Wang The Automatic Inference of Arden Medical Logic Modules. Search on Bibsonomy BMEI (1) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Arden, Inference, Clinical Decision Support System
22Christoph Csallner, Nikolai Tillmann, Yannis Smaragdakis DySy: dynamic symbolic execution for invariant inference. Search on Bibsonomy ICSE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF daikon, dynamic invariant inference, dysy, pex, symbolic reasoning
22Kazutaka Shimada, Tsutomu Endo Seeing Several Stars: A Rating Inference Task for a Document Containing Several Evaluation Criteria. Search on Bibsonomy PAKDD The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Rating inference, Sentiment analysis, Review mining
22Mohsen Taherian, Morteza Amini, Rasool Jalili Trust Inference in Web-Based Social Networks Using Resistive Networks. Search on Bibsonomy ICIW The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Trust Inference, Web-based Social Networks, Resistive Circuits
22Andrew Coyle, Miro Kraetzl, Olaf Maennel, Matthew Roughan On the predictive power of shortest-path weight inference. Search on Bibsonomy Internet Measurement Conference The full citation details ... 2008 DBLP  DOI  BibTeX  RDF routing, topology, inference
22Antonio A. Márquez, Francisco Alfredo Márquez, Antonio Peregrín Cooperation between the Inference System and the Rule Base by Using Multiobjective Genetic Algorithms. Search on Bibsonomy HAIS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF interpretability-accuracy trade-off, Multiobjective genetic algorithms, adaptive inference system, adaptive defuzzification, rule selection, Linguistic fuzzy modeling
22Xenofontas A. Dimitropoulos, Dmitri V. Krioukov, Marina Fomenkov, Bradley Huffaker, Young Hyun, Kimberly C. Claffy, George F. Riley AS relationships: inference and validation. Search on Bibsonomy Comput. Commun. Rev. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF inference, as relationships, routing policies
22Phiniki Stouppa A Deep Inference System for the Modal Logic S5. Search on Bibsonomy Stud Logica The full citation details ... 2007 DBLP  DOI  BibTeX  RDF modal logic S5, cutadmissibility, proof theory, deep inference, calculus of structures
22Min-Soo Kim 0004 Performance Improvement of the Attitude Estimation System Using Fuzzy Inference and Genetic Algorithms. Search on Bibsonomy Analysis and Design of Intelligent Systems using Soft Computing Techniques The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Attitude Estimation System, Genetic Algorithm, Fuzzy Inference
22Hichem Maaref, Kadda Meguenni Zemalache, Lotfi Beji Self-tunable Fuzzy Inference System: A Comparative Study for a Drone. Search on Bibsonomy Analysis and Design of Intelligent Systems using Soft Computing Techniques The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Static Feedback Linearization controller, Drone, Optimization, Dynamic systems, Fuzzy Inference System, Tracking control
22Hichem Maaref, Kadda Meguenni Zemalache, Lotfi Beji Self-tunable Fuzzy Inference System: A Comparative Study for a Drone. Search on Bibsonomy IFSA (2) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Static Feedback Linearization controller, Drone, Optimization, Dynamic systems, Fuzzy Inference System, Tracking control
22Joachim Biskup, Dominique Marc Burgard, Torben Weibert, Lena Wiese Inference Control in Logic Databases as a Constraint Satisfaction Problem. Search on Bibsonomy ICISS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF confidentiality, constraint satisfaction problems, Inference control, constraint hierarchies, logic databases
22Paramvir Bahl, Ranveer Chandra, Albert G. Greenberg, Srikanth Kandula, David A. Maltz, Ming Zhang 0005 Towards highly reliable enterprise network services via inference of multi-level dependencies. Search on Bibsonomy SIGCOMM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF network and service management, dependencies, fault localization, probabilistic inference
22Liza Leslie, Tat-Seng Chua, Ramesh C. Jain Annotation of paintings with high-level semantic concepts using transductive inference and ontology-based concept disambiguation. Search on Bibsonomy ACM Multimedia The full citation details ... 2007 DBLP  DOI  BibTeX  RDF multi-expert, ontology-based disambiguation, paintings, concepts ontology, transductive inference
22Kyung-Wook Park, Jin-Woo Jeong, Dong-Ho Lee OLYBIA: Ontology-Based Automatic Image Annotation System Using Semantic Inference Rules. Search on Bibsonomy DASFAA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF high-level concepts, semantic inference rules, MPEG-7 visual descriptors, ontologies, semantic gap
22Ana Graça, João Marques-Silva 0001, Inês Lynce, Arlindo L. Oliveira Efficient Haplotype Inference with Pseudo-boolean Optimization. Search on Bibsonomy AB The full citation details ... 2007 DBLP  DOI  BibTeX  RDF pure parsimony, pseudo-Boolean optimization, haplotype inference
22Sungsoo Lim, Sung-Bae Cho Intelligent OS Process Scheduling Using Fuzzy Inference with User Models. Search on Bibsonomy IEA/AIE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF OS process scheduling, process classification, user’s preference, fuzzy inference system
22Albert Kong Sparse distributed fuzzy inference systems. Search on Bibsonomy Soft Comput. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF High order problems, Distributed, Fuzzy inference system (FIS), Sparse
22Leon Poladian, Lars S. Jermiin Multi-objective evolutionary algorithms and phylogenetic inference with multiple data sets. Search on Bibsonomy Soft Comput. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Evolutionary algorithms, Phylogenetic inference, Multiobjective optimisation
22Slobodan Ribaric, Nikola Pavesic A Recognition-Inference Procedure for a Knowledge Representation Scheme Based on Fuzzy Petri Nets. Search on Bibsonomy MICAI The full citation details ... 2006 DBLP  DOI  BibTeX  RDF inference procedure, knowledge representation, recognition, Fuzzy Petri Net
22Christian Spieth, Nadine Hassis, Felix Streichert Comparing mathematical models on the problem of network inference. Search on Bibsonomy GECCO The full citation details ... 2006 DBLP  DOI  BibTeX  RDF evolutionary computation, inference, systems biology
22Tobias Lindahl, Konstantinos Sagonas Practical type inference based on success typings. Search on Bibsonomy PPDP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF success typings, Erlang, subtyping, constraint-based type inference
22Robin Abraham, Martin Erwig Type inference for spreadsheets. Search on Bibsonomy PPDP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF type inference, templates, end-user software engineering
22P. Nagabhushan, Shanmukhappa A. Angadi, Basavaraj S. Anami A Fuzzy Symbolic Inference System for Postal Address Component Extraction and Labelling. Search on Bibsonomy FSKD The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Postal address component labelling, Fuzzy methodology, Symbolic similarity measure, alpha cut based de-fuzzification, Inference System
22Xiangdong An 0001, Dawn N. Jutla, Nick Cercone Dynamic inference control in privacy preference enforcement. Search on Bibsonomy PST The full citation details ... 2006 DBLP  DOI  BibTeX  RDF privacy protection, dynamic bayesian networks, inference control, ubiquitous environments
22Wei Li 0022 An Inductive Inference System and Its Rationality. Search on Bibsonomy AISC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF inference, induction, Belief, rationality, refutation
22Swaroop Sridhar, Jonathan S. Shapiro Type inference for unboxed types and first class mutability. Search on Bibsonomy PLOS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF BitC, polymorphism, type inference, mutability
22Marc Bernard, Jean-Christophe Janodet, Marc Sebban A Discriminative Model of Stochastic Edit Distance in the Form of a Conditional Transducer. Search on Bibsonomy ICGI The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Stochastic Transducers, Edit Distance, Grammatical Inference, Discriminative Models
22Alberto Ceselli, Ernesto Damiani, Sabrina De Capitani di Vimercati, Sushil Jajodia, Stefano Paraboschi, Pierangela Samarati Modeling and assessing inference exposure in encrypted databases. Search on Bibsonomy ACM Trans. Inf. Syst. Secur. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF database service, Cryptography, indexing, inference
22Jianguo Ding, Bernd J. Krämer, Yingcai Bai, Hansheng Chen 0003 Backward Inference in Bayesian Networks for Distributed Systems Management. Search on Bibsonomy J. Netw. Syst. Manag. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF backward inference, Bayesian networks, uncertainty, Distributed systems management
22Yao-Ting Huang, Kun-Mao Chao, Ting Chen 0006 An approximation algorithm for haplotype inference by maximum parsimony. Search on Bibsonomy SAC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF integer quadratic programming, algorithm, maximum parsimony, haplotype inference, semi-definite programming
22Didier Rémy Simple, partial type-inference for System F based on type-containment. Search on Bibsonomy ICFP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF type containment, type reconstruction, polymorphism, type inference, System F, elaboration
22Andrew T. Smith 0001, Charles Elkan A Bayesian network framework for reject inference. Search on Bibsonomy KDD The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Heckman estimator, reject inference, Bayesian networks, expectation-maximization, sample selection bias, propensity scores
22Manish Vachharajani, Neil Vachharajani, Sharad Malik, David I. August Facilitating reuse in hardware models with enhanced type inference. Search on Bibsonomy CODES+ISSS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF component overloading, polymorphism, type inference, component reuse, liberty simulation environment (LSE)
22Jonathan J. Forster, John W. McDonald, Peter W. F. Smith Markov chain Monte Carlo exact inference for binomial and multinomial logistic regression models. Search on Bibsonomy Stat. Comput. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF conditional inference, exact confidence interval, exact test, Markov chain Monte Carlo, logistic regression, Metropolis-Hastings algorithm, goodness-of-fit test, residual analysis
22Mariluz Martínez, Gelver Vargas, Andrés Dorado, Marta Millán Mining Association Rules Using Fuzzy Inference on Web Data. Search on Bibsonomy AWIC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF data mining, association rules, frequent pattern mining, fuzzy inference systems
22Guizhen Yang, I. V. Ramakrishnan, Michael Kifer On the complexity of schema inference from web pages in the presence of nullable data attributes. Search on Bibsonomy CIKM The full citation details ... 2003 DBLP  DOI  BibTeX  RDF data mining, machine learning, world wide web, web mining, data extraction, wrapper induction, schema inference
22Ismael Sanz, Juan Manuel Pérez, Rafael Berlanga Llavori, María José Aramburu Cabo XML Schemata Inference and Evolution. Search on Bibsonomy DEXA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Document Clustering, XML Databases, Schema Inference
22Bastiaan Heeren, Jurriaan Hage, S. Doaitse Swierstra Scripting the type inference process. Search on Bibsonomy ICFP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF domain-specific programming, constraints, type inference, directives, type errors
22Amaury Habrard, Marc Bernard, Marc Sebban Improvement of the State Merging Rule on Noisy Data in Probabilistic Grammatical Inference. Search on Bibsonomy ECML The full citation details ... 2003 DBLP  DOI  BibTeX  RDF probabilistic grammatical inference, statistical approaches, noisy data
22Yang Qu II, Chuang Lin 0002, Jiye Wang Linear Temporal Inference of Workflow Management Systems Based on Timed Petri Nets Models. Search on Bibsonomy EDCIS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF linear inference, Workflow, timed Petri nets, temporal
22Alan L. Yuille, James M. Coughlan Fundamental Limits of Bayesian Inference: Order Parameters and Phase Transitions for Road Tracking. Search on Bibsonomy IEEE Trans. Pattern Anal. Mach. Intell. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Bayesian inference, phase transitions, curve tracking
22Benjamin C. Pierce, David N. Turner Local type inference. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF polymorphism, type inference, subtyping
22A. J. Kfoury, Santiago M. Pericás-Geertsen Type Inference for Recursive Definitions. Search on Bibsonomy LICS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF type systems, type inference, lambda calculus, unification, software specification
22Oukseh Lee, Kwangkeun Yi Proofs about a Folklore Let-Polymorphic Type Inference Algorithm. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF type inference algorithm, type error
22Parag Havaldar, Gérard G. Medioni Inference of segmented, volumetric shape from three intensity images. Search on Bibsonomy CVPR The full citation details ... 1996 DBLP  DOI  BibTeX  RDF volumetric shape, volumetric descriptions, weakly calibrated images, robust inference, image segmentation, segmented, object recognition, texture, grouping, stereo, shadows, shape description, generalized cylinders, intensity images
22Ronald L. Rivest, Robert E. Schapire Diversity-Based Inference of Finite Automata. Search on Bibsonomy J. ACM The full citation details ... 1994 DBLP  DOI  BibTeX  RDF diversity-based representation, permutation automata, finite automata, learning theory, inductive inference
22Konstantin Läufer, Martin Odersky Polymorphic Type Inference and Abstract Data Types. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF existentially quantified types, first-class abstract types, universally quantified types, polymorphism, type inference, dynamic dispatching
22Ashwin Ram 0001, Lawrence Hunter The use of explicit goals for knowledge to guide inference and learning. Search on Bibsonomy Appl. Intell. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF Knowledge goals, diagnostic problem solving, learning, inference, natural language understanding
22Chris S. Wallace Classification by Minimum-Message-Length Inference. Search on Bibsonomy ICCI The full citation details ... 1990 DBLP  DOI  BibTeX  RDF Classification, Unsupervised learning, Coding, Induction, Statistical inference, Minimum message length
22Philippe Jorrand Design and Implementaion of a Parallel Inference Machine for First Order Logic: An Overview. Search on Bibsonomy PARLE (1) The full citation details ... 1987 DBLP  DOI  BibTeX  RDF parallel inference, FP2, parallel programming, logic programming, program transformation, parallel machines, communicating processes, connection method
21Grzegorz Malinowski Inferential Intensionality. Search on Bibsonomy Stud Logica The full citation details ... 2004 DBLP  DOI  BibTeX  RDF consequence, C-equivalence, C-equality, rule of inference, Tarski, ukasiewicz, modal system, modal logic, inference, proof, acceptance, rejection, four-valued logic, four-valued logic
21Matthew J. Beal, Nebojsa Jojic, Hagai Attias A Graphical Model for Audiovisual Object Tracking. Search on Bibsonomy IEEE Trans. Pattern Anal. Mach. Intell. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF speaker modeling, automatic calibrations, multimedia, tracking, video, multimodal, Audio, speech, Bayesian inference, vision, graphical models, generative models, cameras, variational methods, microphone arrays, probabilistic inference, expectation-maximization (EM) algorithm, audiovisual
21Yang Song, Pietro Perona A Computational Model for Motion Detection and Direction Discrimination in Humans. Search on Bibsonomy Workshop on Human Motion The full citation details ... 2000 DBLP  DOI  BibTeX  RDF direction discrimination, biological motion, joint probability density function, human motion perception, computer vision, learning (artificial intelligence), learning, probability, computational model, inference mechanisms, motion detection, biology computing, statistical inference, image motion analysis, psychophysics experiments, quantitative models
21Susumu Tsuhara RDB structure chart display using fuzzy rules. Search on Bibsonomy ICPADS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF RDB structure chart display, information network users, table structures, high quality structure chart, fuzzy logic, relational databases, relational database, graphical user interfaces, graphical user interface, inference mechanisms, fuzzy rules, fuzzy inference, end user computing
21David R. Smith Hardware Synthesis From Encapsulated Verilog Modules. Search on Bibsonomy ASAP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF encapsulated Verilog modules, Verilog writing style, code complexity, automatic inference of control, low level simulation, computational complexity, logic design, inference mechanisms, hardware description languages, hardware synthesis, control points, clock cycle
21Yuntao Cui, Daniel L. Swets, Juyang Weng Learning-Based Hand Sign Recognition Using SHOSLIF-M. Search on Bibsonomy ICCV The full citation details ... 1995 DBLP  DOI  BibTeX  RDF SHOSLIF-M, self-organizing framework, learning-based hand sign recognition, spatiotemporal event recognition, spatiotemporal event learning, intensity image sequences, multiclass multivariate discriminant analysis, most discriminating features, space partition tree, logarithmic retrieval time complexity, interpolation scheme, view inference, computer vision, computational complexity, database, object recognition, interpolation, generalization, image sequences, patterns, image recognition, inference mechanisms, learning systems, generalisation (artificial intelligence), recognition rate, multivariable systems, self-adjusting systems
21John Krumm, Steven A. Shafer Texture Segmentation and Shape in the Same Image. Search on Bibsonomy ICCV The full citation details ... 1995 DBLP  DOI  BibTeX  RDF uniformly textured surfaces, 3D shape inference, 3D effects, region-growing algorithm, image spectrogram, local surface normals, local frequency domain, image segmentation, inference mechanisms, image texture, texture segmentation, image understanding, shape-from-texture, shape segmentation, 3D scenes
21Henry Lieberman The Visual Language of Experts in Graphic Design. Search on Bibsonomy VL The full citation details ... 1995 DBLP  DOI  BibTeX  RDF graphic design experts, visual problem solving experts, computer-based image-editing tools, inference techniques, design professionals, informal knowledge engineering study, design communication, beginning designer teaching, knowledge acquisition system, computer graphics, knowledge acquisition, visual languages, visual language, problem solving, inference mechanisms, student, graphic designers, computer aided instruction, intelligent assistance, novices, learning by example, books, design knowledge, graphical editors, artificial intelligence techniques, intelligent design assistants, learning techniques
21Jürgen Landauer, Masahito Hirakawa Visual AWK: A Model for Text Processing by Demonstration. Search on Bibsonomy VL The full citation details ... 1995 DBLP  DOI  BibTeX  RDF Visual AWK, control structure inference, user-intended generalization, vertical demonstration, pattern-action paradigm, spreadsheet metaphor, usability, feedback, visual programming, visual languages, inference mechanisms, programming-by-demonstration, program visualization, generalisation (artificial intelligence), expressive power, text processing, word processing, visual feedback, visual programming language, spreadsheet programs
21Fengrong Ren, Hiroshi Tanaka, Noria Fukuda, Takashi Gojobori Molecular evolutionary phylogenetic trees based on minimum description length principle. Search on Bibsonomy HICSS (5) The full citation details ... 1995 DBLP  DOI  BibTeX  RDF molecular evolutionary phylogenetic trees, minimum complexity phylogenetic tree, branch lengths, logarithmic likelihood, mitochondrial DNA sequences, complexity, trees (mathematics), inference mechanisms, DNA, genetics, biology computing, inductive inference, minimum description length principle, tree topology
21Gregoris Mentzas, I. Linardopoulos, Vassilis Assimakopoulos An architechture for intelligent assistance in the forecasting process. Search on Bibsonomy HICSS (3) The full citation details ... 1995 DBLP  DOI  BibTeX  RDF forecasting theory, forecasting process, decision-making tasks, inference procedures, knowledge-based techniques, statistical forecasting, generic forecasting process, Intelligent Forecasting Information System, IFIS, process expert, learning expert, data expert, model expert, knowledge representation, knowledge representation, decision support systems, decision support systems, expert systems, inference mechanisms, intelligent assistance, expertise modelling
21William L. Kuechler Jr., Nina Lim, Vijay K. Vaishnavi A smart object approach to hybrid knowledge representation and reasoning strategies. Search on Bibsonomy HICSS (3) The full citation details ... 1995 DBLP  DOI  BibTeX  RDF smart object approach, reasoning strategies, human reasoning, non-trivial real world problems, multiple reasoning strategies, multiple domain knowledge, smart object paradigm, complex knowledge based systems, multiple inference strategies, engineered artifacts, high level object structure, rule based lower level language, complex knowledge based system, prototype KBS, object-oriented programming, knowledge representation, knowledge based systems, inference mechanisms, hybrid knowledge representation
Displaying result #401 - #500 of 36860 (100 per page; Change: )
Pages: [<<][1][2][3][4][5][6][7][8][9][10][11][12][13][14][>>]
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