|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 8628 occurrences of 3570 keywords
|
|
|
|
|
Results
Found 12307 publication records. Showing 12307 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 5 | Stephen V. Stehman |
Design, analysis, and inference for studies comparing thematic accuracy of classified remotely sensed data: a special case of map comparison.  |
Journal of Geographical Systems  |
2006 |
DBLP DOI BibTeX RDF |
Analytic inference, Enumerative inference, Experimental unit, Process inference, Experimental design, Accuracy assessment |
| 5 | Josep Domingo-Ferrer |
Advances in Inference Control in Statistical Databases: An Overview.  |
Inference Control in Statistical Databases  |
2002 |
DBLP BibTeX RDF |
Inference control in statistical database, Statistical disclosure limitation, Respondents' privacy, Official statistics, Data security, Statistical disclosure control, Statistical database protection |
| 5 | Alvaro A. A. Fernandes |
Combining Inductive and Deductive Inference in Knowledge Management Tasks. (PDF / PS)  |
DEXA Workshops  |
2000 |
DBLP DOI BibTeX RDF |
deductive inference, information supply, knowledge information and data engine, logic programming, inference mechanisms, virtual organizations, knowledge creation, inductive inference, distributed knowledge management |
| 5 | Pedro Garcia, Enrique Vidal |
Inference of k-Testable Languages in the Strict Sense and Application to Syntactic Pattern Recognition.  |
IEEE Trans. Pattern Anal. Mach. Intell.  |
1990 |
DBLP DOI BibTeX RDF |
k-testable languages, deterministic finite-state automation, pattern recognition, computational complexity, inference mechanisms, formal languages, finite automata, grammars, grammars, strings, inductive inference, syntactic pattern recognition, inference algorithm |
| 5 | Harry Joe |
Statistical Inference for General-Order-Statistics and Nonhomogeneous-Poisson-Process Software Reliability Models.  |
IEEE Trans. Software Eng.  |
1989 |
DBLP DOI BibTeX RDF |
general-order-statistics, nonhomogeneous-Poisson-process software reliability models, asymptotic likelihood inference, asymptotic confidence levels, interval estimates, conditional failure rate, debugging, software reliability, statistical analysis, inference mechanisms, statistical inference |
| 4 | Hirosato Seki, Satoshi Watanabe, Hiroaki Ishii, Masaharu Mizumoto |
Realization of XOR by SIRMs Connected Fuzzy Inference Method.  |
IEA/AIE  |
2009 |
DBLP DOI BibTeX RDF |
SIRMs connected fuzzy inference method, neural network, Fuzzy Inference, XOR |
| 4 | Erika Matsak |
Representing Logical Inference Steps with Digital Circuits.  |
HCI  |
2009 |
DBLP DOI BibTeX RDF |
Logical inference steps, digital circuits representing logical inference steps, logic gates |
| 4 | Paul Sheridan, Takeshi Kamimura, Hidetoshi Shimodaira |
On Scale-Free Prior Distributions and Their Applicability in Large-Scale Network Inference with Gaussian Graphical Models.  |
Complex  |
2009 |
DBLP DOI BibTeX RDF |
Gaussian graphical model, prior distribution, “small n, large p” problem, small-sample inference, complex networks, Bayesian inference, Markov chain Monte Carlo, scale-free |
| 4 | Reinhard Viertl |
Fuzzy Bayesian Inference.  |
SMPS  |
2008 |
DBLP DOI BibTeX RDF |
Bayes’ theorem, Fuzzy Bayesian inference, Fuzzy information, Fuzzy intervals, Fuzzy probability distributions, Fuzzy utility, Non-precise numbers, Bayesian inference, Decision analysis, Fuzzy data |
| 4 | Daniel Smith, Robert Cartwright |
Java type inference is broken: can we fix it?  |
OOPSLA  |
2008 |
DBLP DOI BibTeX RDF |
bounded quantification, polymorphic methods, type argument inference, generics, type inference, subtyping, intersection types, union types, wildcards, parameterized types |
| 4 | Amaury Habrard, François Denis, Yann Esposito |
Using Pseudo-stochastic Rational Languages in Probabilistic Grammatical Inference.  |
ICGI  |
2006 |
DBLP DOI BibTeX RDF |
pseudo-stochastic rational languages, multiplicity automata, probabilistic grammatical inference |
| 4 | Piedachu Peris, Damián López, Marcelino Campos, José M. Sempere |
Protein Motif Prediction by Grammatical Inference.  |
ICGI  |
2006 |
DBLP DOI BibTeX RDF |
protein motif location, bioinformatics, Grammatical inference |
| 4 | Michael Wollowski, Peter Nei, Chris Barrell |
A diagrammatic inference system for the web.  |
WWW (Alternate Track Papers & Posters)  |
2004 |
DBLP DOI BibTeX RDF |
searchable diagrams, XML, search, inference, inference system |
| 4 | Georgios Petasis, Georgios Paliouras, Constantine D. Spyropoulos, Constantine Halatsis |
eg-GRIDS: Context-Free Grammatical Inference from Positive Examples Using Genetic Search.  |
ICGI  |
2004 |
DBLP DOI BibTeX RDF |
positive examples, genetic algorithms, minimum description length, context-free grammars, grammatical inference |
| 4 | François Coste, Daniel Fredouille, Christopher Kermorvant, Colin de la Higuera |
Introducing Domain and Typing Bias in Automata Inference.  |
ICGI  |
2004 |
DBLP DOI BibTeX RDF |
Automata Inference, Background Knowledge |
| 4 | Rómer Rosales, Stan Sclaroff |
Algorithms for Inference in Specialized Maps for Recovering 3D Hand Pose. (PDF / PS)  |
FGR  |
2002 |
DBLP DOI BibTeX RDF |
3D Hand Pose Estimation, Specialized Mappings, Visual Inference, Statistical Inference |
| 4 | Dan Gusfield |
An Overview of Combinatorial Methods for Haplotype Inference.  |
Computational Methods for SNPs and Haplotype Inference  |
2002 |
DBLP DOI BibTeX RDF |
|
| 4 | Andrew G. Clark, Emmanouil T. Dermitzakis, Stylianos E. Antonarakis |
Trisomic Phase Inference.  |
Computational Methods for SNPs and Haplotype Inference  |
2002 |
DBLP DOI BibTeX RDF |
|
| 4 | Tianhua Niu, Xin Lu, Hosung Kang, Zhaohui S. Qin, Jun S. Liu |
Haplotype Inference and Its Application in Linkage Disequilibrium Mapping.  |
Computational Methods for SNPs and Haplotype Inference  |
2002 |
DBLP DOI BibTeX RDF |
|
| 4 | Alexander Brodsky, Csilla Farkas, Sushil Jajodia |
Secure Databases: Constraints, Inference Channels, and Monitoring Disclosures.  |
IEEE Trans. Knowl. Data Eng.  |
2000 |
DBLP DOI BibTeX RDF |
data-dependent disclosure, data-independent disclosure, constraints, completeness, decidability, soundness, Multilevel security, data confidentiality, inference algorithms, inference problem |
| 4 | 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 |
| 4 | Harry S. Delugach, Thomas H. Hinke |
Wizard: A Database Inference Analysis and Detection System.  |
IEEE Trans. Knowl. Data Eng.  |
1996 |
DBLP DOI BibTeX RDF |
database inference, inference detection, inference analysis, transitive associations, Information security, conceptual graphs |
| 4 | Lotfi A. Zadeh |
Inference in Fuzzy Logic via Generalized Constraint Propagation. (PDF / PS)  |
ISMVL  |
1996 |
DBLP DOI BibTeX RDF |
generalized constraint propagation, fuzzy logic, fuzzy logic, inference, inference mechanisms, computing with words |
| 4 | O. T. Akindele, Abdel Belaïd |
Construction of generic models of document structures using inference of tree grammars. (PDF / PS)  |
ICDAR  |
1995 |
DBLP DOI BibTeX RDF |
tree grammar inference, document class, generic constructors, logically labeled specific structures, document image processing, inference mechanisms, graph grammars, document structures |
| 4 | Tarao Yanaru |
An emotion processing system based on fuzzy inference and subjective observations.  |
ANNES  |
1995 |
DBLP DOI BibTeX RDF |
emotion processing system, subjective observations, mixed emotions, mixed emotional words, simulated person, emotional change, subjective observation model, construction methodology, aggregated emotion, objective emotion, simulated emotion processing system, emotional transition, expanded emotional Dialog System, image codes, inference mechanisms, fuzzy set theory, psychology, fuzzy inference, uncertainty handling |
| 4 | Ning Zhong, Setsuo Ohsuga |
Managing/refining structural characteristics discovered from databases.  |
HICSS  |
1995 |
DBLP DOI BibTeX RDF |
structural characteristics management, structural characteristics refinement, automatic knowledge discovery, large knowledge bases, erroneous data, hypothesis generation, hypothesis evaluation, Inheritance Inference Based Refinement, Global Learning Scheme, Knowledge Oriented Statistic Inference, KAUS knowledge-based system, IIBR subsystem, GLS discovery system, KOSI subsystem, learning (artificial intelligence), databases, data structures, knowledge based systems, inheritance, deductive databases, error analysis, error analysis, inference mechanisms, heuristic programming, regression models, model representation, deductive rules |
| 4 | Jiro Naganuma, Takeshi Ogura |
A Highly OR-Parallel Inference Machine (Multi-ASCA) and Its Performance Evaluation: An Architecture and Its Load Balancing Algorithms.  |
IEEE Trans. Computers  |
1994 |
DBLP DOI BibTeX RDF |
highly OR-parallel inference machine, Multi-ASCA, serial I/O links, modified mesh network, high-speed sequential Prolog processor, locally controlled activity, software simulator, inference tree, OR-parallel benchmarks, n-queens problem, copying method, high-performance artificial intelligence system, nonshared memory multiprocessor system, 20 Mbit/s, performance evaluation, performance evaluation, VLSI, resource allocation, parallel architectures, parallel architecture, virtual machines, PROLOG, parallel machines, inference mechanisms, trace-driven simulation, communication overhead, processing elements, local memory, local communication, load balancing algorithms |
| 4 | Goa Ji |
Representing Inference Control by Hypothesis-Based Association.  |
IEEE Trans. Knowl. Data Eng.  |
1993 |
DBLP DOI BibTeX RDF |
planning level, performing level, inference tactics, representation system hypothesis-based associative representation, HAR, functional architecture, hypothesis-based associative networks, block-world action planning, least commitment strategy, knowledge representation, knowledge-based systems, knowledge based systems, inference mechanisms, inference control, AI techniques, problem solving strategies |
| 4 | Paul Dagum, R. Martin Chavez |
Approximating Probabilistic Inference in Bayesian Belief Networks.  |
IEEE Trans. Pattern Anal. Mach. Intell.  |
1993 |
DBLP DOI BibTeX RDF |
probabilistic inference approximation, stochastic simulation algorithm, D-BNRAS, reasoning, polynomial, polynomials, inference mechanisms, Bayes methods, Bayesian belief networks, uncertainty handling, conditional probabilities, probabilistic logic, belief maintenance |
| 4 | Sudeep Sarkar, Kim L. Boyer |
Integration, Inference, and Management of Spatial Information Using Bayesian Networks: Perceptual Organization.  |
IEEE Trans. Pattern Anal. Mach. Intell.  |
1993 |
DBLP DOI BibTeX RDF |
top-down visual processes, spatial inference, bottom-up visual processes, perceptual inference network, computer vision, computer vision, Bayesian networks, knowledge based systems, probability, image recognition, image recognition, knowledge base, spatial reasoning, Bayes methods, perceptual organization |
| 4 | David A. McAllester, Robert Givan |
Taxonomic Syntax for First Order Inference.  |
J. ACM  |
1993 |
DBLP DOI BibTeX RDF |
machine inference, theorem proving, polynomial time algorithms, automated reasoning, inference rules, proof theory, proof systems, mechanical verification |
| 4 | D. Sarkar, S. C. De Sarkar |
Some Inference Rules for Integer Arithmetic for Verification of Flowchart Programs on Integers.  |
IEEE Trans. Software Eng.  |
1989 |
DBLP DOI BibTeX RDF |
flowchart programs, first-order rules, algebraic expressions, proof construction process, human thought process, user provided axioms, verification, theorem proving, program verification, inference mechanisms, inference rules, theorem prover, integer arithmetic |
| 4 | D. Sarkar, S. C. De Sarkar |
A Set of Inference Rules for Quantified Formula Handling and Array Handling in Verification of Programs Over Integers.  |
IEEE Trans. Software Eng.  |
1989 |
DBLP DOI BibTeX RDF |
quantified formula handling, array handling, undecidability problem, automated verifier, quantified formulas, bound-extension rule, bound-modification, theorem proving, program verification, program verification, first-order logic, inference mechanisms, decidability, inference rules, integer arithmetic |
| 4 | Pierre Parent, Steven W. Zucker |
Trace Inference, Curvature Consistency, and Curve Detection.  |
IEEE Trans. Pattern Anal. Mach. Intell.  |
1989 |
DBLP DOI BibTeX RDF |
curvature consistency, curve inference, curvature information, tangent, cocircularity, trace points, artificial images, pattern recognition, pattern recognition, picture processing, picture processing, inference mechanisms, natural images, curve detection |
| 4 | Haerim Lee, Warren Moseley |
A parallel inference engine (PIE) (abstract only).  |
ACM Conference on Computer Science  |
1987 |
DBLP DOI BibTeX RDF |
blackboard-driven, forward/backward chaining, parallel inference engine, artificial intelligence, ADA, Ada, object-oriented design, frame, real-time embedded system, inference engine |
| 3 | 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 |
| 3 | 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 |
| 3 | Max Schäfer, Oege de Moor |
Type inference for datalog with complex type hierarchies.  |
POPL  |
2010 |
DBLP DOI BibTeX RDF |
type system, datalog, type inference |
| 3 | Chris Mayfield, Jennifer Neville, Sunil Prabhakar |
ERACER: a database approach for statistical inference and data cleaning.  |
SIGMOD Conference  |
2010 |
DBLP DOI BibTeX RDF |
discrete convolution, relational dependency network, outlier detection, linear regression, approximate inference |
| 3 | Emiliano Miluzzo, Cory Cornelius, Ashwin Ramaswamy, Tanzeem Choudhury, Zhigang Liu, Andrew T. Campbell |
Darwin phones: the evolution of sensing and inference on mobile phones.  |
MobiSys  |
2010 |
DBLP DOI BibTeX RDF |
collaborative inference, distributed machine learning, mobile sensing systems, mobile phones |
| 3 | 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 |
| 3 | 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 |
| 3 | Yi-Ling Chen, Shang-Hong Lai |
Creating MPU implicit surfaces from unoriented point sets with orientation inference.  |
The Visual Computer  |
2009 |
DBLP DOI BibTeX RDF |
Orientation inference, Implicit surfaces, Sharp features |
| 3 | Yixin Jing, Dongwon Jeong, Doo-Kwon Baik |
SPARQL graph pattern rewriting for OWL-DL inference queries.  |
Knowl. Inf. Syst.  |
2009 |
DBLP DOI BibTeX RDF |
Graph pattern, Ontology inference, Semantic web, SPARQL, Query rewriting, OWL-DL |
| 3 | Paola Bruscoli, Alessio Guglielmi |
On the proof complexity of deep inference.  |
ACM Trans. Comput. Log.  |
2009 |
DBLP DOI BibTeX RDF |
Frege systems, Statman tautologies, Analyticity, deep inference, calculus of structures |
| 3 | Laura Gui, Jean-Philippe Thiran, Nikos Paragios |
Cooperative Object Segmentation and Behavior Inference in Image Sequences.  |
International Journal of Computer Vision  |
2009 |
DBLP DOI BibTeX RDF |
Behavior inference, Image segmentation, Gesture recognition |
| 3 | 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 |
| 3 | 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 |
| 3 | Dan Roth, Rajhans Samdani |
Learning Multi-linear Representations of Distributions for Efficient Inference.  |
ECML/PKDD  |
2009 |
DBLP DOI BibTeX RDF |
Learning Distributions, Multi-linear Polynomials, Graphical Models, Probabilistic Inference |
| 3 | Ilias N. Flaounas, Marco Turchi, Tijl De Bie, Nello Cristianini |
Inference and Validation of Networks.  |
ECML/PKDD  |
2009 |
DBLP DOI BibTeX RDF |
Network validation, News Outlets network, Network inference |
| 3 | 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 |
| 3 | V. Benjamin Livshits, Aditya V. Nori, Sriram K. Rajamani, Anindya Banerjee |
Merlin: specification inference for explicit information flow problems.  |
PLDI  |
2009 |
DBLP DOI BibTeX RDF |
security analysis tools, specification inference |
| 3 | André C. Santos, Luís Tarrataca, João M. P. Cardoso, Diogo R. Ferreira, Pedro C. Diniz, Paulo Chainho |
Context Inference for Mobile Applications in the UPCASE Project.  |
MOBILWARE  |
2009 |
DBLP DOI BibTeX RDF |
decision trees, smartphones, wearable sensors, Context-aware services, context inference |
| 3 | David M. Lingard |
Layered Random Inference Networks.  |
ACAL  |
2009 |
DBLP DOI BibTeX RDF |
criticality, situation assessment, information propagation, inference network |
| 3 | Fabrício Martins Lopes, Evaldo A. 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 |
| 3 | 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 |
| 3 | 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 |
| 3 | 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 |
| 3 | Yanjiang Yang, Yingjiu Li, Jian Weng, Jianying Zhou, Feng Bao |
Self-enforcing Private Inference Control.  |
ProvSec  |
2009 |
DBLP DOI BibTeX RDF |
self-enforcing, database, Inference control |
| 3 | 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 |
| 3 | Tom Schrijvers, Simon L. Peyton Jones, Martin Sulzmann, Dimitrios Vytiniotis |
Complete and decidable type inference for GADTs.  |
ICFP  |
2009 |
DBLP DOI BibTeX RDF |
Haskell, type inference, GADTs |
| 3 | Kurt Partridge, Bob Price |
Enhancing Mobile Recommender Systems with Activity Inference.  |
UMAP  |
2009 |
DBLP DOI BibTeX RDF |
recommender systems, Bayesian Inference, activity inference |
| 3 | Hiroshi Unno, Naoki Kobayashi |
Dependent type inference with interpolants.  |
PPDP  |
2009 |
DBLP DOI BibTeX RDF |
type inference, dependent types |
| 3 | S. Shahbudin, Aini Hussain, Ahmed El-Shafie, N. M. Tahir, S. A. 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) |
| 3 | Yoon-Ae Ahn |
Context awareness inference engine for location based applications.  |
ICHIT  |
2009 |
DBLP DOI BibTeX RDF |
location data, context awareness, knowledge base, inference engine |
| 3 | Bechara al Bouna, Richard Chbeir |
Detecting Inference Channels in Private Multimedia Data via Social Networks.  |
DBSec  |
2009 |
DBLP DOI BibTeX RDF |
Inference Channels, Multimedia, Access Control |
| 3 | Alberto Fernández, María José del Jesús, Francisco Herrera |
Improving the Performance of Fuzzy Rule Based Classification Systems for Highly Imbalanced Data-Sets Using an Evolutionary Adaptive Inference System.  |
IWANN  |
2009 |
DBLP DOI BibTeX RDF |
Parametric Conjunction Operators, Imbalanced Data-Sets, Genetic Fuzzy Systems, Inference System, Fuzzy Rule-Based Classification Systems |
| 3 | 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 |
| 3 | 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 |
| 3 | Limin Yao, David M. Mimno, Andrew McCallum |
Efficient methods for topic model inference on streaming document collections.  |
KDD  |
2009 |
DBLP DOI BibTeX RDF |
inference, topic modeling |
| 3 | Haibing Lu, Yingjiu Li |
Practical Inference Control for Data Cubes.  |
IEEE Trans. Dependable Sec. Comput.  |
2008 |
DBLP DOI BibTeX RDF |
Data dependencies, Inference engines |
| 3 | Juan R. Castro, Oscar Castillo, Patricia Melin, Antonio Rodríguez Díaz |
Building Fuzzy Inference Systems with a New Interval Type-2 Fuzzy Logic Toolbox.  |
Transactions on Computational Science  |
2008 |
DBLP DOI BibTeX RDF |
Interval Type-2 Fuzzy Inference Systems, Interval Type-2 Fuzzy Logic Toolbox, Interval Type-2 Membership Functions, Footprint of Uncertainty |
| 3 | Massimiliano Di Penta, Pierpaolo Lombardi, Kunal Taneja, Luigi Troiano |
Search-based inference of dialect grammars.  |
Soft Comput.  |
2008 |
DBLP DOI BibTeX RDF |
Genetic algorithms, Source code analysis, Grammar inference |
| 3 | Inês Lynce, João Marques-Silva, Steven David Prestwich |
Boosting Haplotype Inference with Local Search.  |
Constraints  |
2008 |
DBLP DOI BibTeX RDF |
Local search, Boolean satisfiability, Haplotype inference |
| 3 | Jaroslav Peregrin |
What is the Logic of Inference?  |
Studia Logica  |
2008 |
DBLP DOI BibTeX RDF |
nature of logic, logical operators, inference, proof theory, intuitionistic logic |
| 3 | Jennifer Neville, David Jensen |
A bias/variance decomposition for models using collective inference.  |
Machine Learning  |
2008 |
DBLP DOI BibTeX RDF |
Evaluation, Statistical relational learning, Collective inference |
| 3 | 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 |
| 3 | Qunyi Zhou, Wenxin Wang |
The Automatic Inference of Arden Medical Logic Modules.  |
BMEI  |
2008 |
DBLP DOI BibTeX RDF |
Arden, Inference, Clinical Decision Support System |
| 3 | 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 |
| 3 | J. B. Paris, S. R. Rad |
Inference Processes for Quantified Predicate Knowledge.  |
WoLLIC  |
2008 |
DBLP DOI BibTeX RDF |
inference processes, Uncertain reasoning, Renyi Entropies, probability logic |
| 3 | 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 |
| 3 | Jeremy G. Siek, Manish Vachharajani |
Gradual typing with unification-based inference.  |
DLS  |
2008 |
DBLP DOI BibTeX RDF |
gradual typing, simply typed lambda calculus, type inference, unification, dynamic typing, static typing |
| 3 | M. Zubair Shafiq, Muddassar Farooq, Syed Ali Khayam |
A Comparative Study of Fuzzy Inference Systems, Neural Networks and Adaptive Neuro Fuzzy Inference Systems for Portscan Detection.  |
EvoWorkshops  |
2008 |
DBLP DOI BibTeX RDF |
Information Theoretic Features, Portscan Detection, Neural Networks, Adaptive Neuro Fuzzy Inference System (ANFIS) |
| 3 | 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 |
| 3 | 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 |
| 3 | 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) |
| 3 | Kivanc Zorlu, Candan Gokceoglu |
Prediction of the Collapse Index by a Mamdani Fuzzy Inference System.  |
KES  |
2008 |
DBLP DOI BibTeX RDF |
caliche, collapsible ground, collapse index, fuzzy inference system |
| 3 | Antonio Angel 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 |
| 3 | 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 |
| 3 | Didier Rémy, Boris Yakobowski |
From ML to MLF: graphic type constraints with efficient type inference.  |
ICFP  |
2008 |
DBLP DOI BibTeX RDF |
type generalization, type instantiation, graphs, ML, types, type inference, unification, system F, binders, type constraints, MLF |
| 3 | Daan Leijen |
HMF: simple type inference for first-class polymorphism.  |
ICFP  |
2008 |
DBLP DOI BibTeX RDF |
first-class polymorphism, type inference |
| 3 | Ben Bellamy, Pavel Avgustinov, Oege de Moor, Damien Sereni |
Efficient local type inference.  |
OOPSLA  |
2008 |
DBLP DOI BibTeX RDF |
program analysis, type inference |
| 3 | 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 |
| 3 | Menno van Zaanen, Jeroen Geertzen |
Problems with Evaluation of Unsupervised Empirical Grammatical Inference Systems.  |
ICGI  |
2008 |
DBLP DOI BibTeX RDF |
|
| 3 | Alexander Clark, Rémi Eyraud, Amaury Habrard |
A Polynomial Algorithm for the Inference of Context Free Languages.  |
ICGI  |
2008 |
DBLP DOI BibTeX RDF |
|
| 3 | 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 |
|
| 3 | 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 |
| 3 | Oege de Moor, Damien Sereni, Pavel Avgustinov, Mathieu Verbaere |
Type inference for datalog and its application to query optimisation.  |
PODS  |
2008 |
DBLP DOI BibTeX RDF |
query optimization, datalog, type inference |
| 3 | Andrew Coyle, Miro Kraetzl, Olaf Maennel, Matthew Roughan |
On the predictive power of shortest-path weight inference.  |
Internet Measurement Comference  |
2008 |
DBLP DOI BibTeX RDF |
routing, topology, inference |
| 3 | Satish Chandra, Vijay A. Saraswat, Vivek Sarkar, Rastislav Bodík |
Type inference for locality analysis of distributed data structures.  |
PPOPP  |
2008 |
DBLP DOI BibTeX RDF |
equality-based constraint system, type inference, unification, x10, partitioned global address space |
Displaying result #1 - #100 of 12307 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|