|
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dagstuhl Seminar on Parallelization in Inference Systems ![In: Parallelization in Inference Systems, International Workshop, Dagstuhl Castle, Germany, December 17-18, 1990, Proceedings, pp. 354, 1990, Springer, 3-540-55425-4. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
26 | |
Project Summaries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dagstuhl Seminar on Parallelization in Inference Systems ![In: Parallelization in Inference Systems, International Workshop, Dagstuhl Castle, Germany, December 17-18, 1990, Proceedings, pp. 343-372, 1990, Springer, 3-540-55425-4. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
26 | Andy King, Paul Soper |
Compile-Time Analysis of Concurrent Logic Programs for Multi-processors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dagstuhl Seminar on Parallelization in Inference Systems ![In: Parallelization in Inference Systems, International Workshop, Dagstuhl Castle, Germany, December 17-18, 1990, Proceedings, pp. 367, 1990, Springer, 3-540-55425-4. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
26 | Scott Fertig, David Gelernter |
Experiments with Parallel Software Architectures for Information Filtering: Trellis and FGP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dagstuhl Seminar on Parallelization in Inference Systems ![In: Parallelization in Inference Systems, International Workshop, Dagstuhl Castle, Germany, December 17-18, 1990, Proceedings, pp. 364, 1990, Springer, 3-540-55425-4. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
26 | Walter Hower |
Constraint Satisfaction via Partially Parallel Propagation Steps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dagstuhl Seminar on Parallelization in Inference Systems ![In: Parallelization in Inference Systems, International Workshop, Dagstuhl Castle, Germany, December 17-18, 1990, Proceedings, pp. 234-242, 1990, Springer, 3-540-55425-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dagstuhl Seminar on Parallelization in Inference Systems ![In: Parallelization in Inference Systems, International Workshop, Dagstuhl Castle, Germany, December 17-18, 1990, Proceedings, pp. 253-269, 1990, Springer, 3-540-55425-4. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
26 | Wolfgang Schreiner |
The ADAM Abstract Dataflow Machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dagstuhl Seminar on Parallelization in Inference Systems ![In: Parallelization in Inference Systems, International Workshop, Dagstuhl Castle, Germany, December 17-18, 1990, Proceedings, pp. 270-289, 1990, Springer, 3-540-55425-4. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
26 | Fadi N. Sibai |
Parallel Unification: Theory and Implementations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dagstuhl Seminar on Parallelization in Inference Systems ![In: Parallelization in Inference Systems, International Workshop, Dagstuhl Castle, Germany, December 17-18, 1990, Proceedings, pp. 51-81, 1990, Springer, 3-540-55425-4. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
26 | Khayri A. M. Ali, Roland Karlsson |
The MUSE Parallel Prolog System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dagstuhl Seminar on Parallelization in Inference Systems ![In: Parallelization in Inference Systems, International Workshop, Dagstuhl Castle, Germany, December 17-18, 1990, Proceedings, pp. 358, 1990, Springer, 3-540-55425-4. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
26 | Ewing L. Lusk, William McCune, John K. Slaney |
Parallel Closure-Based Automated Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dagstuhl Seminar on Parallelization in Inference Systems ![In: Parallelization in Inference Systems, International Workshop, Dagstuhl Castle, Germany, December 17-18, 1990, Proceedings, pp. 347, 1990, Springer, 3-540-55425-4. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
26 | Henry Tirri, Petri Myllymäki, Pekka Orponen, Patrik Floréen |
Programming Methods for Neural Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dagstuhl Seminar on Parallelization in Inference Systems ![In: Parallelization in Inference Systems, International Workshop, Dagstuhl Castle, Germany, December 17-18, 1990, Proceedings, pp. 357, 1990, Springer, 3-540-55425-4. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
26 | Ewing L. Lusk, William McCune |
Experiments with ROO: A Parallel Automated Deduction System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dagstuhl Seminar on Parallelization in Inference Systems ![In: Parallelization in Inference Systems, International Workshop, Dagstuhl Castle, Germany, December 17-18, 1990, Proceedings, pp. 139-162, 1990, Springer, 3-540-55425-4. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
26 | Giancarlo Succi |
Data Parallelism in Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dagstuhl Seminar on Parallelization in Inference Systems ![In: Parallelization in Inference Systems, International Workshop, Dagstuhl Castle, Germany, December 17-18, 1990, Proceedings, pp. 355, 1990, Springer, 3-540-55425-4. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
26 | Simon H. Lavington |
The IFS Parallel Architectures Group University of Essex. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dagstuhl Seminar on Parallelization in Inference Systems ![In: Parallelization in Inference Systems, International Workshop, Dagstuhl Castle, Germany, December 17-18, 1990, Proceedings, pp. 351-352, 1990, Springer, 3-540-55425-4. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
26 | Wilson X. Wen |
Parallel Distributed Belief Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dagstuhl Seminar on Parallelization in Inference Systems ![In: Parallelization in Inference Systems, International Workshop, Dagstuhl Castle, Germany, December 17-18, 1990, Proceedings, pp. 350, 1990, Springer, 3-540-55425-4. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
26 | Roman Blasko |
Parallel Computation Model for Parallel Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dagstuhl Seminar on Parallelization in Inference Systems ![In: Parallelization in Inference Systems, International Workshop, Dagstuhl Castle, Germany, December 17-18, 1990, Proceedings, pp. 290-302, 1990, Springer, 3-540-55425-4. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
26 | Handong Wu |
Parallel Implementation of Guarded Horn Clauses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dagstuhl Seminar on Parallelization in Inference Systems ![In: Parallelization in Inference Systems, International Workshop, Dagstuhl Castle, Germany, December 17-18, 1990, Proceedings, pp. 369, 1990, Springer, 3-540-55425-4. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
26 | Steffen Hölldobler, Franz J. Kurfess |
CHCL - A Connectionist Infernce System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dagstuhl Seminar on Parallelization in Inference Systems ![In: Parallelization in Inference Systems, International Workshop, Dagstuhl Castle, Germany, December 17-18, 1990, Proceedings, pp. 318-342, 1990, Springer, 3-540-55425-4. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
26 | Maria Paola Bonacina, Jieh Hsiang |
A System for Distributed Simplification-Based Theorem Proving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dagstuhl Seminar on Parallelization in Inference Systems ![In: Parallelization in Inference Systems, International Workshop, Dagstuhl Castle, Germany, December 17-18, 1990, Proceedings, pp. 370, 1990, Springer, 3-540-55425-4. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
26 | Franz J. Kurfess |
Potentiality of Parallelism in Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dagstuhl Seminar on Parallelization in Inference Systems ![In: Parallelization in Inference Systems, International Workshop, Dagstuhl Castle, Germany, December 17-18, 1990, Proceedings, pp. 3-25, 1990, Springer, 3-540-55425-4. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
26 | Sten-Åke Tärnlund, Håkan Millroth |
Parallel Reform Computations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dagstuhl Seminar on Parallelization in Inference Systems ![In: Parallelization in Inference Systems, International Workshop, Dagstuhl Castle, Germany, December 17-18, 1990, Proceedings, pp. 371, 1990, Springer, 3-540-55425-4. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
26 | Fadi N. Sibai |
Parallel Unification Machine Design and Simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dagstuhl Seminar on Parallelization in Inference Systems ![In: Parallelization in Inference Systems, International Workshop, Dagstuhl Castle, Germany, December 17-18, 1990, Proceedings, pp. 345, 1990, Springer, 3-540-55425-4. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
25 | Max Schäfer, Oege de Moor |
Type inference for datalog with complex type hierarchies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2010, Madrid, Spain, January 17-23, 2010, pp. 145-156, 2010, ACM, 978-1-60558-479-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the ACM SIGMOD International Conference on Management of Data, SIGMOD 2010, Indianapolis, Indiana, USA, June 6-10, 2010, pp. 75-86, 2010, ACM, 978-1-4503-0032-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MobiSys ![In: Proceedings of the 8th International Conference on Mobile Systems, Applications, and Services (MobiSys 2010), San Francisco, California, USA, June 15-18, 2010, pp. 5-20, 2010, ACM, 978-1-60558-985-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 10(2), pp. 14:1-14:34, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECML/PKDD (1) ![In: Machine Learning and Knowledge Discovery in Databases, European Conference, ECML PKDD 2009, Bled, Slovenia, September 7-11, 2009, Proceedings, Part I, pp. 344-358, 2009, Springer, 978-3-642-04179-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MOBILWARE ![In: Mobile Wireless Middleware, Operating Systems, and Applications, Second International Conference, Mobilware 2009, Berlin, Germany, April 28-29, 2009, Proceedings, pp. 352-365, 2009, Springer, 978-3-642-01801-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICHIT ![In: Proceedings of the 2009 International Conference on Hybrid Information Technology, ICHIT 2009, Daejeon, Korea, August 27-29, 2009, pp. 213-216, 2009, ACM, 978-1-60558-662-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, ICFP 2009, Edinburgh, Scotland, UK, August 31 - September 2, 2009, pp. 341-352, 2009, ACM, 978-1-60558-332-7. The full citation details ...](Pics/full.jpeg) |
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) ![Search on Bibsonomy](Pics/bibsonomy.png) |
DBSec ![In: Data and Applications Security XXIII, 23rd Annual IFIP WG 11.3 Working Conference, Montreal, Canada, July 12-15, 2009. Proceedings, pp. 208-224, 2009, Springer, 978-3-642-03006-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Inference Channels, Multimedia, Access Control |
25 | Hiroshi Unno 0001, Naoki Kobayashi 0001 |
Dependent type inference with interpolants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, September 7-9, 2009, Coimbra, Portugal, pp. 277-288, 2009, ACM, 978-1-60558-568-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
type inference, dependent types |
25 | Jaroslav Peregrin |
What is the Logic of Inference? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 88(2), pp. 263-294, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 12(1), pp. 51-66, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trans. Comput. Sci. ![In: Transactions on Computational Science I, pp. 104-114, 2008, Springer, 978-3-540-79298-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, ICFP 2008, Victoria, BC, Canada, September 20-28, 2008, pp. 63-74, 2008, ACM, 978-1-59593-919-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stat. Comput. ![In: Stat. Comput. 17(3), pp. 219-233, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Analysis and Design of Intelligent Systems using Soft Computing Techniques ![In: Analysis and Design of Intelligent Systems using Soft Computing Techniques, a selection of papers from IFSA 2007, pp. 53-62, 2007, Springer, 978-3-540-72431-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCTA ![In: Computer And Computing Technologies In Agriculture, Volume II, First IFIP TC 12 International Conference on Computer and Computing Technologies in Agriculture (CCTA 2007), Wuyishan, China, August 18-20, 2007, pp. 1181-1191, 2007, Springer, 978-0-387-77252-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, San Diego, California, USA, June 10-13, 2007, pp. 123-134, 2007, ACM, 978-1-59593-633-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO (Companion) ![In: Genetic and Evolutionary Computation Conference, GECCO 2007, Proceedings, London, England, UK, July 7-11, 2007, Companion Material, pp. 2937-2944, 2007, ACM, 978-1-59593-698-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BIRD ![In: Bioinformatics Research and Development, First International Conference, BIRD 2007, Berlin, Germany, March 12-14, 2007, Proceedings, pp. 1-15, 2007, Springer, 978-3-540-71232-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIARP ![In: Progress in Pattern Recognition, Image Analysis and Applications, 12th Iberoamericann Congress on Pattern Recognition, CIARP 2007, Valparaiso, Chile, November 13-16, 2007, Proceedings, pp. 957-966, 2007, Springer, 978-3-540-76724-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPDC ![In: Proceedings of the 16th International Symposium on High-Performance Distributed Computing (HPDC-16 2007), 25-29 June 2007, Monterey, California, USA, pp. 11-22, 2007, ACM, 978-1-59593-673-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMMCVPR ![In: Energy Minimization Methods in Computer Vision and Pattern Recognition, 6th International Conference, EMMCVPR 2007, Ezhou, China, August 27-29, 2007, Proceedings, pp. 213-224, 2007, Springer, 978-3-540-74195-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 82(1), pp. 51-71, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the 11th ACM SIGPLAN International Conference on Functional Programming, ICFP 2006, Portland, Oregon, USA, September 16-21, 2006, pp. 50-61, 2006, ACM, 1-59593-309-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the 11th ACM SIGPLAN International Conference on Functional Programming, ICFP 2006, Portland, Oregon, USA, September 16-21, 2006, pp. 251-262, 2006, ACM, 1-59593-309-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation Conference, GECCO 2006, Proceedings, Seattle, Washington, USA, July 8-12, 2006, pp. 305-306, 2006, ACM, 1-59593-186-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation Conference, GECCO 2005, Proceedings, Washington DC, USA, June 25-29, 2005, pp. 415-422, 2005, ACM, 1-59593-010-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DOLAP ![In: DOLAP 2004, ACM Seventh International Workshop on Data Warehousing and OLAP, Washington, DC, USA, November 12-13, 2004, Proceedings, pp. 59-64, 2004, ACM, 1-58113-977-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN 2004 Conference on Programming Language Design and Implementation 2004, Washington, DC, USA, June 9-11, 2004, pp. 243-254, 2004, ACM, 1-58113-807-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stat. Comput. ![In: Stat. Comput. 13(3), pp. 209-219, 2003. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 50(2), pp. 107-153, 2003. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 29(2), pp. 133-150, 2003. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICAI ![In: MICAI 2002: Advances in Artificial Intelligence, Second Mexican International Conference on Artificial Intelligence, Merida, Yucatan, Mexico, April 22-26, 2002, Proceedings, pp. 526-535, 2002, Springer, 3-540-43475-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
E-smart ![In: Smart Card Programming and Security, International Conference on Research in Smart Cards, E-smart 2001, Cannes, France, September 19-21, 2001, Proceedings, pp. 43-57, 2001, Springer, 3-540-42610-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFSEM ![In: SOFSEM 2001: Theory and Practice of Informatics, 28th Conference on Current Trends in Theory and Practice of Informatics Piestany, Slovak Republic, November 24 - December 1, 2001, Proceedings, pp. 53-57, 2001, Springer, 3-540-42912-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 9(8), pp. 729-747, 1998. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence, European Workshop, JELIA '94, York, UK, September 5-8, 1994, Proceedings, pp. 19-33, 1994, Springer, 3-540-58332-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Annual Conference ![In: Proceedings of the 1984 ACM Annual Conference on Computer Science: The fifth generation challenge, San Francisco, CA, USA, October 1984, pp. 42-49, 1984, ACM, 0-89791-144-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIRA (1) ![In: Intelligent Robotics and Applications, First International Conference, ICIRA 2008, Wuhan, China, October 15-17, 2008 Proceedings, Part I, pp. 1206-1215, 2008, Springer, 978-3-540-88512-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Secure Data Management ![In: Secure Data Management, Third VLDB Workshop, SDM 2006, Seoul, Korea, September 10-11, 2006, Proceedings, pp. 30-47, 2006, Springer, 978-3-540-38984-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP ![In: Proceedings 1995 International Conference on Image Processing, Washington, DC, USA, October 23-26, 1995, pp. 155-158, 1995, IEEE Computer Society, 0-8186-7310-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Robotic Syst. ![In: J. Intell. Robotic Syst. 1(4), pp. 407-425, 1989. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISLPED ![In: Proceedings of the 2010 International Symposium on Low Power Electronics and Design, 2010, Austin, Texas, USA, August 18-20, 2010, pp. 349-354, 2010, ACM, 978-1-4503-0146-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Automated Reasoning with Analytic Tableaux and Related Methods, 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009. Proceedings, pp. 189-204, 2009, Springer, 978-3-642-02715-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEA/AIE ![In: Next-Generation Applied Intelligence, 22nd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2009, Tainan, Taiwan, June 24-27, 2009. Proceedings, pp. 491-500, 2009, Springer, 978-3-642-02567-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
24 | Marenglen Biba, Stefano Ferilli, Floriana Esposito |
High Performing Algorithms for MAP and Conditional Inference in Markov Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AI*IA ![In: AI*IA 2009: Emergent Perspectives in Artificial Intelligence, XIth International Conference of the Italian Association for Artificial Intelligence, Reggio Emilia, Italy, December 9-12, 2009, Proceedings, pp. 274-283, 2009, Springer, 978-3-642-10290-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2008 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, PEPM 2008, San Francisco, California, USA, January 7-8, 2008, pp. 177-187, 2008, ACM, 978-1-59593-977-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICC ![In: Proceedings of IEEE International Conference on Communications, ICC 2008, Beijing, China, 19-23 May 2008, pp. 1615-1619, 2008, IEEE. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Shigemasa Takai, Ratnesh Kumar 0001 |
Inference-based decentralized prognosis in discrete event systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: Proceedings of the 47th IEEE Conference on Decision and Control, CDC 2008, December 9-11, 2008, Cancún, Mexico, pp. 871-876, 2008, IEEE, 978-1-4244-3123-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2008, 28 July - 1 August 2008, Turku, Finland, pp. 287-294, 2008, IEEE Computer Society, 978-0-7695-3262-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFOCOM ![In: INFOCOM 2008. 27th IEEE International Conference on Computer Communications, Joint Conference of the IEEE Computer and Communications Societies, 13-18 April 2008, Phoenix, AZ, USA, pp. 36-40, 2008, IEEE, 978-1-4244-2026-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Yan Na, Hongmin Lu, Ying Zhang |
Content Analysis Based Medical Images Fusion with Fuzzy Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSKD (3) ![In: Fifth International Conference on Fuzzy Systems and Knowledge Discovery, FSKD 2008, 18-20 October 2008, Jinan, Shandong, China, Proceedings, Volume 3, pp. 37-41, 2008, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Kai Yu 0004, Mark J. F. Gales |
Bayesian Adaptive Inference and Adaptive Training. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Speech Audio Process. ![In: IEEE Trans. Speech Audio Process. 15(6), pp. 1932-1943, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Yoshinobu Watanabe, Tomohiro Yoshikawa, Takeshi Furuhashi |
A study on application of fitness inference method to PC-IGA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Congress on Evolutionary Computation ![In: Proceedings of the IEEE Congress on Evolutionary Computation, CEC 2007, 25-28 September 2007, Singapore, pp. 1450-1455, 2007, IEEE, 978-1-4244-1339-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCNN ![In: Proceedings of the International Joint Conference on Neural Networks, IJCNN 2007, Celebrating 20 years of neural networks, Orlando, Florida, USA, August 12-17, 2007, pp. 932-937, 2007, IEEE, 978-1-4244-1379-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Cory J. Butz, Wen Yan, Boting Yang |
An Efficient Algorithm for Inference in Rough Set Flow Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trans. Rough Sets ![In: Transactions on Rough Sets V, pp. 102-122, 2006, Springer, 3-540-39382-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APNOMS ![In: Management of Convergence Networks and Services, 9th Asia-Pacific Network Operations and Management Symposium, APNOMS 2006 Busan, Korea, September 27-29, 2006, Proceedings, pp. 566-569, 2006, Springer, 3-540-45776-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Srinivas Ravela, Antonio Torralba 0001, William T. Freeman |
An Ensemble Prior of Image Structure for Cross-Modal Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCV ![In: 10th IEEE International Conference on Computer Vision (ICCV 2005), 17-20 October 2005, Beijing, China, pp. 871-876, 2005, IEEE Computer Society, 0-7695-2334-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Mark A. Paskin, Carlos Guestrin, Jim McFadden |
A robust architecture for distributed inference in sensor networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPSN ![In: Proceedings of the Fourth International Symposium on Information Processing in Sensor Networks, IPSN 2005, April 25-27, 2005, UCLA, Los Angeles, California, USA, pp. 55-62, 2005, IEEE, 0-7803-9202-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
24 | McGregor J. Collie, David L. Dowe, Leigh J. Fitzgibbon |
Stock Market Simulation and Inference Technique. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HIS ![In: 5th International Conference on Hybrid Intelligent Systems (HIS 2005), 6.9 November 2005, Rio de Janeiro, Brazil, pp. 534-538, 2005, IEEE Computer Society, 0-7695-2457-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Xue Ying Chen, Ruizhong Wei |
A Dynamic Method for Handling the Inference Problem in Multilevel Secure Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITCC (1) ![In: International Symposium on Information Technology: Coding and Computing (ITCC 2005), Volume 1, 4-6 April 2005, Las Vegas, Nevada, USA, pp. 751-756, 2005, IEEE Computer Society, 0-7695-2315-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Kevin Grant, Michael C. Horsch |
Conditioning Graphs: Practical Structures for Inference in Bayesian Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australian Conference on Artificial Intelligence ![In: AI 2005: Advances in Artificial Intelligence, 18th Australian Joint Conference on Artificial Intelligence, Sydney, Australia, December 5-9, 2005, Proceedings, pp. 49-59, 2005, Springer, 3-540-30462-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Robin Abraham, Martin Erwig |
Header and Unit Inference for Spreadsheets Through Spatial Analyses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VL/HCC ![In: 2004 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2004), 26-29 September 2004, Rome, Italy, pp. 165-172, 2004, IEEE Computer Society, 0-7803-8696-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
24 | Alan Fern, Robert Givan |
Relational sequential inference with reliable observations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICML ![In: Machine Learning, Proceedings of the Twenty-first International Conference (ICML 2004), Banff, Alberta, Canada, July 4-8, 2004, 2004, ACM. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
24 | Jessica Staddon |
Dynamic inference control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMKD ![In: Proceedings of the 8th ACM SIGMOD workshop on Research issues in data mining and knowledge discovery, DMKD 2003, San Diego, California, USA, June 13, 2003, pp. 94-100, 2003, ACM. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
24 | Nik Swoboda, Gerard Allwein |
Modeling Heterogeneous Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference, Second International Conference, Diagrams 2002, Callaway Gardens, GA, USA, April 18-20, 2002, Proceedings, pp. 131-145, 2002, Springer, 3-540-43561-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
24 | Atsushi Ohori, Nobuaki Yoshida |
Type Inference with Rank 1 Polymorphism for Type-Directed Compilation of ML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the fourth ACM SIGPLAN International Conference on Functional Programming (ICFP '99), Paris, France, September 27-29, 1999., pp. 160-171, 1999, ACM, 1-58113-111-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
24 | Eiju Hirowatari, Setsuo Arikawa |
A Comparison of Identification Criteria for Inductive Inference of Recursive Real-Valued Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALT ![In: Algorithmic Learning Theory, 9th International Conference, ALT '98, Otzenhausen, Germany, October 8-10, 1998, Proceedings, pp. 262-275, 1998, Springer, 3-540-65013-X. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
24 | Ramkrishna Chatterjee, Barbara G. Ryder, William Landi |
Complexity of Concrete Type-Inference in the Presence of Exceptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems - ESOP'98, 7th European Symposium on Programming, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings, pp. 57-74, 1998, Springer, 3-540-64302-8. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
24 | Zheng Zhu, Carl-Johan H. Seger |
The Completeness of a Hardware Inference System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 6th International Conference, CAV '94, Stanford, California, USA, June 21-23, 1994, Proceedings, pp. 286-298, 1994, Springer, 3-540-58179-0. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
24 | Chris Hankin, Daniel Le Métayer |
Deriving Algorithms From Type Inference Systems: Application to Strictness Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL'94: 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Portland, Oregon, USA, January 17-21, 1994, pp. 202-212, 1994, ACM Press, 0-89791-636-0. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
24 | Eberhard Stickel |
A Linear Programming Approach to Logical Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Conference on Computer Science ![In: Proceedings of the ACM 21th Conference on Computer Science, CSC '93, Indianapolis, IN, USA, February 16-18, 1993, pp. 100-106, 1993, ACM, 0-89791-558-5. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
24 | David Roach, Hal Berghel |
The Physiology of PROLOG Expert System Inference Engine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGSMALL/PC Symposium ![In: Proceedings of the 1990 ACM SIGSMALL/PC Symposium on Small Systems, March 28-30, 1990. Crystal City, VA, USA, pp. 1-5, 1990, ACM, 0-89791-347-7. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
Prolog |
24 | Toramatsu Shintani |
An Approach to Speeding Up the Prolog=based Inference Engine KORE/IE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LP ![In: Logic Programming '87, Proceedings of the 6th Conference, Tokyo, Japan, June 22-24, 1987, pp. 284-297, 1987, Springer, 3-540-19426-6. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
24 | Prithviraj Sen, Amol Deshpande, Lise Getoor |
PrDB: managing and exploiting rich correlations in probabilistic databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLDB J. ![In: VLDB J. 18(5), pp. 1065-1090, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mach. Learn. ![In: Mach. Learn. 71(2-3), pp. 185-217, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 30(3), pp. 14:1-14:60, 2008. The full citation details ...](Pics/full.jpeg) |
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][ >>] |
|