|
|
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 |
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 |
Displaying result #301 - #400 of 36860 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ >>] |
|