Search results for "inference"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
26	Robert Chun, Brad Perry, Steve Birminghan	ESCAPE: Expert System Compilation and Parallelization Environment.	Dagstuhl Seminar on Parallelization in Inference Systems	1990	DBLP BibTeX RDF
26		Project Summaries.	Dagstuhl Seminar on Parallelization in Inference Systems	1990	DBLP DOI BibTeX RDF
26	Andy King, Paul Soper	Compile-Time Analysis of Concurrent Logic Programs for Multi-processors.	Dagstuhl Seminar on Parallelization in Inference Systems	1990	DBLP BibTeX RDF
26	Scott Fertig, David Gelernter	Experiments with Parallel Software Architectures for Information Filtering: Trellis and FGP.	Dagstuhl Seminar on Parallelization in Inference Systems	1990	DBLP BibTeX RDF
26	Walter Hower	Constraint Satisfaction via Partially Parallel Propagation Steps.	Dagstuhl Seminar on Parallelization in Inference Systems	1990	DBLP DOI BibTeX RDF
26	Jiwei Wang, Andy Marsh, Simon H. Lavington	Non-WAM Models of Logic Programming and Their Support by Novel Parallel Hardware.	Dagstuhl Seminar on Parallelization in Inference Systems	1990	DBLP DOI BibTeX RDF
26	Wolfgang Schreiner	The ADAM Abstract Dataflow Machine.	Dagstuhl Seminar on Parallelization in Inference Systems	1990	DBLP DOI BibTeX RDF
26	Fadi N. Sibai	Parallel Unification: Theory and Implementations.	Dagstuhl Seminar on Parallelization in Inference Systems	1990	DBLP DOI BibTeX RDF
26	Khayri A. M. Ali, Roland Karlsson	The MUSE Parallel Prolog System.	Dagstuhl Seminar on Parallelization in Inference Systems	1990	DBLP BibTeX RDF
26	Ewing L. Lusk, William McCune, John K. Slaney	Parallel Closure-Based Automated Reasoning.	Dagstuhl Seminar on Parallelization in Inference Systems	1990	DBLP BibTeX RDF
26	Henry Tirri, Petri Myllymäki, Pekka Orponen, Patrik Floréen	Programming Methods for Neural Computing.	Dagstuhl Seminar on Parallelization in Inference Systems	1990	DBLP BibTeX RDF
26	Ewing L. Lusk, William McCune	Experiments with ROO: A Parallel Automated Deduction System.	Dagstuhl Seminar on Parallelization in Inference Systems	1990	DBLP DOI BibTeX RDF
26	Giancarlo Succi	Data Parallelism in Logic Programming.	Dagstuhl Seminar on Parallelization in Inference Systems	1990	DBLP BibTeX RDF
26	Simon H. Lavington	The IFS Parallel Architectures Group University of Essex.	Dagstuhl Seminar on Parallelization in Inference Systems	1990	DBLP BibTeX RDF
26	Wilson X. Wen	Parallel Distributed Belief Networks.	Dagstuhl Seminar on Parallelization in Inference Systems	1990	DBLP BibTeX RDF
26	Roman Blasko	Parallel Computation Model for Parallel Prolog.	Dagstuhl Seminar on Parallelization in Inference Systems	1990	DBLP DOI BibTeX RDF
26	Handong Wu	Parallel Implementation of Guarded Horn Clauses.	Dagstuhl Seminar on Parallelization in Inference Systems	1990	DBLP BibTeX RDF
26	Steffen Hölldobler, Franz J. Kurfess	CHCL - A Connectionist Infernce System.	Dagstuhl Seminar on Parallelization in Inference Systems	1990	DBLP DOI BibTeX RDF
26	Maria Paola Bonacina, Jieh Hsiang	A System for Distributed Simplification-Based Theorem Proving.	Dagstuhl Seminar on Parallelization in Inference Systems	1990	DBLP BibTeX RDF
26	Franz J. Kurfess	Potentiality of Parallelism in Logic.	Dagstuhl Seminar on Parallelization in Inference Systems	1990	DBLP DOI BibTeX RDF
26	Sten-Åke Tärnlund, Håkan Millroth	Parallel Reform Computations.	Dagstuhl Seminar on Parallelization in Inference Systems	1990	DBLP BibTeX RDF
26	Fadi N. Sibai	Parallel Unification Machine Design and Simulation.	Dagstuhl Seminar on Parallelization in Inference Systems	1990	DBLP BibTeX RDF
25	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
25	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
25	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
25	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
25	Ilias N. Flaounas, Marco Turchi, Tijl De Bie, Nello Cristianini	Inference and Validation of Networks.	ECML/PKDD (1)	2009	DBLP DOI BibTeX RDF	Network validation, News Outlets network, Network inference
25	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
25	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
25	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
25	Bechara al Bouna, Richard Chbeir	Detecting Inference Channels in Private Multimedia Data via Social Networks. (PDF / PS)	DBSec	2009	DBLP DOI BibTeX RDF	Inference Channels, Multimedia, Access Control
25	Hiroshi Unno 0001, Naoki Kobayashi 0001	Dependent type inference with interpolants.	PPDP	2009	DBLP DOI BibTeX RDF	type inference, dependent types
25	Jaroslav Peregrin	What is the Logic of Inference?	Stud Logica	2008	DBLP DOI BibTeX RDF	nature of logic, logical operators, inference, proof theory, intuitionistic logic
25	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
25	Juan R. Castro 0001, Oscar Castillo 0001, Patricia Melin, Antonio Rodríguez Díaz	Building Fuzzy Inference Systems with a New Interval Type-2 Fuzzy Logic Toolbox.	Trans. Comput. Sci.	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
25	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
25	Martin Neil, Manesh Tailor, David Marquez	Inference in hybrid Bayesian networks using dynamic discretization.	Stat. Comput.	2007	DBLP DOI BibTeX RDF	Bayesian software, Dynamic discretization, Bayesian networks, Expert systems, Statistical inference, Reasoning under uncertainty, Propagation algorithms
25	Juan R. Castro 0001, Oscar Castillo 0001, Patricia Melin, Luis G. Martínez, S. Escobar, I. Camacho	Building Fuzzy Inference Systems with the Interval Type-2 Fuzzy Logic Toolbox.	Analysis and Design of Intelligent Systems using Soft Computing Techniques	2007	DBLP DOI BibTeX RDF	Interval Type-2 Fuzzy Inference Systems, Interval Type-2 Fuzzy Logic Toolbox, Interval Type-2 Membership Functions, Footprint of Uncertainty
25	Zongkun Tan, Meihua Ding, Xin Yang, Zhaorong Ou, Yan He, Zhaomin Kuang, Huilin Chen, Xiaohua Mo, Zhongyan Huang	The Design and Implementation of Sugar-cane Intelligence Expert System Based on Eos/Modis Data Inference Model.	CCTA	2007	DBLP DOI BibTeX RDF	Sugarcane, Intelligence Expert System, Inference diagnosis, Real time decision, RS
25	Murali Krishna Ramanathan, Ananth Grama, Suresh Jagannathan	Static specification inference using predicate mining.	PLDI	2007	DBLP DOI BibTeX RDF	predicate mining, program analysis, preconditions, specification inference
25	Hooman Shayani, Peter J. Bentley	A more bio-plausible approach to the evolutionary inference of finite state machines.	GECCO (Companion)	2007	DBLP DOI BibTeX RDF	bio-plausibility, genetic algorithms, evolutionary algorithms, evolution, finite-state machine, fsm, metaphors, analogies, grammatical inference
25	Nicole Radde, Lars Kaderali	Bayesian Inference of Gene Regulatory Networks Using Gene Expression Time Series Data.	BIRD	2007	DBLP DOI BibTeX RDF	Bayesian regularization, Saccharomyces cerevisiae, gene regulatory network, ordinary differential equations, network inference, cell cycle
25	Tomás Arredondo, Félix Vásquez, Diego Candel, Lioubov Dombrovskaia, Loreine Agulló, Macarena Córdova, Valeria Latorre-Reyes, Felipe Calderón, Michael Seeger	Dynamic Penalty Based GA for Inducing Fuzzy Inference Systems.	CIARP	2007	DBLP DOI BibTeX RDF	genetic algorithm, Fuzzy logic, system modelling, inference system
25	Tatsuya Shirai, Hideo Saito, Kenjiro Taura	A fast topology inference: a building block for network-aware parallel processing.	HPDC	2007	DBLP DOI BibTeX RDF	measurements, broadcast, topology inference
25	Ru-Xin Gao, Tianfu Wu 0001, Song Chun Zhu, Nong Sang	Bayesian Inference for Layer Representation with Mixed Markov Random Field.	EMMCVPR	2007	DBLP DOI BibTeX RDF	2.1D Sketch, Contour Completion, Mixed Markov Field, Swendsen-Wang Cut, Bayesian Inference, MCMC, Layer Representation
25	Kai Brünnler	Cut Elimination inside a Deep Inference System for Classical Predicate Logic.	Stud Logica	2006	DBLP DOI BibTeX RDF	cut elimination, first-order predicate logic, deep inference
25	Simon L. Peyton Jones, Dimitrios Vytiniotis, Stephanie Weirich, Geoffrey Washburn	Simple unification-based type inference for GADTs.	ICFP	2006	DBLP DOI BibTeX RDF	type inference, generalized algebraic data types
25	Dimitrios Vytiniotis, Stephanie Weirich, Simon L. Peyton Jones	Boxy types: inference for higher-rank types and impredicativity.	ICFP	2006	DBLP DOI BibTeX RDF	higher-rank types, impredicativity, type inference
25	Christian Spieth, Rene Worzischek, Felix Streichert	Comparing evolutionary algorithms on the problem of network inference.	GECCO	2006	DBLP DOI BibTeX RDF	evolutionary computation, inference, systems biology
25	Leon Poladian	A GA for maximum likelihood phylogenetic inference using neighbour-joining as a genotype to phenotype mapping.	GECCO	2005	DBLP DOI BibTeX RDF	genotype to phenotype mapping, neighbour joining, genetic algorithms, maximum likelihood, phylogenetic inference
25	Nan Zhang 0004, Wei Zhao 0001, Jianer Chen	Cardinality-based inference control in OLAP systems: an information theoretic approach.	DOLAP	2004	DBLP DOI BibTeX RDF	data mining, information theory, OLAP, inference control
25	Wei-Ngan Chin, Florin Craciun, Shengchao Qin, Martin C. Rinard	Region inference for an object-oriented language.	PLDI	2004	DBLP DOI BibTeX RDF	downcasts, method overriding, region inference, type systems, memory management, object-oriented languages
25	Mark J. Brewer	Discretisation for inference on normal mixture models.	Stat. Comput.	2003	DBLP DOI BibTeX RDF	normal mixture models, discretisation of continuous parameters, Bayesian inference
25	Rina Dechter, Irina Rish	Mini-buckets: A general scheme for bounded inference.	J. ACM	2003	DBLP DOI BibTeX RDF	Accuracy/complexity trade-off, approximation algorithms, Bayesian networks, combinatorial optimization, probabilistic inference
25	Laura K. Dillon, Kurt Stirewalt	Inference Graphs: A Computational Structure Supporting Generation of Customizable and Correct Analysis Components.	IEEE Trans. Software Eng.	2003	DBLP DOI BibTeX RDF	Amalia, analysis software, engineering trade-offs, inference graphs, transparent design, program transformations, operational semantics, proofs of correctness
25	Ana María Martínez Enríquez, Aslam Muhammad 0001, Dominique Decouchant, Jesús Favela	An Inference Engine for Web Adaptive Cooperative Work.	MICAI	2002	DBLP DOI BibTeX RDF	Deductive and Adaptive User Environment, AIE, Producers and Consumers, Events, Inference Engine
25	Denis Caromel, Ludovic Henrio, Bernard P. Serpette	Context Inference for Static Analysis of Java Card Object Sharing.	E-smart	2001	DBLP DOI BibTeX RDF	security, static analysis, objects, type inference, Java Card
25	Sándor Jenei	Inference in Rule-Based Systems by Interpolation and Extrapolation Revisited.	SOFSEM	2001	DBLP DOI BibTeX RDF	Sparse rule base, Interpolation/extrapolation of fuzzy rules, Knowledge-based systems, Expert system, Fuzzy sets, Fuzzy control, Inference, Approximate reasoning
25	Sanda M. Harabagiu, Dan I. Moldovan	Parallel System for Text Inference Using Marker Propagations.	IEEE Trans. Parallel Distributed Syst.	1998	DBLP DOI BibTeX RDF	Parallel search algorithms, parallel knowledge processing, marker propagations, parallel inference, metrics for parallelism analysis, natural language understanding, speed-up
25	Heinrich Herre	Compactness Properties of Nonmonotonic Inference Operations.	JELIA	1994	DBLP DOI BibTeX RDF	nonmonotonic inference, compactness, model theory
25	H. Ogawa, King-sun Fu, James T. P. Yao	Knowledge representation and inference control of SPERIL-II.	ACM Annual Conference	1984	DBLP DOI BibTeX RDF	Metarule, Expert system, Inference control, Logic representation
25	Fei Li 0009, Qing-Hao Meng, Shuang Bai, Ji-Gong Li, Dorin Popescu	Probability-PSO Algorithm for Multi-robot Based Odor Source Localization in Ventilated Indoor Environments.	ICIRA (1)	2008	DBLP DOI BibTeX RDF	Probability-PSO, Odor Source Localization, Ventilated Indoor Environments, Bayesian Inference, Fuzzy Inference, Multi-robot
25	Xiangdong An 0001, Dawn N. Jutla, Nick Cercone	Temporal Context Lie Detection and Generation.	Secure Data Management	2006	DBLP DOI BibTeX RDF	pervasive computing, obfuscation, dynamic Bayesian networks, inference control, uncertain reasoning, Privacy management, context inference
25	Fabrizio Russo 0001, Giovanni Ramponi	An image enhancement technique based on the FIRE operator.	ICIP	1995	DBLP DOI BibTeX RDF	image enhancement technique, FIRE operator, fuzzy logic approach, fuzzy inference ruled by else-action, nonlinear operators, image data processing, smoothing rules, sharpening rules, very small rulebase, performance, fuzzy logic, image enhancement, inference mechanisms, image quality, fuzzy rules, smoothing methods
25	Spyros G. Tzafestas, Antoni Ligeza	A framework for knowledge-based control.	J. Intell. Robotic Syst.	1989	DBLP DOI BibTeX RDF	automatic control, control support systems, expert control, reasoning/inference control, Artificial intelligence, expert systems, knowledge engineering, inference rules, knowledge-based control
24	Benjamin Vigoda, David Reynolds, Jeffrey Bernstein, Theophane Weber, Bill Bradley	Low power logic for statistical inference.	ISLPED	2010	DBLP DOI BibTeX RDF	device physics, probability programming language, stochastic circuits, fault tolerance, markov chain monte carlo, generative model, belief propagation, gibbs sampling, probabilistic graphical model
24	Rajeev Goré, Linda Postniece, Alwen Tiu	Taming Displayed Tense Logics Using Nested Sequents with Deep Inference.	TABLEAUX	2009	DBLP DOI BibTeX RDF
24	Tomonari Masada, Tsuyoshi Hamada, Yuichiro Shibata, Kiyoshi Oguri	Accelerating Collapsed Variational Bayesian Inference for Latent Dirichlet Allocation with Nvidia CUDA Compatible Devices.	IEA/AIE	2009	DBLP DOI BibTeX RDF
24	Marenglen Biba, Stefano Ferilli, Floriana Esposito	High Performing Algorithms for MAP and Conditional Inference in Markov Logic.	AI*IA	2009	DBLP DOI BibTeX RDF
24	Corneliu Popeea, Dana N. Xu, Wei-Ngan Chin	A practical and precise inference and specializer for array bound checks elimination.	PEPM	2008	DBLP DOI BibTeX RDF	size properties, dependent types, safety verification
24	Xing Jin, Wanqing Tu, S.-H. Gary Chan	Traceroute-Based Topology Inference without Network Coordinate Estimation.	ICC	2008	DBLP DOI BibTeX RDF
24	Shigemasa Takai, Ratnesh Kumar 0001	Inference-based decentralized prognosis in discrete event systems.	CDC	2008	DBLP DOI BibTeX RDF
24	Katsunori Oyama, Hojun Jaygarl, Jinchun Xia, Carl K. Chang, Atsushi Takeuchi, Hiroshi Fujimoto	A Human-Machine Dimensional Inference Ontology that Weaves Human Intentions and Requirements of Context Awareness Systems.	COMPSAC	2008	DBLP DOI BibTeX RDF	Ontology, Context Awareness, Human Intention, BDI Logic
24	Jian Ni, Haiyong Xie 0001, Sekhar Tatikonda, Yang Richard Yang	Network Routing Topology Inference from End-to-End Measurements.	INFOCOM	2008	DBLP DOI BibTeX RDF
24	Yan Na, Hongmin Lu, Ying Zhang	Content Analysis Based Medical Images Fusion with Fuzzy Inference.	FSKD (3)	2008	DBLP DOI BibTeX RDF
24	Kai Yu 0004, Mark J. F. Gales	Bayesian Adaptive Inference and Adaptive Training.	IEEE Trans. Speech Audio Process.	2007	DBLP DOI BibTeX RDF
24	Yoshinobu Watanabe, Tomohiro Yoshikawa, Takeshi Furuhashi	A study on application of fitness inference method to PC-IGA.	IEEE Congress on Evolutionary Computation	2007	DBLP DOI BibTeX RDF
24	Shuhei Kimura, Katsuki Sonoda, Soichiro Yamane, Kotaro Yoshida, Koki Matsumura, Mariko Hatakeyama	Inference of Genetic Networks using a Reduced NGnet Model.	IJCNN	2007	DBLP DOI BibTeX RDF
24	Cory J. Butz, Wen Yan, Boting Yang	An Efficient Algorithm for Inference in Rough Set Flow Graphs.	Trans. Rough Sets	2006	DBLP DOI BibTeX RDF	rough set flow graphs, Reasoning under uncertainty
24	Giljong Yoo, Jeongmin Park, Eunseok Lee 0001	Hybrid Inference Architecture and Model for Self-healing System.	APNOMS	2006	DBLP DOI BibTeX RDF
24	Srinivas Ravela, Antonio Torralba 0001, William T. Freeman	An Ensemble Prior of Image Structure for Cross-Modal Inference.	ICCV	2005	DBLP DOI BibTeX RDF
24	Mark A. Paskin, Carlos Guestrin, Jim McFadden	A robust architecture for distributed inference in sensor networks.	IPSN	2005	DBLP DOI BibTeX RDF
24	McGregor J. Collie, David L. Dowe, Leigh J. Fitzgibbon	Stock Market Simulation and Inference Technique.	HIS	2005	DBLP DOI BibTeX RDF
24	Xue Ying Chen, Ruizhong Wei	A Dynamic Method for Handling the Inference Problem in Multilevel Secure Databases.	ITCC (1)	2005	DBLP DOI BibTeX RDF
24	Kevin Grant, Michael C. Horsch	Conditioning Graphs: Practical Structures for Inference in Bayesian Networks.	Australian Conference on Artificial Intelligence	2005	DBLP DOI BibTeX RDF
24	Robin Abraham, Martin Erwig	Header and Unit Inference for Spreadsheets Through Spatial Analyses.	VL/HCC	2004	DBLP DOI BibTeX RDF
24	Alan Fern, Robert Givan	Relational sequential inference with reliable observations.	ICML	2004	DBLP DOI BibTeX RDF
24	Jessica Staddon	Dynamic inference control.	DMKD	2003	DBLP DOI BibTeX RDF
24	Nik Swoboda, Gerard Allwein	Modeling Heterogeneous Systems.	Diagrams	2002	DBLP DOI BibTeX RDF
24	Atsushi Ohori, Nobuaki Yoshida	Type Inference with Rank 1 Polymorphism for Type-Directed Compilation of ML.	ICFP	1999	DBLP DOI BibTeX RDF
24	Eiju Hirowatari, Setsuo Arikawa	A Comparison of Identification Criteria for Inductive Inference of Recursive Real-Valued Functions.	ALT	1998	DBLP DOI BibTeX RDF
24	Ramkrishna Chatterjee, Barbara G. Ryder, William Landi	Complexity of Concrete Type-Inference in the Presence of Exceptions.	ESOP	1998	DBLP DOI BibTeX RDF
24	Zheng Zhu, Carl-Johan H. Seger	The Completeness of a Hardware Inference System.	CAV	1994	DBLP DOI BibTeX RDF
24	Chris Hankin, Daniel Le Métayer	Deriving Algorithms From Type Inference Systems: Application to Strictness Analysis.	POPL	1994	DBLP DOI BibTeX RDF
24	Eberhard Stickel	A Linear Programming Approach to Logical Inference.	ACM Conference on Computer Science	1993	DBLP DOI BibTeX RDF
24	David Roach, Hal Berghel	The Physiology of PROLOG Expert System Inference Engine.	SIGSMALL/PC Symposium	1990	DBLP DOI BibTeX RDF	Prolog
24	Toramatsu Shintani	An Approach to Speeding Up the Prolog=based Inference Engine KORE/IE.	LP	1987	DBLP DOI BibTeX RDF
24	Prithviraj Sen, Amol Deshpande, Lise Getoor	PrDB: managing and exploiting rich correlations in probabilistic databases.	VLDB J.	2009	DBLP DOI BibTeX RDF	Lifted inference, Query processing, Graphical models, Bisimulation, Probabilistic databases, Uncertain databases
24	Harri Lähdesmäki, Ilya Shmulevich	Learning the structure of dynamic Bayesian networks from time series and steady state measurements.	Mach. Learn.	2008	DBLP DOI BibTeX RDF	Trans-dimensional Markov chain Monte Carlo, Bayesian inference, Markov chain Monte Carlo, Dynamic Bayesian networks, Steady state analysis
24	Daniel S. Dantas, David Walker 0001, Geoffrey Washburn, Stephanie Weirich	AspectML: A polymorphic aspect-oriented functional programming language.	ACM Trans. Program. Lang. Syst.	2008	DBLP DOI BibTeX RDF	parametric and ad-hoc polymorphism, Aspect-oriented programming, type systems, type inference, functional languages