Search results for "inference"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
17	Pravin Pawar, G. Nagaraja	Regular Grammatical Inference: A Genetic Algorithm Approach.	AFSS	2002	DBLP DOI BibTeX RDF
17	Yasunori Ishihara, Shuichiro Ako, Toru Fujiwara	Security against Inference Attacks on Negative Information in Object-Oriented Databases.	ICICS	2002	DBLP DOI BibTeX RDF
17	Ioannis Hatzilygeroudis, Jim Prentzas	Multi-inference with Multi-neurules.	SETN	2002	DBLP DOI BibTeX RDF
17	Alexander Bochman	Possible Worlds Semantics for Credulous and Contraction Inference.	KI/ÖGAI	2001	DBLP DOI BibTeX RDF
17	Tiejun Wang, Scott F. Smith 0001	Precise Constraint-Based Type Inference for Java.	ECOOP	2001	DBLP DOI BibTeX RDF
17	Tee Yong Chew, Martin Henz, Ka Boon Ng	A Toolkit for Constraint-Based Inference Engines.	PADL	2000	DBLP DOI BibTeX RDF
17	Helmut Horacek	Presenting Mathematical Concepts as an Example for Inference-Rich Domains.	NLDB	2000	DBLP DOI BibTeX RDF
17	Aleksy Schubert	Type Inference for First-Order Logic.	FoSSaCS	2000	DBLP DOI BibTeX RDF
17	François Pottier	A 3-Part Type Inference Engine.	ESOP	2000	DBLP DOI BibTeX RDF
17	Yoichiro Hattori, Takeshi Furuhashi	A proposal of fuzzy modeling with dimensionality reduction incorporating fuzzy inference method.	KES	2000	DBLP DOI BibTeX RDF
17	Hsiangchu Lai, Tzyy-Ching Yang	A Group-based Inference Approach to Customized Marketing on the Web - Integrating Clustering and Association Rules Techniques.	HICSS	2000	DBLP DOI BibTeX RDF
17	Koji Tsuda, Shotaro Akaho	Large Margin Classifier via Semiparametric Inference.	IJCNN (2)	2000	DBLP DOI BibTeX RDF
17	Colin de la Higuera	Current Trends in Grammatical Inference.	SSPR/SPR	2000	DBLP DOI BibTeX RDF
17	Wei Li 0022	A Logical Framework for Inductive Inference and Its Rationality.	Australian Joint Conference on Artificial Intelligence	1999	DBLP DOI BibTeX RDF	inductive process, belief revision, knowledge representation and reasoning, inductive reasoning
17	H. C. Anderson, Ahmad Lotfi, L. C. Westphal, J. R. Jang	Comments on "Functional equivalence between radial basis function networks and fuzzy inference systems" [and reply].	IEEE Trans. Neural Networks	1998	DBLP DOI BibTeX RDF
17	Haruo Hosoya, Akinori Yonezawa	Garbage Collection via Dynamic Type Inference - A Fomal Treatment.	Types in Compilation	1998	DBLP DOI BibTeX RDF
17	Nevin Lianwen Zhang	Context-Specific Independence, Decomposition of Conditional Probabilities, and Inference in Bayesian Networks.	PRICAI	1998	DBLP DOI BibTeX RDF
17	Jan J. Mulawka, Magdalena J. Ocwieja	Molecular Inference via Unidirectional Chemical Reactions.	ICES	1998	DBLP DOI BibTeX RDF
17	Sumit Dutta Chowdhury, George T. Duncan, Ramayya Krishnan, Stephen F. Roehrig, Sumitra Mukherjee	Logical vs. Numerical Inference on Statistical Databases.	HICSS (2)	1996	DBLP DOI BibTeX RDF
17	Thomas Långbacka, Rimvydas Ruksenas, Joakim von Wright	TkWinHOL: A Tool for Window Inference in HOL.	TPHOLs	1995	DBLP DOI BibTeX RDF
17	My Hoang, John C. Mitchell	Lower Bounds on Type Inference with Subtypes.	POPL	1995	DBLP DOI BibTeX RDF
17	Alexander V. Kozlov, Jaswinder Pal Singh	A parallel Lauritzen-Spiegelhalter algorithm for probabilistic inference.	SC	1994	DBLP DOI BibTeX RDF
17	Stefan Kaes	Type Inference in the Presence of Overloading, Subtyping and Recursive Types.	LISP and Functional Programming	1992	DBLP DOI BibTeX RDF
17	Albrecht Fortenbacher	Efficient Type Inference and Coercion in Computer Algebra.	DISCO	1990	DBLP DOI BibTeX RDF
17	Deepak Kumar	An Integrated Model of Acting and Inference.	SNePS	1989	DBLP DOI BibTeX RDF
17	Frank Pfenning	Partial Polymorphic Type Inference and Higher-Order Unification.	LISP and Functional Programming	1988	DBLP DOI BibTeX RDF
17	Matthew Morgenstern	Security and Inference in Multilevel Database and Knowledge-Base Systems.	SIGMOD Conference	1987	DBLP DOI BibTeX RDF
17	Kenji Horiuchi, Tadashi Kanamori	Polymorphic Type Inference in Prolog by Abstract Interpretation.	LP	1987	DBLP DOI BibTeX RDF
17	Hans Leiß	On Type Inference for Object-Oriented Programming Languages.	CSL	1987	DBLP DOI BibTeX RDF
16	Abraham Imohiosen, Joe Watson, Jan Peters 0001	Active Inference or Control as Inference? A Unifying View.	IWAI	2020	DBLP DOI BibTeX RDF
16	Beren Millidge, Alexander Tschantz, Anil K. Seth, Christopher L. Buckley	On the Relationship Between Active Inference and Control as Inference.	IWAI	2020	DBLP DOI BibTeX RDF
16	Christopher J. Thornton	Analogical Inference as Generalised Inductive Inference.	AII	1989	DBLP DOI BibTeX RDF
16	Min Feng 0001, Rajiv Gupta 0001	Learning universal probabilistic models for fault localization.	PASTE	2010	DBLP DOI BibTeX RDF	bayesian network, fault localization, probabilistic inference, dynamic dependence graph
16	Tachio Terauchi	Dependent types from counterexamples.	POPL	2010	DBLP DOI BibTeX RDF	interpolation, type inference, dependent types, counterexamples, intersection types
16	Patrick Maxim Rondon, Ming Kawaguchi, Ranjit Jhala	Low-level liquid types.	POPL	2010	DBLP DOI BibTeX RDF	liquid types, c, type inference, dependent types
16	Jacob Burnim, Koushik Sen	DETERMIN: inferring likely deterministic specifications of multithreaded programs.	ICSE (1)	2010	DBLP DOI BibTeX RDF	parallel programs, determinism, specification inference
16	Igor Douven	Can the skepticism debate be resolved?	Synth.	2009	DBLP DOI BibTeX RDF	Skepticism, Bayesian epistemology, Inference to the best explanation, Evidence
16	Xiaochun Yang 0001, Bin Wang 0015, Ge Yu 0001	Efficient secure data publishing algorithms for supporting information sharing.	Sci. China Ser. F Inf. Sci.	2009	DBLP DOI BibTeX RDF	inference attack, association rule, Information sharing, data privacy, data publishing
16	Nina Gierasimczuk, Lena Kurzen, Fernando R. Velázquez-Quesada	Learning and Teaching as a Game: A Sabotage Approach.	LORI	2009	DBLP DOI BibTeX RDF	Formal learning theory, sabotage games, inductive inference games, game theory, modal logic, learning algorithms
16	François Garillot, Georges Gonthier, Assia Mahboubi, Laurence Rideau	Packaging Mathematical Structures.	TPHOLs	2009	DBLP DOI BibTeX RDF	Formalization of Algebra, Coercive subtyping, SSReflect, Type inference, Coq
16	Qin Zhang	The Difference between Single-Valued and Multi-Valued Cases in the Compact Representation of CPD in Bayesian Networks.	Complex (1)	2009	DBLP DOI BibTeX RDF	knowledge representation, uncertainty, causality, probabilistic inference
16	Jack Lindamood, Raymond Heatherly, Murat Kantarcioglu, Bhavani Thuraisingham	Inferring private information using social network data.	WWW	2009	DBLP DOI BibTeX RDF	privacy, social networks, inference
16	Bogdan D. Czejdo, Thompson Cummings	Extending Static Knowledge Diagrams to Include Dynamic Knowledge.	WSKS (2)	2009	DBLP DOI BibTeX RDF	Static and Dynamic Knowledge, UML, Knowledge, Inference
16	Bhargav Kanagal, Amol Deshpande	Indexing correlated probabilistic databases.	SIGMOD Conference	2009	DBLP DOI BibTeX RDF	inference queries, caching, indexing, probabilistic databases, junction trees
16	David M. Lingard, Dale A. Lambert	Evaluation of the Effectiveness of Machine-Based Situation Assessment.	ACAL	2009	DBLP DOI BibTeX RDF	measure of effectiveness, situation assessment, inference network
16	Kazuhiro Minami, Nikita Borisov, Carl A. Gunter	Safety in discretionary access control for logic-based publish-subscribe systems.	SACMAT	2009	DBLP DOI BibTeX RDF	access control, safety, inference control, publish-subscribe system, logical language
16	Tetsuya Takaishi	Markov Chain Monte Carlo on Asymmetric GARCH Model Using the Adaptive Construction Scheme.	ICIC (1)	2009	DBLP DOI BibTeX RDF	GJR-GARCH model, Bayesian inference, Markov Chain Monte Carlo, Metropolis-Hasting algorithm
16	Nadia Polikarpova, Ilinca Ciupa, Bertrand Meyer 0001	A comparative study of programmer-written and automatically inferred contracts.	ISSTA	2009	DBLP DOI BibTeX RDF	dynamic contract inference, eiffel
16	Nikolaus Wulff, Davide Sottara	Fuzzy Reasoning with a Rete-OO Rule Engine.	RuleML	2009	DBLP DOI BibTeX RDF	fuzzy logic, inference engine, uncertain reasoning
16	Jiefei Ma, Alessandra Russo, Krysia Broda, Keith Clark	DARE: a system for distributed abductive reasoning.	Auton. Agents Multi Agent Syst.	2008	DBLP DOI BibTeX RDF	Distributed inference, Multi-thread Prolog, Abduction
16	Michael Furr, Jeffrey S. Foster	Checking type safety of foreign function calls.	ACM Trans. Program. Lang. Syst.	2008	DBLP DOI BibTeX RDF	FFI, flow-sensitive type system, foreign function calls, multilingual type inference, multilingual type system, representational type, Java, dataflow analysis, OCaml, JNI, Java Native Interface, Foreign function interface
16	Chuan Feng, Jerzy W. Rozenblit, Allan J. Hamilton	Fuzzy Logic-Based Performance Assessment in the Virtual, Assistive Surgical Trainer (VAST).	ECBS	2008	DBLP DOI BibTeX RDF	Fuzzy Logic, Inference, MIS, Surgical Training
16	Md Maruf Hasan, Ekawit Nantajeewarawat	Towards Intelligent and Adaptive Digital Library Services.	ICADL	2008	DBLP DOI BibTeX RDF	Interest-drift Modeling, Ontology-based Topic Inference, Recommender System, Digital library, Collaborative Filtering, User Modelling
16	Yarui Chen, Shizhong Liao	Cluster Selection Based on Coupling for Gaussian Mean Fields.	ISNN (1)	2008	DBLP DOI BibTeX RDF	Variational Probabilistic Inference, Gaussian Mean Field, Cluster Selection, Gaussian Markov Random Field
16	Dimitrios Vytiniotis, Stephanie Weirich, Simon L. Peyton Jones	FPH: first-class polymorphism for Haskell.	ICFP	2008	DBLP DOI BibTeX RDF	higher-rank types, impredicativity, type inference
16	Sunny Consolvo, David W. McDonald, Tammy Toscos, Mike Y. Chen, Jon Froehlich, Beverly L. Harrison, Predrag V. Klasnja, Anthony LaMarca, Louis LeGrand, Ryan Libby, Ian E. Smith, James A. Landay	Activity sensing in the wild: a field trial of ubifit garden.	CHI	2008	DBLP DOI BibTeX RDF	activity-based applications, mobile phone, persuasive technology, ambient display, fitness, sensing, physical activity, activity inference
16	Andrew Kennedy	Types for units-of-measure in f#: invited talk.	ML	2008	DBLP DOI BibTeX RDF	dimension types, polymorphic type inference, ml
16	Patrick Maxim Rondon, Ming Kawaguchi, Ranjit Jhala	Liquid types.	PLDI	2008	DBLP DOI BibTeX RDF	hindley-milner, type inference, dependent types, predicate abstraction
16	Shunshan Piao, Jeongmin Park, Eunseok Lee 0001	Performance Problem Determination Using Combined Dependency Analysis for Reliable System.	ATC	2008	DBLP DOI BibTeX RDF	Combined Dependency Analysis, Temporal Inference, Performance Problem Determination
16	JiaDong Zhang, Kun Yue, Weiyi Liu	Learning and Inferences of the Bayesian Network with Maximum Likelihood Parameters.	ADMA	2008	DBLP DOI BibTeX RDF	Maximum likelihood hypothesis, Sigmoid, Support vector machine, Bayesian network, Inference
16	Kamal Nasrollahi, Mohammad Rahmati, Thomas B. Moeslund	A Neural Network Based Cascaded Classifier for Face Detection in Color Images with Complex Background.	ICIAR	2008	DBLP DOI BibTeX RDF	Fuzzy Inference Engine, Genetic Algorithm, Neural Networks, Face Detection, Color Images, Cascaded Classifier
16	Alexandros Stamatakis, Filip Blagojevic, Dimitrios S. Nikolopoulos, Christos D. Antonopoulos	Exploring New Search Algorithms and Hardware for Phylogenetics: RAxML Meets the IBM Cell.	J. VLSI Signal Process.	2007	DBLP DOI BibTeX RDF	RAxML, IBM cell, maximum likelihood, phylogenetic inference
16	Paul Piwek	Meaning and Dialogue Coherence: A Proof-theoretic Investigation.	J. Log. Lang. Inf.	2007	DBLP DOI BibTeX RDF	Multi-agent Inference, Proof-theoretic semantics, Coherence, Natural deduction, Dialogue modelling
16	João Paulo Carvalho, José Alberto Batista Tomé, Daniel Chang Yan	Two-Input Fuzzy TPE Systems.	Analysis and Design of Intelligent Systems using Soft Computing Techniques	2007	DBLP DOI BibTeX RDF	2-input fuzzy TPE, fuzzy inference computational efficiency
16	Derek Dreyer, Robert Harper 0001, Manuel M. T. Chakravarty, Gabriele Keller	Modular type classes.	POPL	2007	DBLP DOI BibTeX RDF	type systems, type inference, modules, type classes
16	Marcelino Campos, Damián López, Piedachu Peris	Incremental Multiple Sequence Alignment.	CIARP	2007	DBLP DOI BibTeX RDF	processing of biosequences, multiple alignment of sequences, Grammatical inference
16	Vladimir V. Rybakov	Until-Since Temporal Logic Based on Parallel Time with Common Past. Deciding Algorithms.	LFCS	2007	DBLP DOI BibTeX RDF	admissible inference rules, Temporal logic, linear temporal logic, branching time logic
16	Michael Ott 0001, Jaroslaw Zola, Alexandros Stamatakis, Srinivas Aluru	Large-scale maximum likelihood-based phylogenetic analysis on the IBM BlueGene/L.	SC	2007	DBLP DOI BibTeX RDF	IBM BlueGene/L, RAxML, maximum likelihood, phylogenetic inference
16	Dacheng Tao, Jimeng Sun 0001, Xindong Wu 0001, Xuelong Li 0001, Jialie Shen 0001, Stephen J. Maybank, Christos Faloutsos	Probabilistic Tensor Analysis with Akaike and Bayesian Information Criteria.	ICONIP (1)	2007	DBLP DOI BibTeX RDF	Akaike Information Criterion, Tensor, Probabilistic Inference, Probabilistic Principal Component Analysis, Bayesian Information Criterion
16	Tai-Pang Wu, Kam-Lun Tang, Chi-Keung Tang, Tien-Tsin Wong	Dense Photometric Stereo: A Markov Random Field Approach.	IEEE Trans. Pattern Anal. Mach. Intell.	2006	DBLP DOI BibTeX RDF	normal and surface reconstruction, robust inference, real-time relighting, Markov random fields, graph cuts, belief propagation, Photometric stereo
16	Meng Wang 0002, Kung Chen, Siau-Cheng Khoo	Type-directed weaving of aspects for higher-order functional languages.	PEPM	2006	DBLP DOI BibTeX RDF	type inference, functional language, aspect oriented, higher-order, weaving
16	Alain Frisch	OCaml + XDuce.	ICFP	2006	DBLP DOI BibTeX RDF	CDuce, XDuce, regular expression types, XML, type inference, OCaml
16	Ranjit Jhala, Rupak Majumdar	Bit level types for high level reasoning.	SIGSOFT FSE	2006	DBLP DOI BibTeX RDF	model checking, type inference, bit vectors
16	Vladimir V. Rybakov	Linear Temporal Logic with Until and Before on Integer Numbers, Deciding Algorithms.	CSR	2006	DBLP DOI BibTeX RDF	consecutions, admissible rules, algorithms, inference rules, linear temporal logic, logic in computer science, logical consequence
16	Piedad Brox, Iluminada Baturone, Santiago Sánchez-Solano, Julio Gutiérrez-Ríos, Felipe Fernández-Hernández	Fuzzy Motion Adaptive Algorithm for Video De-interlacing.	KES (2)	2006	DBLP DOI BibTeX RDF	Video De-interlacing, Motion Adaptive, Supervised Learning Algorithms, Fuzzy Inference Systems
16	Daniele Gorla, Matthew Hennessy, Vladimiro Sassone	Inferring dynamic credentials for rôle-based trust management.	PPDP	2006	DBLP DOI BibTeX RDF	logic programming with negation, rôle-based access control, trust-management, inference systems
16	Kangmiao Liu, Wei Chen 0005, Chun Chen 0001, Jiajun Bu, Can Wang 0001, Peng Huang	EagleRank: A Novel Ranking Model for Web Image Search Engine.	PCM	2006	DBLP DOI BibTeX RDF	EagleRank, image search engine, World Wide Web, relevance feedback, inference network
16	Andrew Lee	Learning via finitely many queries.	Ann. Math. Artif. Intell.	2005	DBLP DOI BibTeX RDF	learning via a teacher, machine learning, inductive inference, learning by example
16	Sinisa Todorovic, Michael C. Nechyba	Dynamic Trees for Unsupervised Segmentation and Matching of Image Regions.	IEEE Trans. Pattern Anal. Mach. Intell.	2005	DBLP DOI BibTeX RDF	dynamic trees, image segmentation, object recognition, Bayesian networks, image matching, Generative models, variational inference
16	Aslam Muhammad 0001, Ana María Martínez Enríquez, Dominique Decouchant	Awareness and Coordination for Web Cooperative Authoring.	AWIC	2005	DBLP DOI BibTeX RDF	Web Co-Authoring, Work Focus, Context-Based Communication, Events, Inference Engine
16	Faizan Javed	Inferring context-free grammars for domain-specific languages.	OOPSLA Companion	2005	DBLP DOI BibTeX RDF	data mining, domain-specific languages, context-free grammars, grammar inference
16	Faizan Javed	Inferring context-free grammars for domain-specific languages.	OOPSLA Companion	2005	DBLP DOI BibTeX RDF	data mining, domain-specific languages, context-free grammars, grammar inference
16	Sung-il Kim, Sung-Hyun Yun, Mi-sun Yoon, Yeon-hee So, Won-Sik Kim, Myung-Jin Lee, Dong-Seong Choi, Hyung-Woo Lee	Design and Implementation of the KORI: Intelligent Teachable Agent and Its Application to Education.	ICCSA (4)	2005	DBLP DOI BibTeX RDF	TA (Teachable Agent), learning by teaching, motivation to learn, knowledge representation, intelligent tutoring system, concept map, inference engine
16	Tobias Lindahl, Konstantinos Sagonas	TypEr: a type annotator of Erlang code.	Erlang Workshop	2005	DBLP DOI BibTeX RDF	success typings, Erlang, subtyping, principal typings, constraint-based type inference
16	Jeremy W. Bryans, Maciej Koutny, Laurent Mazaré, Peter Y. A. Ryan	Opacity Generalised to Transition Systems.	Formal Aspects in Security and Trust	2005	DBLP DOI BibTeX RDF	non-deducibility, non-inference, observable behaviour, Petri nets, anonymity, labelled transition systems, opacity
16	Paul Fearnhead	Filtering recursions for calculating likelihoods for queues based on inter-departure time data.	Stat. Comput.	2004	DBLP DOI BibTeX RDF	Er/G/1 queues, indirect inference, likelihood recursions, missing data, forward-backward algorithm, M/G/1 queues
16	Michael Haft, Reimar Hofmann, Volker Tresp	Generative binary codes.	Pattern Anal. Appl.	2004	DBLP DOI BibTeX RDF	Distributed binary coding, EM-learning, Image coding and denoising, Mean field inference, Bayesian networks, Generative models
16	Vicenç Torra, Yasuo Narukawa	On the Interpretation of Some Fuzzy Integrals.	MDAI	2004	DBLP DOI BibTeX RDF	Twofold integral, Fuzzy inference system, Fuzzy integrals, Sugeno integral
16	Arnon Rosenthal, Edward Sciore	Abstracting and Refining Authorization in SQL.	Secure Data Management	2004	DBLP DOI BibTeX RDF	SQL Authorization, Privilege Inference, Views
16	Yasue Mitsukura, Kensuke Mitsukura, Minoru Fukumi, Norio Akamatsu, Witold Pedrycz	Medical Diagnosis System Using the Intelligent Fuzzy Systems.	KES	2004	DBLP DOI BibTeX RDF	asynergy, cardiac momentum, the left ventricles axis, contact points, NN, fuzzy inference, left ventricle
16	Harri Lähdesmäki, Ilya Shmulevich, Olli Yli-Harja	On Learning Gene Regulatory Networks Under the Boolean Network Model.	Mach. Learn.	2003	DBLP DOI BibTeX RDF	Consistency Problem, Best-Fit Extension paradigm, gene regulatory networks, network inference
16	Matthias Neubauer, Peter Thiemann 0001	Discriminative sum types locate the source of type errors.	ICFP	2003	DBLP DOI BibTeX RDF	polymorphism, type inference, type errors
16	Nick G. Duffield	Simple network performance tomography.	Internet Measurement Conference	2003	DBLP DOI BibTeX RDF	performance, networks, correlation, estimation, inference
16	John Moses	Measuring Effort Estimation Uncertainty to Improve Client Confidence.	Softw. Qual. J.	2002	DBLP DOI BibTeX RDF	Albrecht's and MK II Function Points, function type complexity measurement, outsourcer and client negotiations, Bayesian inference, effort estimation, COCOMO, Bayes theorem
16	Dominique Decouchant, Ana María Martínez Enríquez, Jesús Favela, Alberto L. Morán, Sonia Mendoza, Samir Jafar	A Distributed Event Service for Adaptive Group Awareness.	MICAI	2002	DBLP DOI BibTeX RDF	Web cooperative authoring, distributed event management, adaptive group awareness inference engine, AGAIE, DEMS
16	Masato Tsuru, Tetsuya Takine, Yuji Oie	Inferring Traffic Flow Characteristics from Aggregated-Flow Measurement.	SAINT	2002	DBLP DOI BibTeX RDF	Measurement and Monitoring, Flow characteristics, OD traffic matrix, Statistical Inference
16	Boubekeur Mendil, Khier Benmahammed	Activation and Defuzzification Methods for Fuzzy Rule-Based Systems.	J. Intell. Robotic Syst.	2001	DBLP DOI BibTeX RDF	rule activation, defuzzification methods, inference, fuzzy systems
16	Angela C. Sodan, Vicenç Torra	Fuzzy configuration of matching runtime implementation strategies.	Soft Comput.	2001	DBLP DOI BibTeX RDF	Multistage fuzzy inference, Runtime implementation strategies, Parallelization, Configuration
16	Sandra Carberry	Techniques for Plan Recognition.	User Model. User Adapt. Interact.	2001	DBLP DOI BibTeX RDF	plan inference, plans, goals, intentions
16	Thomas Zeugmann	Stochastic Finite Learning.	SAGA	2001	DBLP DOI BibTeX RDF	stochastic finite learning, conjunctive concepts, pattern languages, average-case analysis, Inductive inference