|
|
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 |
57 | Le Chang, Alan K. Mackworth |
Constraint-Based Inference: A Bridge Between Constraint Processing and Probability Inference. |
CP |
2005 |
DBLP DOI BibTeX RDF |
|
52 | Yanjiang Yang, Yingjiu Li, Jian Weng 0001, Jianying Zhou 0001, Feng Bao 0001 |
Self-enforcing Private Inference Control. |
ProvSec |
2009 |
DBLP DOI BibTeX RDF |
self-enforcing, database, Inference control |
51 | Daniel Leivant |
Polymorphic Type Inference. |
POPL |
1983 |
DBLP DOI BibTeX RDF |
|
47 | Josep Domingo-Ferrer |
Advances in Inference Control in Statistical Databases: An Overview. |
Inference Control in Statistical Databases |
2002 |
DBLP DOI BibTeX RDF |
Inference control in statistical database, Statistical disclosure limitation, Respondents' privacy, Official statistics, Data security, Statistical disclosure control, Statistical database protection |
44 | David P. Woodruff, Jessica Staddon |
Private inference control. |
CCS |
2004 |
DBLP DOI BibTeX RDF |
oblivious transfer, private information retrieval, inference control |
44 | Hongwei Zhang, Fengzhan Tian, Yuchang Lu |
A General Algorithm for Approximate Inference in Multiply Sectioned Bayesian Networks. |
IDA |
2001 |
DBLP DOI BibTeX RDF |
Multiply sectioned Bayesian network, Bayesian inference |
44 | Xiaofeng Wang, Jianbo Ou, Xiaofeng Meng 0001, Yan Chen |
Abox Inference for Large Scale OWL-Lite Data. |
SKG |
2006 |
DBLP DOI BibTeX RDF |
|
44 | Leonard Pitt |
Probabilistic inductive inference. |
J. ACM |
1989 |
DBLP DOI BibTeX RDF |
|
43 | Stephen V. Stehman |
Design, analysis, and inference for studies comparing thematic accuracy of classified remotely sensed data: a special case of map comparison. |
J. Geogr. Syst. |
2006 |
DBLP DOI BibTeX RDF |
Analytic inference, Enumerative inference, Experimental unit, Process inference, Experimental design, Accuracy assessment |
42 | John Hale, Sujeet Shenoi |
Catalytic Inference Analysis: Detecting Inference Threats due to Knowledge Discovery. |
S&P |
1997 |
DBLP DOI BibTeX RDF |
Database inference, Knowledge discovery, Fuzzy sets, Functional dependencies, Database security |
42 | Alexander Brodsky 0001, 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 |
41 | 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 |
41 | Héctor Corrada Bravo, Raghu Ramakrishnan 0001 |
Optimizing mpf queries: decision support and probabilistic inference. |
SIGMOD Conference |
2007 |
DBLP DOI BibTeX RDF |
aggregate queries, probabilistic inference |
40 | Yu Chen 0005, Wesley W. Chu |
Protection of Database Security via Collaborative Inference Detection. |
IEEE Trans. Knowl. Data Eng. |
2008 |
DBLP DOI BibTeX RDF |
|
40 | Yu Chen 0005, Wesley W. Chu |
Protection of Database Security Via Collaborative Inference Detection. |
Intelligence and Security Informatics |
2008 |
DBLP DOI BibTeX RDF |
|
40 | François Coste, Daniel Fredouille |
Unambiguous Automata Inference by Means of State-Merging Methods. |
ECML |
2003 |
DBLP DOI BibTeX RDF |
|
40 | Rusins Freivalds |
Inductive Inference of Recursive Functions: Qualitative Theory. |
Baltic Computer Science |
1991 |
DBLP DOI BibTeX RDF |
|
39 | Pedro García 0001, Enrique Vidal 0001 |
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 |
38 | Rómer Rosales, Stan Sclaroff |
Algorithms for Inference in Specialized Maps for Recovering 3D Hand Pose. |
FGR |
2002 |
DBLP DOI BibTeX RDF |
3D Hand Pose Estimation, Specialized Mappings, Visual Inference, Statistical Inference |
38 | 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 |
38 | 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 |
38 | François Pottier |
From ML type inference to stratified type inference. |
ICFP |
2005 |
DBLP DOI BibTeX RDF |
|
37 | Ning Zhong 0001, Setsuo Ohsuga |
Managing/refining structural characteristics discovered from databases. |
HICSS (3) |
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 |
37 | 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 |
37 | Jennifer Neville, David D. Jensen |
A bias/variance decomposition for models using collective inference. |
Mach. Learn. |
2008 |
DBLP DOI BibTeX RDF |
Evaluation, Statistical relational learning, Collective inference |
37 | Yanjiang Yang, Yingjiu Li, Robert H. Deng |
New Paradigm of Inference Control with Trusted Computing. (PDF / PS) |
DBSec |
2007 |
DBLP DOI BibTeX RDF |
security protocol, trusted computing, auditing, Inference control |
37 | Kyung-Joong Kim 0001, Sung-Bae Cho |
Integrated Model for Informal Inference Based on Neural Networks. |
ICONIP (2) |
2007 |
DBLP DOI BibTeX RDF |
Informal Inference, Behavior Network, Neural Networks, Pattern Recognition, Robot Control, Fuzzy Integral |
37 | David D. Jensen, Jennifer Neville, Brian Gallagher |
Why collective inference improves relational classification. |
KDD |
2004 |
DBLP DOI BibTeX RDF |
relational learning, probabilistic relational models, collective inference |
37 | Jingwu He, Alexander Zelikovsky |
Linear Reduction for Haplotype Inference. |
WABI |
2004 |
DBLP DOI BibTeX RDF |
linear independence, Haplotype inference, perfect phylogeny |
37 | Filomena Ferrucci, Genoveffa Tortora, Maurizio Tucci, Giuliana Vitiello |
Semantics-Based Inference Algorithms for Adaptive Visual Environments. |
IEEE Trans. Software Eng. |
1996 |
DBLP DOI BibTeX RDF |
visual language design, semantic similarity, adaptive user interfaces, Grammatical inference |
36 | Richard Chow, Philippe Golle, Jessica Staddon |
Detecting privacy leaks using corpus-based association rules. |
KDD |
2008 |
DBLP DOI BibTeX RDF |
inference detection, search engine, web mining, association rule mining, inference control |
35 | Peter Møller Neergaard, Harry G. Mairson |
Types, potency, and idempotency: why nonlinearity and amnesia make a type system work. |
ICFP |
2004 |
DBLP DOI BibTeX RDF |
proofnet, complexity, type inference, normalization, intersection types, idempotence |
35 | Junhwan Kim, Ramin Zabih |
Factorial Markov Random Fields. |
ECCV (3) |
2002 |
DBLP DOI BibTeX RDF |
Factorial Hidden Markov Model, Markov Random Field, Bayesian inference, Graphical model, Layer representation, Grouping and segmentation |
35 | Alvaro A. A. Fernandes |
Combining Inductive and Deductive Inference in Knowledge Management Tasks. |
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 |
35 | 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 |
35 | Andrew G. Clark, Emmanouil T. Dermitzakis, Stylianos E. Antonarakis |
Trisomic Phase Inference. |
Computational Methods for SNPs and Haplotype Inference |
2002 |
DBLP DOI BibTeX RDF |
|
35 | Dan Gusfield |
An Overview of Combinatorial Methods for Haplotype Inference. |
Computational Methods for SNPs and Haplotype Inference |
2002 |
DBLP DOI BibTeX RDF |
|
35 | 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 |
|
35 | Malrey Lee, Tae-eun Kim |
The construction of a fuzzy inference network by extension of the rule inference network. |
Neural Comput. Appl. |
2005 |
DBLP DOI BibTeX RDF |
Neural logic network, Propagation rule, Fuzzy inference network |
34 | Begonia Bi-Hsia Tai, Leonard H. Weiner |
Design of an on-line decision support system for process control. |
ACM Conference on Computer Science |
1988 |
DBLP DOI BibTeX RDF |
|
34 | T. K. Ho, Edward T. Lee, T. T. Ho |
Syntactic approach to image analysis (abstract only). |
ACM Conference on Computer Science |
1987 |
DBLP DOI BibTeX RDF |
|
34 | 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 |
34 | Daniel Smith 0003, 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 |
34 | 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 |
34 | Lotfi A. Zadeh |
Inference in Fuzzy Logic via Generalized Constraint Propagation. |
ISMVL |
1996 |
DBLP DOI BibTeX RDF |
generalized constraint propagation, fuzzy logic, fuzzy logic, inference, inference mechanisms, computing with words |
34 | 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 |
34 | 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 |
33 | 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 |
33 | Ohbyung Kwon, Jaemoon Sim, Myungchul Lee |
OWL-DL Based Ontology Inference Engine Assessment for Context-Aware Services. |
KES-AMSTA |
2007 |
DBLP DOI BibTeX RDF |
MINERVA, DLDB-OWL, HAWK, Ontology, Semantic Web, scalability, Inference Engine, Context-Aware Services, OWL-DL |
33 | Andrew Hamilton-Wright, Daniel W. Stashuk |
Transparent Decision Support Using Statistical Reasoning and Fuzzy Inference. |
IEEE Trans. Knowl. Data Eng. |
2006 |
DBLP DOI BibTeX RDF |
software engineering, decision support, human-centered computing, pattern discovery, fuzzy inference systems, Fuzzy rule-based classification systems |
33 | Joachim Biskup, Lena Wiese |
On Finding an Inference-Proof Complete Database for Controlled Query Evaluation. (PDF / PS) |
DBSec |
2006 |
DBLP DOI BibTeX RDF |
confidentiality of data, complete database systems, Branch and Bound, propositional logic, inference control, SAT solving, lying, Controlled Query Evaluation |
33 | Mal-Rey Lee, Jae Wan Lee |
A Fuzzy Inference Network Model for Search Strategy Using Neural Logic Network. |
J. Intell. Robotic Syst. |
2003 |
DBLP DOI BibTeX RDF |
neural logic network, propagation rules, fuzzy inference network, expert system, search strategy |
33 | Hui Tian 0001, Hong Shen 0001 |
An Improved Algorithm of Multicast Topology Inference from End-to-End Measurements. |
ISHPC |
2003 |
DBLP DOI BibTeX RDF |
Multicast, topology inference, end-to-end measurement, hop count |
33 | Ole Agesen |
The Cartesian Product Algorithm: Simple and Precise Type Inference Of Parametric Polymorphism. |
ECOOP |
1995 |
DBLP DOI BibTeX RDF |
concrete types, inheritance, polymorphism, type inference, Self, abstract types |
32 | Chia-Hung Lin, Jen-Shin Hong, Martin Doerr |
Issues in an inference platform for generating deductive knowledge: a case study in cultural heritage digital libraries using the CIDOC CRM. |
Int. J. Digit. Libr. |
2008 |
DBLP DOI BibTeX RDF |
|
32 | Yingjiu Li, Lingyu Wang 0001, Xiaoyang Sean Wang, Sushil Jajodia |
Auditing Interval-Based Inference. |
CAiSE |
2002 |
DBLP DOI BibTeX RDF |
|
32 | Yingjiu Li, Lingyu Wang 0001, Sushil Jajodia |
Preventing Interval-Based Inference by Random Data Perturbation. |
Privacy Enhancing Technologies |
2002 |
DBLP DOI BibTeX RDF |
|
32 | Martin Sulzmann |
A General Type Inference Framework for Hindley/Milner Style Systems. |
FLOPS |
2001 |
DBLP DOI BibTeX RDF |
|
32 | Dominic Duggan |
Finite Subtype Inference with Explicit Polymorphism. |
SAS |
1998 |
DBLP DOI BibTeX RDF |
|
32 | Peter Clark, Bruce W. Porter |
Using Access paths to Guide Inference with Conceptual Graphs. |
ICCS |
1997 |
DBLP DOI BibTeX RDF |
|
32 | Rusins Freivalds, Janis Barzdins, Karlis Podnieks |
Inductive Inference of Recursive Functions: Complexity Bounds. |
Baltic Computer Science |
1991 |
DBLP DOI BibTeX RDF |
|
32 | Maria R. Cravo, João P. Martins |
Path-based Inference Revisited. |
SNePS |
1989 |
DBLP DOI BibTeX RDF |
|
31 | Jian-Yun Nie, Guihong Cao, Jing Bai 0005 |
Inferential language models for information retrieval. |
ACM Trans. Asian Lang. Inf. Process. |
2006 |
DBLP DOI BibTeX RDF |
inferential model, Query expansion, inference, document expansion |
31 | 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 |
31 | 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 |
31 | 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 |
31 | Elias Bareinboim, Juan D. Correa, Duligur Ibeling, Thomas Icard |
On Pearl's Hierarchy and the Foundations of Causal Inference. |
Probabilistic and Causal Inference |
2022 |
DBLP DOI BibTeX RDF |
|
31 | Elias Bareinboim, Jin Tian 0001, Judea Pearl |
Recovering from Selection Bias in Causal and Statistical Inference. |
Probabilistic and Causal Inference |
2022 |
DBLP DOI BibTeX RDF |
|
31 | Judea Pearl |
Reverend Bayes on Inference Engines: A Distributed Hierarchical Approach. |
Probabilistic and Causal Inference |
2022 |
DBLP DOI BibTeX RDF |
|
31 | Neil D. Lawrence, Magnus Rattray |
A Brief Introduction to Bayesian Inference. |
Learning and Inference in Computational Systems Biology |
2010 |
DBLP BibTeX RDF |
|
31 | Andreas Ruttor, Guido Sanguinetti, Manfred Opper |
Approximate Inference for Stochastic Reaction processes. |
Learning and Inference in Computational Systems Biology |
2010 |
DBLP BibTeX RDF |
|
31 | Pedro Mendes |
Framework for Comparative Assessment of Parameter Estimation and Inference Methods in Systems Biology. |
Learning and Inference in Computational Systems Biology |
2010 |
DBLP BibTeX RDF |
|
31 | Guy Yosiphon, Eric Mjolsness |
Toward the Inference of Stochastic Biochemical Network and Parameterized Grammar Models. |
Learning and Inference in Computational Systems Biology |
2010 |
DBLP BibTeX RDF |
|
31 | Håkan Millroth |
Using the Reform Inference System for Parallel Prolog. |
Dagstuhl Seminar on Parallelization in Inference Systems |
1990 |
DBLP DOI BibTeX RDF |
|
31 | Lokendra Shastri, Venkat Ajjanagadde, D. R. Mani |
An Optimally Efficient, Limited Inference, Connectionist Rule-Based Reasoning System with an Included Type Hierarchy. |
Dagstuhl Seminar on Parallelization in Inference Systems |
1990 |
DBLP BibTeX RDF |
|
31 | Claude F. Touzet, Norbert Giambiasi |
Application of Connectionist Models to Fuzzy Inference Systems. |
Dagstuhl Seminar on Parallelization in Inference Systems |
1990 |
DBLP DOI BibTeX RDF |
|
31 | Hans W. Guesgen, Steffen Hölldobler |
Connectionist Inference Systems. |
Dagstuhl Seminar on Parallelization in Inference Systems |
1990 |
DBLP DOI BibTeX RDF |
|
31 | Wolfgang Ertel, Christian B. Suttner |
Project PARIS: Parallelisation of Inference Systems. |
Dagstuhl Seminar on Parallelization in Inference Systems |
1990 |
DBLP BibTeX RDF |
|
31 | Wolfgang Ertel |
Random Competition: A Simple but Efficient Method for Parallelizing Inference Systems. |
Dagstuhl Seminar on Parallelization in Inference Systems |
1990 |
DBLP DOI BibTeX RDF |
|
31 | 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 |
30 | Salem Benferhat, Safa Yahi |
Complexity and Cautiousness Results for Reasoning from Partially Preordered Belief Bases. |
ECSQARU |
2009 |
DBLP DOI BibTeX RDF |
|
30 | M. Nakata |
Functional dependencies in fuzzy databases. |
KES (2) |
1997 |
DBLP DOI BibTeX RDF |
|
30 | Erika Matsak |
Representing Logical Inference Steps with Digital Circuits. |
HCI (9) |
2009 |
DBLP DOI BibTeX RDF |
Logical inference steps, digital circuits representing logical inference steps, logic gates |
30 | Paul Sheridan, Takeshi Kamimura, Hidetoshi Shimodaira |
On Scale-Free Prior Distributions and Their Applicability in Large-Scale Network Inference with Gaussian Graphical Models. |
Complex (1) |
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 |
30 | 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 |
30 | Dipankar Sarkar 0001, 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 |
30 | Xiaojun Ye, Zude Li, Yongnian Li |
Capture Inference Attacks for K-Anonymity with Privacy Inference Logic. |
DASFAA |
2007 |
DBLP DOI BibTeX RDF |
|
29 | Laura Gui, Jean-Philippe Thiran, Nikos Paragios |
Cooperative Object Segmentation and Behavior Inference in Image Sequences. |
Int. J. Comput. Vis. |
2009 |
DBLP DOI BibTeX RDF |
Behavior inference, Image segmentation, Gesture recognition |
29 | David M. Lingard |
Layered Random Inference Networks. |
ACAL |
2009 |
DBLP DOI BibTeX RDF |
criticality, situation assessment, information propagation, inference network |
29 | 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 |
29 | Kivanc Zorlu, Candan Gokceoglu |
Prediction of the Collapse Index by a Mamdani Fuzzy Inference System. |
KES (1) |
2008 |
DBLP DOI BibTeX RDF |
caliche, collapsible ground, collapse index, fuzzy inference system |
29 | Satish Chandra 0001, 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 |
29 | Yelizaveta Marchenko, Tat-Seng Chua, Ramesh C. Jain |
Ontology-Based Annotation of Paintings Using Transductive Inference Framework. |
MMM (1) |
2007 |
DBLP DOI BibTeX RDF |
Multi-expert, Paintings, Concepts Ontology, Transductive inference |
29 | Engin Avci, Ibrahim Türkoglu, Mustafa Poyraz |
Intelligent Target Recognition Based on Wavelet Adaptive Network Based Fuzzy Inference System. |
IbPRIA (1) |
2005 |
DBLP DOI BibTeX RDF |
Radar Target Echo Signal, Wavelet adaptive network based fuzzy inference system, Pattern recognition, Feature extraction, Entropy, Intelligent system, Wavelet decomposition |
29 | Sébastien Carlier, J. B. Wells |
Type inference with expansion variables and intersection types in system E and an exact correspondence with beta-reduction. |
PPDP |
2004 |
DBLP DOI BibTeX RDF |
expansion variables, type inference, lambda-calculus, intersection types |
29 | Csilla Farkas, Sushil Jajodia |
The Inference Problem: A Survey. |
SIGKDD Explor. |
2002 |
DBLP DOI BibTeX RDF |
external knowledge, access control, data security, semantic modeling, inference control |
29 | Xin Gong, Jihong Pei, Weixin Xie |
On-Line Hand-Drawn Symbol Recognition Based on Primitives Separation and Fuzzy Inference. |
ICMI |
2000 |
DBLP DOI BibTeX RDF |
Hand-drawn, Figure recognition, On-Line, Fuzzy inference |
29 | Martin Müller, Susumu Nishimura |
Type Inference for First-Class Messages with Feature Constraints. |
ASIAN |
1998 |
DBLP DOI BibTeX RDF |
first-class messages, feature constraints, complexity, object-oriented programming, constraint-based type inference |
29 | Robert Pierson, Richard Reiner |
Explanatory warrant for scientific realism. |
Synth. |
2008 |
DBLP DOI BibTeX RDF |
Inference to the best explanation, Inference to the best casual explanation, Realism |
28 | James P. McGlothlin, Latifur R. Khan |
RDFKB: efficient support for RDF inference queries and knowledge management. |
IDEAS |
2009 |
DBLP DOI BibTeX RDF |
information integration and retrieval, logic and databases, ontology, semantic web, data models, resource description framework, knowledge base management systems |
Displaying result #1 - #100 of 36860 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|