|
|
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 |
16 | Tobias Kuipers, Leon Moonen |
Types and Concept Analysis for Legacy Systems. |
IWPC |
2000 |
DBLP DOI BibTeX RDF |
software maintenance, program analysis, program understanding, type inference, concept analysis |
16 | Zhengyou Zhang, Ying Shan |
A Progressive Scheme for Stereo Matching. |
SMILE |
2000 |
DBLP DOI BibTeX RDF |
Disparity gradient limit, Least commitment, Progressive matching, Correlation, Image registration, Bayesian inference, Stereo vision, Stereo matching |
16 | Guilherme Bittencourt, Isabel Tonin |
A Proof Strategy Based on a Dual Representation. |
AISC |
2000 |
DBLP DOI BibTeX RDF |
inference strategy, dual transformation, Topic: Logic and Symbolic Computing, theorem proving, First-order logic |
16 | Warren R. Greiff, W. Bruce Croft, Howard R. Turtle |
PIC matrices: a computationally tractable class of probabilistic query operators. |
ACM Trans. Inf. Syst. |
1999 |
DBLP DOI BibTeX RDF |
link matrices, pnorm, computational complexity, Bayesian networks, Boolean queries, inference networks, query operators, probabilistic information retrieval, piecewise linear functions |
16 | M. Harn, Valdis Berzins, Luqi |
Software Evolution via Reusable Architecture. |
ECBS |
1999 |
DBLP DOI BibTeX RDF |
hypergraph model, lightweight inference engine, software evolution, reusable components |
16 | Ioannis Hatzilygeroudis, Jim Prentzas |
Neurules: Improving the Performance of Symbolic Rules. |
ICTAI |
1999 |
DBLP DOI BibTeX RDF |
symbolic-subsymbolic integration, hybrid inference, production rules, hybrid knowledge representation |
16 | James J. Lu, Neil V. Murray, Erik Rosenthal |
A Foundation for Hybrid Knowledge Bases. |
FSTTCS |
1999 |
DBLP DOI BibTeX RDF |
hybrid knowledge bases, inference, deduction |
16 | Axel van Lamsweerde, Laurent Willemet |
Inferring Declarative Requirements Specifications from Operational Scenarios. |
IEEE Trans. Software Eng. |
1998 |
DBLP DOI BibTeX RDF |
Scenario-based requirements elicitation, inductive inference of specifications, specification refinement and analysis, goal-oriented requirements engineering, lightweight formal methods |
16 | Sophie Coudert, Gilles Bernot, Pascale Le Gall |
Hierarchical Heterogeneous Specifications. |
WADT |
1998 |
DBLP DOI BibTeX RDF |
structured specification, heterogeneous proof, formal specification, modularity, algebraic specification, proof theory, logical framework, inference system, heterogeneous specification |
16 | Matthew S. Brown, Michael F. McNitt-Gray, Jonathan G. Goldin, Denise R. Aberle |
An extensible knowledge-based architecture for segmenting computed tomography images. |
ICIP (3) |
1997 |
DBLP DOI BibTeX RDF |
extensible knowledge-based architecture, image processing engine, X-ray attenuation, anatomical structures, low-level segmentation routines, model objects, image data representation, frame-based semantic network, lung segmentation, thoracic CT, knowledge representation, maintenance, shape, image matching, size, feature space, inference engine, computerised tomography, blackboard, high-level model, relative position, computed tomography images, modular architecture, anatomical model |
16 | Yingchun Zhu, Laurie J. Hendren |
Locality Analysis for Parallel C Programs. |
IEEE PACT |
1997 |
DBLP DOI BibTeX RDF |
parallel C programs, parallel C dialect, EARTH-C, type inference algorithms, fast points-to analysis, indirect reference, automatic specialization, EARTH-C compiler, low level threaded code, EARTH-C multithreaded architecture, dynamically allocated data structures, parallel programming, parallel architectures, memory model, compiler techniques, parallel performance, locality analysis, remote memory accesses |
16 | Eugene Eberbach |
A Generic Tool for Distributed AI with Matching as Message Passing. |
ICTAI |
1997 |
DBLP DOI BibTeX RDF |
symbolic and subsymbolic AI, simple modifying algorithm, neural networks, genetic programming, process algebra, cost functions, calculus, inference engine |
16 | Mladen Stanojevic, Sanja Vranes, Dusan M. Velasevic |
Pattern-Matching in Search Problem Solving. |
HICSS (2) |
1996 |
DBLP DOI BibTeX RDF |
expert systems, pattern-matching, search problems, constraint satisfaction problems, inference engine |
16 | Chantana Chantrapornchai, Sissades Tongsima, Edwin Hsing-Mean Sha |
Rapid Prototyping for Fuzzy Systems. |
Great Lakes Symposium on VLSI |
1996 |
DBLP DOI BibTeX RDF |
fuzzy automata, fuzzy logic, rapid prototyping, fuzzy inference |
16 | Yung-Sheng Chen, Hui-Yu Hwang, Bor-Tow Chen |
Color image analysis using fuzzy set theory. |
ICIP |
1995 |
DBLP DOI BibTeX RDF |
atmospheric techniques, color image analysis, weather state, RGB components, HSI components, 3-layer quadtree, block image, 6-parameter fuzzy number, histogram, fuzzy set theory, fuzzy set theory, quadtrees, membership function, image colour analysis, fuzzy inference, meteorology, geophysical signal processing |
16 | Chua-Chin Wang, Hon-Son Don |
A robust continuous model for evidential reasoning. |
J. Intell. Robotic Syst. |
1994 |
DBLP DOI BibTeX RDF |
belief conjunction, mutual dependency, Reasoning, belief propagation, belief function, inference network, AND/OR graph |
15 | Feng Han 0001, Song Chun Zhu |
Bottom-Up/Top-Down Image Parsing with Attribute Grammar. |
IEEE Trans. Pattern Anal. Mach. Intell. |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Michel Ludwig, Ullrich Hustadt |
Fair Derivations in Monodic Temporal Reasoning. |
CADE |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Bhargav S. Gulavani, Supratik Chakraborty, Ganesan Ramalingam, Aditya V. Nori |
Bottom-Up Shape Analysis. |
SAS |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Hirotoshi Yasuoka, Tachio Terauchi |
Polymorphic Fractional Capabilities. |
SAS |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Julian J. McAuley, Tibério S. Caetano, Marconi S. Barbosa |
Graph Rigidity, Cyclic Belief Propagation, and Point Pattern Matching. |
IEEE Trans. Pattern Anal. Mach. Intell. |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Antoine Bordes, Nicolas Usunier, Léon Bottou |
Sequence Labelling SVMs Trained in One Pass. |
ECML/PKDD (1) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Konstantine Arkoudas, Olin Shivers |
Trusted Theorem Proving: A Case Study in SLD-Resolution. |
ISoLA |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Huan Wang 0004, Xing Jiang, Liang-Tien Chia, Ah-Hwee Tan |
Ontology enhanced web image retrieval: aided by wikipedia & spreading activation theory. |
Multimedia Information Retrieval |
2008 |
DBLP DOI BibTeX RDF |
ontology, wikipedia, spreading activation |
15 | Arasanathan Thayananthan, Masahiro Iwasaki, Roberto Cipolla |
Principled fusion of high-level model and low-level cues for motion segmentation. |
CVPR |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Yuanhao Chen, Long Zhu, Alan L. Yuille, HongJiang Zhang |
Unsupervised learning of probabilistic object models (POMs) for object classification, segmentation and recognition. |
CVPR |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Paola Bonizzoni |
A Linear-Time Algorithm for the Perfect Phylogeny Haplotype Problem. |
Algorithmica |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Mauri Nissila, Subbarayan Pasupathy |
Soft-Input Soft-Output Equalizers for Turbo Receivers: A Statistical Physics Perspective. |
IEEE Trans. Commun. |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Mauri Nissila, Subbarayan Pasupathy |
Soft-Input Soft-Output Equalizers for Turbo Receivers: A Statistical Physics Perspective. |
IEEE Trans. Commun. |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Mihaela Breaban, Madalina Ionita, Cornelius Croitoru |
A new PSO approach to constraint satisfaction. |
IEEE Congress on Evolutionary Computation |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Hirosato Seki, Hiroaki Ishii, Masaharu Mizumoto |
On the monotonicity of SIRMs connected type fuzzy reasoning method and SIC reasoning method. |
SMC |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Louis E. Loeb |
Psychology, epistemology, and skepticism in Hume's argument about induction. |
Synth. |
2006 |
DBLP DOI BibTeX RDF |
Garrett, Reason, Induction, Internalism, Externalism, Hume |
15 | Jeffrey S. Foster, Robert Johnson, John Kodumal, Alex Aiken |
Flow-insensitive type qualifiers. |
ACM Trans. Program. Lang. Syst. |
2006 |
DBLP DOI BibTeX RDF |
const, taint, security, static analysis, constraints, types, Type qualifiers |
15 | Baowen Xu, Yanhui Li, Jianjiang Lu, Dazhou Kang |
Secure OWL Query. |
International Conference on Computational Science (4) |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Sang Min Oh, James M. Rehg, Frank Dellaert |
Parameterized Duration Mmodeling for Switching Linear Dynamic Systems. |
CVPR (2) |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Sungho Kim, In-So Kweon |
Scene Interpretation: Unified Modeling of Visual Context by Particle-Based Belief Propagation in Hierarchical Graphical Model. |
ACCV (2) |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Jens Palsberg, Tian Zhao 0002, Trevor Jim |
Automatic discovery of covariant read-only fields. |
ACM Trans. Program. Lang. Syst. |
2005 |
DBLP DOI BibTeX RDF |
constraints, Types |
15 | Jennifer Neville, David D. Jensen |
Leveraging Relational Autocorrelation with Latent Group Models. |
ICDM |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Igor Wojnicki, Antoni Ligeza |
Jelly view: a technology for arbitrarily advanced queries within RDBMS. |
SAC |
2005 |
DBLP DOI BibTeX RDF |
intensional knowledge, prolog, deductive database, RDBMS, recursive queries |
15 | Arron R. Walker, Binh Pham 0001, Miles Moody |
Spatial bayesian learning algorithms for geographic information retrieval. |
GIS |
2005 |
DBLP DOI BibTeX RDF |
learning Bayesian networks, spatial Bayesian learning, information retrieval, geographic information system, geographic information retrieval |
15 | Nahur Fonseca, Mark Crovella |
Bayesian packet loss detection for TCP. |
INFOCOM |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Stefano Ferilli, Teresa Maria Altomare Basile, Nicola Di Mauro, Floriana Esposito |
On the LearnAbility of Abstraction Theories from Observations for Relational Learning. |
ECML |
2005 |
DBLP DOI BibTeX RDF |
|
15 | John K. Debenham |
A multiagent system manages collaboration in emergent processes. |
AAMAS |
2005 |
DBLP DOI BibTeX RDF |
collaboration, negotiation, business process management |
15 | Lefteris M. Kirousis, Phokion G. Kolaitis |
A Dichotomy in the Complexity of Propositional Circumscription. |
Theory Comput. Syst. |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Ole-Christoffer Granmo |
Parallel hypothesis driven video content analysis. |
SAC |
2004 |
DBLP DOI BibTeX RDF |
real-time video content analysis, parallel processing, feature selection, Bayesian Networks, particle filtering |
15 | Naoyuki Kubota |
A spiking neural network for behavior learning of a mobile robot in a dynamic environment. |
SMC (6) |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Christopher Lynch |
Unsound Theorem Proving. |
CSL |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Marshall F. Tappen, William T. Freeman |
Comparison of Graph Cuts with Belief Propagation for Stereo, using Identical MRF Parameters. |
ICCV |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Joshua Introne, Richard Alterman |
Leveraging Collaborative Effort to Infer Intent. |
User Modeling |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Michael Isard |
PAMPAS: Real-Valued Graphical Models for Computer Vision. |
CVPR (1) |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Qi Gao, Huajun Chen, Zhaohui Wu 0001, WeiMing Lin |
Semantic Rule Service Model: Enabling Intelligence on Grid Architecture. |
GCC (2) |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Ho-Kyoung Lee, Young-Hoon Yu, Supratip Ghose, GeunSik Jo |
Comparison Shopping Systems Based on Semantic Web - A Case Study of Purchasing Cameras. |
GCC (1) |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Robin Hörnig, Klaus Oberauer, Andrea Weidenfeld |
Räumliches Schliessen als Sprachverstehen. |
Kognitionswissenschaft |
2002 |
DBLP DOI BibTeX RDF |
|
15 | J. Gregory Morrisett |
Analysis issues for cyclone. |
PASTE |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Eric Martin 0002, Phuong Minh Nguyen, Arun Sharma 0001, Frank Stephan 0001 |
Learning in Logic with RichProlog. |
ICLP |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Chad M. Cumby, Dan Roth |
Learning with Feature Description Logics. |
ILP |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Samir Genaim, Michael Codish |
Inferring Termination Conditions for Logic Programs Using Backwards Analysis. |
LPAR |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Jer-Min Jou, Pei-Yin Chen, Sheng-Fu Yang |
An adaptive fuzzy logic controller: its VLSI architecture and applications. |
IEEE Trans. Very Large Scale Integr. Syst. |
2000 |
DBLP DOI BibTeX RDF |
|
15 | Patrick Doherty 0001, Witold Lukaszewicz, Andrzej Szalas |
Efficient Reasoning Using the Local Closed-World Assumption. |
AIMSA |
2000 |
DBLP DOI BibTeX RDF |
|
15 | Yang Xiang 0004 |
Temporally Invariant Junction Tree for Interference in Dynamic Bayesian Network. |
Artificial Intelligence Today |
1999 |
DBLP DOI BibTeX RDF |
knowledge representation, temporal reasoning, dynamic Bayesian networks, Probabilistic reasoning |
15 | Arie van Deursen, Leon Moonen |
Understanding COBOL Systems using Inferred Types. |
IWPC |
1999 |
DBLP DOI BibTeX RDF |
|
15 | Bruce J. McAdam |
On the Unification of Substitutions in Type Interfaces. |
IFL |
1998 |
DBLP DOI BibTeX RDF |
|
15 | Reinhard Pichler |
Completeness and Redundancy in Constrained Clause Logic. |
FTP (LNCS Selection) |
1998 |
DBLP DOI BibTeX RDF |
|
15 | Ming Zhao, Christopher Leckie |
The Development of an Interactive Fault Diagnosis Expert System for Telecommunication Applications. |
PRICAI |
1996 |
DBLP DOI BibTeX RDF |
Fault Diagnosis, Expert System, Industrial Application |
15 | Salem Benferhat, Didier Dubois, Henri Prade |
Reasoning in Inconsistent Stratified Knowledge Bases. |
ISMVL |
1996 |
DBLP DOI BibTeX RDF |
uncertainty, argumentation, inconsistency, possibility theory |
15 | Steffen Lange, Thomas Zeugmann |
Types of Monotonic Language Learning and Their Characterization. |
COLT |
1992 |
DBLP DOI BibTeX RDF |
|
15 | Maria Paola Bonacina, Jieh Hsiang |
On Fairness of Completion-Based Theorem Proving Strategies. |
RTA |
1991 |
DBLP DOI BibTeX RDF |
|
15 | Catherine Belleannée, Jacques Nicolas |
Static Learning for an Adaptive Theorem Prover. |
EWSL |
1991 |
DBLP DOI BibTeX RDF |
Key-words Theorem proving, Macro-operators, Generalization to N, Sequent calculus |
15 | David W. Franke |
Imbedding Rule Inferencing in Applications. |
IEEE Expert |
1990 |
DBLP DOI BibTeX RDF |
|
15 | Meng-Hiot Lim, Yoshiyasu Takefuji |
Implementing Fuzzy Rule-Based Systems on Silicon Chips. |
IEEE Expert |
1990 |
DBLP DOI BibTeX RDF |
|
15 | John Hannan, Dale Miller 0001 |
From Operational Semantics to Abstract Machines: Preliminary Results. |
LISP and Functional Programming |
1990 |
DBLP DOI BibTeX RDF |
|
15 | Henry G. Baker |
Unify and Conquer. |
LISP and Functional Programming |
1990 |
DBLP DOI BibTeX RDF |
|
15 | W. Elliot, Mordechay Schneider |
Fault Finder. |
SIGSMALL/PC Symposium |
1990 |
DBLP DOI BibTeX RDF |
|
15 | Begonia Bi-Hsia Tai, Leonard H. Weiner |
PCDEC, an interactive decision table system for personal computers (abstract only). |
ACM Conference on Computer Science |
1987 |
DBLP DOI BibTeX RDF |
|
15 | Alexander Clark, Rémi Eyraud, Amaury Habrard |
A Polynomial Algorithm for the Inference of Context Free Languages. |
ICGI |
2008 |
DBLP DOI BibTeX RDF |
|
15 | François Denis, Édouard Gilbert, Amaury Habrard, Faissal Ouardi, Marc Tommasi |
Relevant Representations for the Inference of Rational Stochastic Tree Languages. |
ICGI |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Colin de la Higuera |
Ten Open Problems in Grammatical Inference. |
ICGI |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Gloria Inés Alvarez, Pedro García 0001, José Ruiz 0001 |
A Merging States Algorithm for Inference of RFSAs. |
ICGI |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Sophia Katrenko, Pieter W. Adriaans |
Grammatical Inference in Practice: A Case Study in the Biomedical Domain. |
ICGI |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Menno van Zaanen, Jeroen Geertzen |
Grammatical Inference for Syntax-Based Statistical Machine Translation. |
ICGI |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Jeroen Geertzen, Menno van Zaanen |
Grammatical Inference Using Suffix Trees. |
ICGI |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Franck Thollard, Alexander Clark |
Shallow Parsing Using Probabilistic Grammatical Inference. |
ICGI |
2002 |
DBLP DOI BibTeX RDF |
|
15 | José Ruiz 0001, Salvador España Boquera, Pedro García 0001 |
Locally Threshold Testable Languages in Strict Sense: Application to the Inference Problem. |
ICGI |
1998 |
DBLP DOI BibTeX RDF |
|
15 | Pierre Dupont, Lin Lawrence Chase |
Using Symbol Clustering to Improve Probabilistic Automaton Inference. |
ICGI |
1998 |
DBLP DOI BibTeX RDF |
|
15 | Rafael C. Carrasco, José Oncina, Jorge Calera-Rubio |
Stochastic Inference of Regular Tree Languages. |
ICGI |
1998 |
DBLP DOI BibTeX RDF |
|
14 | Ethan Blanton, Sonia Fahmy, Greg N. Frederickson, Sriharsha Gangam |
On the Cost of Network Inference Mechanisms. |
IEEE Trans. Parallel Distributed Syst. |
2011 |
DBLP DOI BibTeX RDF |
delay inference, Internet measurement |
14 | Zhanyu Ma, Arne Leijon |
Bayesian Estimation of Beta Mixture Models with Variational Inference. |
IEEE Trans. Pattern Anal. Mach. Intell. |
2011 |
DBLP DOI BibTeX RDF |
factorized approximation, mixture modeling, maximum likelihood estimation, Bayesian estimation, variational inference, beta distribution |
14 | Pedro F. Felzenszwalb, Julian J. McAuley |
Fast Inference with Min-Sum Matrix Product. |
IEEE Trans. Pattern Anal. Mach. Intell. |
2011 |
DBLP DOI BibTeX RDF |
MAP inference, min-sum matrix product, Graphical models |
14 | Jonas Peters, Dominik Janzing, Bernhard Schölkopf |
Causal Inference on Discrete Data Using Additive Noise Models. |
IEEE Trans. Pattern Anal. Mach. Intell. |
2011 |
DBLP DOI BibTeX RDF |
regression, graphical models, Causal inference |
14 | Richard Jayadi Oentaryo, Michel Pasquier |
Knowledge Consolidation and Inference in the Integrated Neuro-Cognitive Architecture. |
IEEE Intell. Syst. |
2011 |
DBLP DOI BibTeX RDF |
knowledge inference, learning, knowledge acquisition, intelligent systems, neural nets, cognitive architecture |
14 | Dominic Battré, Natalia Frejnik, Siddhant Goel, Odej Kao, Daniel Warneke |
Evaluation of Network Topology Inference in Opaque Compute Clouds through End-to-End Measurements. |
IEEE CLOUD |
2011 |
DBLP DOI BibTeX RDF |
network topology inference, cloud computing, virtualization, network tomography |
14 | Jeffrey A. Vaughan, Stephen Chong |
Inference of Expressive Declassification Policies. |
IEEE Symposium on Security and Privacy |
2011 |
DBLP DOI BibTeX RDF |
declassification policies, inference of security policies, information flow, language-based security |
14 | Yinglong Xia, Viktor K. Prasanna |
Scalable Node-Level Computation Kernels for Parallel Exact Inference. |
IEEE Trans. Computers |
2010 |
DBLP DOI BibTeX RDF |
Exact inference, node-level primitives, Bayesian network, message passing, junction tree |
14 | Ioannis Hatzilygeroudis, Jim Prentzas |
Integrated Rule-Based Learning and Inference. |
IEEE Trans. Knowl. Data Eng. |
2010 |
DBLP DOI BibTeX RDF |
Neurosymbolic integration, integrated inference, rule-based reasoning, neurocomputing |
14 | Gang Li, Steven W. Zucker |
Differential Geometric Inference in Surface Stereo. |
IEEE Trans. Pattern Anal. Mach. Intell. |
2010 |
DBLP DOI BibTeX RDF |
surface stereo, slanted surface, computational inference, half-occluded surface region, Stereo matching, differential geometry, curved surface |
14 | Jianjun Huang 0002, Jiali Zhong, Pengfei Li |
A Cloud Model Inference System Based Alpha-Beta Filter for Tracking of Maneuvering Target. |
IITSI |
2010 |
DBLP DOI BibTeX RDF |
maneuvering target tracking, cloud mode inference, alpha-beta filter |
14 | Benoît Hudson, Gary L. Miller, Steve Oudot, Donald R. Sheehy |
Topological inference via meshing. |
SCG |
2010 |
DBLP DOI BibTeX RDF |
sparse voronoi refinement, mesh generation, persistent homology, topological inference |
14 | Muhammad-Naeem Irfan |
State Machine Inference in Testing Context with Long Counterexamples. |
ICST |
2010 |
DBLP DOI BibTeX RDF |
state machine inference, finite state machine, black box, counterexample |
14 | Swapna Singh, Ragini Karwayun |
A Comparative Study of Inference Engines. |
ITNG |
2010 |
DBLP DOI BibTeX RDF |
Semantic Web, Knowledge Representation, Inference Engine, Logical Reasoning |
14 | Pretesh B. Patel, Tshilidzi Marwala |
Genetic Algorithms, Neural Networks, Fuzzy Inference System, Support Vector Machines for Call Performance Classification. |
ICMLA |
2009 |
DBLP DOI BibTeX RDF |
Caller experience performance classification, Genetic Algorithms, Support Vector Machines, Artificial Neural Networks, Fuzzy Inference Systems, Ensemble of classifiers, Interactive Voice Response |
|
|