|
|
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 |
19 | Masami Hagiya, Ryo Takemura, Koichi Takahashi, Takamichi Saito |
Verification of Authentication Protocols Based on the Binding Relation. |
ISSS |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Christopher Lynch, Barbara Morawska 0001 |
Goal-Directed E-Unification. |
RTA |
2001 |
DBLP DOI BibTeX RDF |
|
19 | Guo-Qiang Zhang 0001, William C. Rounds |
Complexity of Power Default Reasoning. |
LICS |
1997 |
DBLP DOI BibTeX RDF |
|
19 | Mauro Gaspari, Enrico Motta, Arthur Stutt |
An Open Framework for Cooperative Problem Solving. |
IEEE Expert |
1995 |
DBLP DOI BibTeX RDF |
|
19 | Martin R. Frank, James D. Foley |
A Pure Reasoning Engine for Programming by Demonstration. |
ACM Symposium on User Interface Software and Technology |
1994 |
DBLP DOI BibTeX RDF |
programming by demonstration |
19 | Randal L. Walser, Bruce H. McCormick |
A system for priming a clinical knowledge base. |
AFIPS National Computer Conference |
1977 |
DBLP DOI BibTeX RDF |
|
19 | Pretesh B. Patel, Tshilidzi Marwala |
Neural Networks, Fuzzy Inference Systems and Adaptive-Neuro Fuzzy Inference Systems for Financial Decision Making. |
ICONIP (3) |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Wieslaw Pawlowski |
Presenting and Combining Inference Systems: Presentations with Inference Rules. |
WADT |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Cláudia Antunes, Arlindo L. Oliveira |
Inference of Sequential Association Rules Guided by Context-Free Grammars. |
ICGI |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Christopher Kermorvant, Pierre Dupont |
Stochastic Grammatical Inference with Multinomial Tests. |
ICGI |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Alexander S. Saidi, Souad Tayeb-bey |
Grammatical Inference in Document Recognition. |
ICGI |
1998 |
DBLP DOI BibTeX RDF |
|
18 | Ritendra Datta, James Ze Wang |
ACQUINE: aesthetic quality inference engine - real-time automatic rating of photo aesthetics. |
Multimedia Information Retrieval |
2010 |
DBLP DOI BibTeX RDF |
inference, aesthetics, image quality, photography |
18 | Vetle I. Torvik, Evangelos Triantaphyllou |
Inference of Monotone Boolean Functions. |
Encyclopedia of Optimization |
2009 |
DBLP DOI BibTeX RDF |
Isotone Boolean function, Antitone Boolean function, Boolean function inference problem, Free distributive lattice, Interactive learning of Boolean functions, Shannon function, Hansel theorem, Hansel chain, Sequential Hansel chains question-asking strategy, Binary search-Hansel chains question-asking strategy, Boolean function, Conjunctive normal form, CNF, Binary search, Classification problem, Disjunctive normal form, DNF, Monotone Boolean function |
18 | Yi-Ling Chen 0004, Shang-Hong Lai |
Creating MPU implicit surfaces from unoriented point sets with orientation inference. |
Vis. Comput. |
2009 |
DBLP DOI BibTeX RDF |
Orientation inference, Implicit surfaces, Sharp features |
18 | Mehmet Saltan, Serdal Terzi |
Backcalculation of Pavement Layer Thickness and Moduli Using Adaptive Neuro-fuzzy Inference System. |
Intelligent and Soft Computing in Infrastructure Systems Engineering |
2009 |
DBLP DOI BibTeX RDF |
Backcalculation, Adaptive neural based fuzzy inference system, Flexible pavements, Nondestructive Testing |
18 | Alberto Fernández 0001, María José del Jesus, Francisco Herrera |
Improving the Performance of Fuzzy Rule Based Classification Systems for Highly Imbalanced Data-Sets Using an Evolutionary Adaptive Inference System. |
IWANN (1) |
2009 |
DBLP DOI BibTeX RDF |
Parametric Conjunction Operators, Imbalanced Data-Sets, Genetic Fuzzy Systems, Inference System, Fuzzy Rule-Based Classification Systems |
18 | Melinda T. Gervasio, Janet L. Murdock |
What were you thinking?: filling in missing dataflow through inference in learning from demonstration. |
IUI |
2009 |
DBLP DOI BibTeX RDF |
knowledge-base inference, task learning, end-user programming, programming by demonstration, programming by example |
18 | Shahrani Shahbudin, Aini Hussain, Ahmed El-Shafie 0001, Nooritawati Md. Tahir, Salina Abdul Samad |
Adaptive-Neuro Fuzzy Inference System for Human Posture Classification Using a Simplified Shock Graph. |
IVIC |
2009 |
DBLP DOI BibTeX RDF |
simplified shock graph (SSG), Artificial Neural Network (ANN), Adaptive-Neuro Fuzzy Inference System (ANFIS) |
18 | Matthias Kranz, Eduard Weber, Korbinian Frank, Daniel Hermosilla Galceran |
Open vehicular data interfaces for in-car context inference. |
AutomotiveUI |
2009 |
DBLP DOI BibTeX RDF |
vehicular interfaces, context awareness, context inference |
18 | Giuseppe Aiello, Antonella Certa, Mario Enea |
A Fuzzy Inference Expert System to Support the Decision of Deploying a Military Naval Unit to a Mission. |
WILF |
2009 |
DBLP DOI BibTeX RDF |
mission reliability, decision support system, fuzzy inference |
18 | V. Benjamin Livshits, Aditya V. Nori, Sriram K. Rajamani, Anindya Banerjee 0001 |
Merlin: specification inference for explicit information flow problems. |
PLDI |
2009 |
DBLP DOI BibTeX RDF |
security analysis tools, specification inference |
18 | Mário Augusto da Costa Torres, Rodrigo Magno Silva, Otávio Noura Teixeira, Roberto Limão |
A fuzzy inference system-inspired influence function for the cultural algorithm with evolutionary programming applied to real-valued function optimization. |
GECCO |
2009 |
DBLP DOI BibTeX RDF |
real-valued unconstrained function optimization, evolutionary programming, fuzzy inference systems, cultural algorithms |
18 | Fabrício Martins Lopes, Evaldo Araújo de Oliveira, Roberto M. Cesar |
Analysis of the GRNs Inference by Using Tsallis Entropy and a Feature Selection Approach. |
CIARP |
2009 |
DBLP DOI BibTeX RDF |
feature selection, bioinformatics, validation, inference, gene regulatory networks, Tsallis entropy |
18 | Agustín Gajate, Rodolfo E. Haber, José R. Alique, Pastora I. Vega |
Transductive-Weighted Neuro-Fuzzy Inference System for Tool Wear Prediction in a Turning Process. |
HAIS |
2009 |
DBLP DOI BibTeX RDF |
Transductive reasoning, Neuro-fuzzy inference system, Tool wear, Modeling |
18 | Haibing Lu, Yingjiu Li |
Practical Inference Control for Data Cubes. |
IEEE Trans. Dependable Secur. Comput. |
2008 |
DBLP DOI BibTeX RDF |
Data dependencies, Inference engines |
18 | Takeshi Yamakawa, Takanori Koga |
Bio-inspired Self-Organizing Relationship Network as Knowledge Acquisition Tool and Fuzzy Inference Engine. |
WCCI |
2008 |
DBLP DOI BibTeX RDF |
self-organizing relationship (SOR) network, attractive/repulsive learning, self-organizing maps (SOM), knowledge acquisition, intelligent control, fuzzy inference, defuzzification, fuzzy IF-THEN rules |
18 | Ben Bellamy, Pavel Avgustinov, Oege de Moor, Damien Sereni |
Efficient local type inference. |
OOPSLA |
2008 |
DBLP DOI BibTeX RDF |
program analysis, type inference |
18 | Shun-Fang Yang, Jung-Shyr Wu, Bor-Jiunn Hwang |
Admission control for multi-services traffic in hierarchical MobileIPv6 networks using fuzzy inference system. |
Mobility Conference |
2008 |
DBLP DOI BibTeX RDF |
guard channel, multiple services, call admission control (CAC), handoff, mobile IPv6, fuzzy inference system (FIS) |
18 | Y. H. Lai, P. L. Lin |
Effective Segmentation for Dental X-Ray Images Using Texture-Based Fuzzy Inference System. |
ACIVS |
2008 |
DBLP DOI BibTeX RDF |
Dental X-ray image, Adaptive Local Contrast Stretching, Region Growing, Image Clustering, Fuzzy Inference System |
18 | Manuel Montenegro, Ricardo Peña-Marí, Clara Segura |
An Inference Algorithm for Guaranteeing Safe Destruction. |
LOPSTR |
2008 |
DBLP DOI BibTeX RDF |
type-based analysis, memory management, type inference |
18 | Kenji Hashimoto, Fumikazu Takasuka, Kimihide Sakano, Yasunori Ishihara, Toru Fujiwara |
Verification of the Security Against Inference Attacks on XML Databases. |
APWeb |
2008 |
DBLP DOI BibTeX RDF |
inference attack, security, verification, XML database |
18 | Maria Paola Bonacina, Nachum Dershowitz |
Abstract canonical inference. |
ACM Trans. Comput. Log. |
2007 |
DBLP DOI BibTeX RDF |
proof orderings, fairness, redundancy, completeness, completion, Inference, saturation, canonicity |
18 | James Hawthorne, David Makinson |
The Quantitative/Qualitative Watershed for Rules of Uncertain Inference. |
Stud Logica |
2007 |
DBLP DOI BibTeX RDF |
uncertain inference, consequence relations, Horn rules, probabilistic thresholds, conditional probabilities, nonmonotonic logic |
18 | Jeremy Schiff, Dominic Antonelli, Alexandros G. Dimakis, David Chu, Martin J. Wainwright |
Robust message-passing for statistical inference in sensor networks. |
IPSN |
2007 |
DBLP DOI BibTeX RDF |
reweighted belief propagation, sensor networks, statistical inference, message-passing algorithms |
18 | Pim van den Broek, Joost Noppen |
The Compositional Rule of Inference and Zadeh's Extension Principle for Non-normal Fuzzy Sets. |
IFSA (2) |
2007 |
DBLP DOI BibTeX RDF |
compositional rule of inference, fuzzy Booleans, extension principle |
18 | Sigmund Cherem, Radu Rugina |
Uniqueness inference for compile-time object deallocation. |
ISMM |
2007 |
DBLP DOI BibTeX RDF |
compile-time memory management, individual object deallocation, object destructors, uniqueness inference, program transformations |
18 | Sumit Gulwani, Nebojsa Jojic |
Program verification as probabilistic inference. |
POPL |
2007 |
DBLP DOI BibTeX RDF |
automated recovery machine, forward and backward analysis, over and under approximation, learning, program verification, Markov chain Monte Carlo, Gibbs sampling, belief networks, probabilistic inference, factor graphs |
18 | Shaogang Gong, Caifeng Shan, Tao Xiang 0002 |
Visual inference of human emotion and behaviour. |
ICMI |
2007 |
DBLP DOI BibTeX RDF |
behaviour profiling, body language recognition, human emotion recognition, intention inference, anomaly detection |
18 | Ismail Fahmi, Junte Zhang, Henk Ellermann, Gosse Bouma |
SWHi System Description: A Case Study in Information Retrieval, Inference, and Visualization in the Semantic Web. |
ESWC |
2007 |
DBLP DOI BibTeX RDF |
ontology, visualization, information retrieval, semantic web, inference |
18 | Kuei-Hsiang Chao, Yu-Ren Shen |
An Adaptive Speed Controller for Induction Motor Drives Using Adaptive Neuro-Fuzzy Inference System. |
ICIC (1) |
2007 |
DBLP DOI BibTeX RDF |
Indirect field-oriented induction motor drive system, two-degree-of- freedom controller, adaptive neuro-fuzzy inference system |
18 | George Kuan, David MacQueen |
Efficient type inference using ranked type variables. |
ML |
2007 |
DBLP DOI BibTeX RDF |
algorithm W, compilers, functional programming, type inference, type checking, standard ML |
18 | Joachim Biskup, Jan-Hendrik Lochner |
Enforcing Confidentiality in Relational Databases by Reducing Inference Control to Access Control. |
ISC |
2007 |
DBLP DOI BibTeX RDF |
potential secrets, Access control, relational databases, policy, information flow, confidentiality, database security, inference control |
18 | Shu-Yun Le, Jih-Hsiang Chen |
Statistical Inference on Distinct RNA Stem-Loops in Genomic Sequences. |
BIRD |
2007 |
DBLP DOI BibTeX RDF |
well-ordered RNA structure, microRNA stem-loops, dynamic programming, statistical inference |
18 | Özlem Uzun Araz |
Real-Time Controlled Multi-objective Scheduling Through ANNs and Fuzzy Inference Systems: The Case of DRC Manufacturing. |
International Conference on Computational Science (4) |
2007 |
DBLP DOI BibTeX RDF |
Dual Resource Constrained Manufacturing System, Artificial Neural Networks, Dynamic Scheduling, Fuzzy Inference Systems |
18 | Ran He, Stan Z. Li, Zhen Lei 0001, Shengcai Liao |
Coarse-to-Fine Statistical Shape Model by Bayesian Inference. |
ACCV (1) |
2007 |
DBLP DOI BibTeX RDF |
segmentation, Bayesian inference, Active shape model, statistical image analysis |
18 | William Ku, Mohan S. Kankanhalli, Joo-Hwee Lim |
Metadata Management, Reuse, Inference and Propagation in a Collection-Oriented Metadata Framework for Digital Images. |
MMM (2) |
2007 |
DBLP DOI BibTeX RDF |
Image Metadata Management, Collection-Oriented Framework, Group Effect, Social Networking Effect, Reuse, Inference, Propagation |
18 | Liza Leslie, Tat-Seng Chua, Ramesh C. Jain |
Auto-Annotation of Paintings Using Social Annotations, Domain Ontology and Transductive Inference. |
PCM |
2007 |
DBLP DOI BibTeX RDF |
Multi-expert Approach, Concept Disambiguation, Social Network, Learning, Annotation, Paintings, Domain Ontology, Transductive Inference, Probabilistic Clustering |
18 | Onno Zoeter, Tom Heskes |
Deterministic approximate inference techniques for conditionally Gaussian state space models. |
Stat. Comput. |
2006 |
DBLP DOI BibTeX RDF |
Conditionally Gaussian state space models, Switching linear dynamical systems, Expectation propagation, Assumed density filtering, State space models, Approximate inference |
18 | Daniel G. Brown 0001, Ian M. Harrower |
Integer Programming Approaches to Haplotype Inference by Pure Parsimony. |
IEEE ACM Trans. Comput. Biol. Bioinform. |
2006 |
DBLP DOI BibTeX RDF |
integer programming, biology and genetics, haplotype inference, Computations on discrete structures |
18 | David J. Russomanno |
A plausible inference prototype for the Semantic Web. |
J. Intell. Inf. Syst. |
2006 |
DBLP DOI BibTeX RDF |
Plausible inference, Composition of relations, Semantic web, RDF |
18 | Anna Zamansky, Nissim Francez, Yoad Winter |
A 'Natural Logic' inference system using the Lambek calculus. |
J. Log. Lang. Inf. |
2006 |
DBLP DOI BibTeX RDF |
Natural logic, Inference, Normalization, Lambek calculus |
18 | Christopher Town 0001 |
Ontological inference for image and video analysis. |
Mach. Vis. Appl. |
2006 |
DBLP DOI BibTeX RDF |
Perceptual inference, Knowledge-based computer vision, Ontologies, Content-based image retrieval, Video analysis |
18 | Yelizaveta Marchenko, Tat-Seng Chua, Ramesh C. Jain |
Transductive inference using multiple experts for brushwork annotation in paintings domain. |
ACM Multimedia |
2006 |
DBLP DOI BibTeX RDF |
brushwork, feature selection, painting, transductive inference |
18 | Katsuhiko Nakamura |
Incremental Learning of Context Free Grammars by Bridging Rule Generation and Search for Semi-optimum Rule Sets. |
ICGI |
2006 |
DBLP DOI BibTeX RDF |
CFL, bottom-up parsing, grammatical inference, Synapse, iterative deepening |
18 | Peng Liu 0005, Wanyu Zang, Meng Yu 0001 |
Incentive-based modeling and inference of attacker intent, objectives, and strategies. |
ACM Trans. Inf. Syst. Secur. |
2005 |
DBLP DOI BibTeX RDF |
Attacker intent and strategy modeling, attack strategy inference, game theory |
18 | Yufei Shu, Kazuo Furuta |
An inference method of team situation awareness based on mutual awareness. |
Cogn. Technol. Work. |
2005 |
DBLP DOI BibTeX RDF |
Team situation awareness, Mutual awareness, Cooperative activity, TSA inference, Team-machine interaction |
18 | Fabio Rapallo |
Algebraic exact inference for rater agreement models. |
Stat. Methods Appl. |
2005 |
DBLP DOI BibTeX RDF |
Cohen's kappa, Conditional inference, Diaconis-Sturmfels algorithm, Log-linear models |
18 | Ivan De Falco, Ernesto Tarantino, Antonio Della Cioppa, Alessandro Passaro |
Inductive inference of chaotic series by Genetic Programming: a Solomonoff-based approach. |
SAC |
2005 |
DBLP DOI BibTeX RDF |
chaotic series, genetic programming, inductive inference |
18 | Augustin Soule, Anukool Lakhina, Nina Taft, Konstantina Papagiannaki, Kavé Salamatian, Antonio Nucci, Mark Crovella, Christophe Diot |
Traffic matrices: balancing measurements, inference and modeling. |
SIGMETRICS |
2005 |
DBLP DOI BibTeX RDF |
internet traffic matrix estimation, principal components analysis, kalman filtering, statistical inference, traffic characterization |
18 | Cormac Flanagan, Stephen N. Freund, Marina Lifshin |
Type inference for atomicity. |
TLDI |
2005 |
DBLP DOI BibTeX RDF |
concurrency, reduction, type inference, atomicity |
18 | Wai-Shun Tong, Chi-Keung Tang, Philippos Mordohai, Gérard G. Medioni |
First Order Augmentation to Tensor Voting for Boundary Inference and Multiscale Analysis in 3D. |
IEEE Trans. Pattern Anal. Mach. Intell. |
2004 |
DBLP DOI BibTeX RDF |
first order voting, boundary inference, 3D perceptual organization, discontinuities, multiscale analysis, Tensor voting |
18 | Johan Bos |
Computational Semantics in Discourse: Underspecification, Resolution, and Inference. |
J. Log. Lang. Inf. |
2004 |
DBLP DOI BibTeX RDF |
discourse representation theory, scope ambiguities, structural ambiguities, theorem proving, inference, discourse analysis, computational semantics, underspecification, lexical ambiguities |
18 | Ying Wu 0001, Thomas S. Huang |
Robust Visual Tracking by Integrating Multiple Cues Based on Co-Inference Learning. |
Int. J. Comput. Vis. |
2004 |
DBLP DOI BibTeX RDF |
co-inference, factorized graphical model, importance sampling, visual tracking, sequential Monte Carlo, variational analysis |
18 | Ling Wang, Zhi-Chun Mu |
A New Support Vector Neural Network Inference System. |
Intelligent Information Processing |
2004 |
DBLP DOI BibTeX RDF |
support vector neural network inference system (SVNNIS), support vector machine(SVM), support vector regression(SVR), regression estimation |
18 | Julien Carme, Aurélien Lemay, Joachim Niehren |
Learning Node Selecting Tree Transducer from Completely Annotated Examples. |
ICGI |
2004 |
DBLP DOI BibTeX RDF |
tree automata and logics, grammatical inference, Web information extraction |
18 | Andrea Capotorti, L. Galli, Barbara Vantaggi |
Locally strong coherence and inference with lower-upper probabilities. |
Soft Comput. |
2003 |
DBLP DOI BibTeX RDF |
Lower-upper probabilities, Locally strong coherence, Inference |
18 | Jens P. Secher, Morten Heine Sørensen |
From checking to inference via driving and dag grammars. |
PEPM |
2002 |
DBLP DOI BibTeX RDF |
inference, supercompilation, program inversion |
18 | Andrew Graves, Mounia Lalmas |
Video retrieval using an MPEG-7 based inference network. |
SIGIR |
2002 |
DBLP DOI BibTeX RDF |
combination of evidence, structured video retrieval, MPEG-7, inference network |
18 | Zhuhan Jiang, Bruce E. Litow, Olivier Y. de Vel |
An Inference Implementation Based on Extended Weighted Finite Automata. |
ACSC |
2001 |
DBLP DOI BibTeX RDF |
Weighted finite automata, image compression, self-similarity, inference algorithm |
18 | Philip Hingston |
Inference of Regular Languages using Model Simplicity. |
ACSC |
2001 |
DBLP DOI BibTeX RDF |
Minimum Message Length principle, grammatical inference |
18 | Steve Lawrence, C. Lee Giles, Sandiway Fong |
Natural Language Grammatical Inference with Recurrent Neural Networks. |
IEEE Trans. Knowl. Data Eng. |
2000 |
DBLP DOI BibTeX RDF |
government-and-binding theory, principles-and-parameters framework, automata extraction, natural language processing, simulated annealing, Recurrent neural networks, grammatical inference, gradient descent |
18 | Giuliana Regoli |
Inference under imprecise probability assessments. |
Soft Comput. |
1999 |
DBLP DOI BibTeX RDF |
Grades of probability and prevision, comparative probability and prevision, coherent probability, robust Bayesian inference, computational techniques |
18 | Futoshi Kobayashi, Fumihito Arai, Toshio Fukuda, Koji Shimojima, Makoto Onoda, Norimasa Marui |
Sensor Fusion System Using Recurrent Fuzzy Inference. |
J. Intell. Robotic Syst. |
1998 |
DBLP DOI BibTeX RDF |
recurrent fuzzy inference, the steepest descent method, radial basis function, sensor fusion, incremental learning |
18 | Colin de la Higuera |
Learning Stochastic Finite Automata from Experts. |
ICGI |
1998 |
DBLP DOI BibTeX RDF |
identification with probability one, polynomial learning, stochastic deterministic finite automata, grammatical inference |
18 | François Coste, Jacques Nicolas |
How Considering Incompatible State Mergings May Reduce the DFA Induction Search Tree. |
ICGI |
1998 |
DBLP DOI BibTeX RDF |
grammatical inference, search tree, DFA, constraint system |
18 | José M. Sempere, G. Nagaraja |
Learning a Subclass of Linear Languages from Positive Structural Information. |
ICGI |
1998 |
DBLP DOI BibTeX RDF |
characterizable methods, Formal languages, grammatical inference, structural information |
18 | Reiner Hähnle, Neil V. Murray, Erik Rosenthal |
Completeness for Linear Regular Negation Normal Form Inference Systems. |
ISMIS |
1997 |
DBLP DOI BibTeX RDF |
tableau method, non-clausal inference, negation normal form, completeness, resolution, Logic for Artificial Intelligence |
18 | Andreas Hennig, Nasser Sherkat, Robert J. Whitrow |
Recognizing Letters in on-line Handwriting using Hierarchical Fuzzy Inference. |
ICDAR |
1997 |
DBLP DOI BibTeX RDF |
unconstrained script recognition, letter spotting, on-line pre-processing and encoding, hierarchical inference, fuzzy logic, production rules, zoning |
18 | Florin Fagarasan, Mircea Gh. Negoita |
A Genetic-Based Method for Learning the Parameters of a Fuzzy Inference System. |
ANNES |
1995 |
DBLP DOI BibTeX RDF |
variable length genotype, genetic algorithms, inductive learning, fuzzy inference system |
18 | Leo Bachmair, Nachum Dershowitz |
Equational Inference, Canonical Proofs, and Proof Orderings. |
J. ACM |
1994 |
DBLP DOI BibTeX RDF |
term rewriting, rewrite systems, proof theory, equational logic, inference systems, term orderings |
18 | H. Azzoune |
Type Inference in Prolog. |
CADE |
1988 |
DBLP DOI BibTeX RDF |
Prolog, Type, Type Inference |
18 | Leon Sterling, Alan Bundy |
Meta-Level Inference and Program Verification. |
CADE |
1982 |
DBLP DOI BibTeX RDF |
meta-level inference, logic programming, program verification |
17 | Ulrike Leopold-Wildburger, Otwin Becker, Martin Kuehrer |
Forecasting. |
Encyclopedia of Optimization |
2009 |
DBLP DOI BibTeX RDF |
Moving average model, Visual inference, Genetic algorithms, Neural networks, Artificial intelligence, Fuzzy logic, Expert systems, Time series, Statistics, Time series analysis, Curve fitting, Regression analysis, Extrapolation, Inductive inference, Exponential smoothing, Econometrics |
17 | Zhichun Li, Anup Goyal, Yan Chen 0004, Vern Paxson |
Automating analysis of large-scale botnet probing events. |
AsiaCCS |
2009 |
DBLP DOI BibTeX RDF |
global property extrapolation, scan strategy inference, situational awareness, botnet, statistical inference, honeynet |
17 | Aybar C. Acar, Amihai Motro |
Efficient discovery of join plans in schemaless data. |
IDEAS |
2009 |
DBLP DOI BibTeX RDF |
dependency inference, join inference, schema matching |
17 | Hongbo Liu, Tegang Deng, Hongwei Zhang |
Research on Forecasting Method of Urban Water Demand Based on Fuzzy Theory. |
FSKD (6) |
2009 |
DBLP DOI BibTeX RDF |
water demand forecasting, fuzzy inference, adaptive neuro-fuzzy inference system, fuzzy theory |
17 | Kin-Keung Ma, Jeffrey S. Foster |
Inferring aliasing and encapsulation properties for java. |
OOPSLA |
2007 |
DBLP DOI BibTeX RDF |
lending, ownership inference, uniqueness inference, uno, java, aliasing, encapsulation, ownership, uniqueness |
17 | Octavian Udrea, Lise Getoor, Renée J. Miller |
Leveraging data and structure in ontology integration. |
SIGMOD Conference |
2007 |
DBLP DOI BibTeX RDF |
data integration, schema mapping, statistical inference, ontology alignment, logical inference |
17 | Avishai Mandelbaum, Sergey Zeltyn |
Estimating characteristics of queueing networks using transactional data. |
Queueing Syst. Theory Appl. |
1998 |
DBLP DOI BibTeX RDF |
non-parametric inference, queueing inference engine, performance evaluation, hidden Markov models, data analysis, queueing networks, queues |
17 | Nasreddine Hallam, Kok Meng Yew |
Families of fuzzy implication operators within measure M1 and their pseudo-strict. |
SAC |
1998 |
DBLP DOI BibTeX RDF |
K sub-triangle inference structure, Kleene-Dienes and Lukasiewicz fuzzy implications, interval-valued inference, pseudo-strict monotonicity |
17 | Masami Hagiya, Tomoki Shiratori |
Programming by Example in Computing-as-Editing Paradigm. |
VL |
1995 |
DBLP DOI BibTeX RDF |
computing-as-editing paradigm, computation traces, 2D constraint language, iteration constraint, fixed increments, conditional expressions inference, iterative methods, visual programming, rules, inference mechanisms, constraint handling, programming by example, interactive environment, text editing, learning by example, interactive programming |
17 | Debby Keen, Arcot Rajasekar |
Inductive certainty factors from databases. |
HICSS (3) |
1995 |
DBLP DOI BibTeX RDF |
inductive certainty factors, missing information inference, statistical based measures, inductive dependencies, delta measurement, delta functions, knowledge mining formalism, databases, artificial intelligence, knowledge representation, knowledge acquisition, knowledge acquisition, deductive databases, inference mechanisms, uncertainty handling, intelligent information systems |
17 | John M. Arran, M. H. Saeedi, Bob Steele |
Configuring a parallel knowledge engine. |
ANNES |
1995 |
DBLP DOI BibTeX RDF |
parallel knowledge engine, run-time processing, processor network, hierarchy clustering, Sheffield Parallel Inference Knowledge Engine, parallel processing, parallel processing, resource allocation, knowledge based systems, knowledge-base systems, time, computational model, knowledge engineering, inference mechanisms, research, software performance evaluation, communication overhead, speed |
17 | Jun Gu |
Global Optimization for Satisfiability (SAT) Problem. |
IEEE Trans. Knowl. Data Eng. |
1994 |
DBLP DOI BibTeX RDF |
global optimization algorithms, VLSI engineering, DNF local search methods, Universal SAT problem model, UniSAT, discrete SAT problem, Boolean space, unconstrained global optimization problem, real space, direct correspondence, global minimum point, backtracking/resolution procedures, optimisation, inference, inference mechanisms, search problems, automated reasoning, formal logic, CNF, conjunctive normal form, computing theory, satisfiability problem, SAT problem, mathematical logic |
17 | Giuseppe Di Battista, Maurizio Lenzerini |
Deductive Entity-Relationship Modeling. |
IEEE Trans. Knowl. Data Eng. |
1993 |
DBLP DOI BibTeX RDF |
deductive entity relationship modelling, IS-A, disjointness relations, mandatory participation, formal basis, computational complexity, semantics, conceptual modeling, deductive databases, first-order logic, inference mechanisms, assertions, classes, entity-relationship modelling, interdependencies, polynomial time complexity, inference algorithm |
17 | José Oncina, Pedro García 0001, Enrique Vidal 0001 |
Learning Subsequential Transducers for Pattern Recognition Interpretation Tasks. |
IEEE Trans. Pattern Anal. Mach. Intell. |
1993 |
DBLP DOI BibTeX RDF |
subsequential transducers, pattern recognition, pattern recognition, learning, learning (artificial intelligence), inference, inference mechanisms, formalization, inductive learning |
17 | Yi Lu, Ramesh C. Jain |
Reasoning About Edges in Scale Space. |
IEEE Trans. Pattern Anal. Mach. Intell. |
1992 |
DBLP DOI BibTeX RDF |
multiscale reasoning algorithm, edge recovery, edge behavior, edge curves, zero crossing images, computer vision, computer vision, knowledge representation, knowledge representation, inference mechanisms, inference mechanisms, scale space, edges, noise elimination, edge detector |
17 | Chin-Teng Lin, C. S. George Lee |
Neural-Network-Based Fuzzy Logic Control and Decision System. |
IEEE Trans. Computers |
1991 |
DBLP DOI BibTeX RDF |
neural network based fuzzy logic control, feedforward multilayer net, performance, learning, artificial intelligence, fuzzy logic, neural nets, inference mechanisms, decision theory, backpropagation, learning systems, inference engine, decision system, connectionist model |
17 | Gruia-Catalin Roman |
Formal Specification of Geographic Data Processing Requirements. |
IEEE Trans. Knowl. Data Eng. |
1990 |
DBLP DOI BibTeX RDF |
geographic data processing requirements, modeling data, knowledge requirements, GDP requirements, GDP significance, second-order predicate calculus, logical information, high-resolution color display, formal specification, geographic information systems, logic programming, Prolog, PROLOG, time, accuracy, first-order logic, inference mechanisms, inference mechanisms, space, formal logic, prototype implementation, graphical rendering, formal foundation |
17 | William I. Gasarch, Carl H. Smith |
Learning via Queries |
FOCS |
1988 |
DBLP DOI BibTeX RDF |
inherent power, inference machines, query languages, inference mechanism, quantizers, recursive functions |
Displaying result #601 - #700 of 36860 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ 16][ >>] |
|