Search results for "Inference"

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