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