|
|
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 |
19 | Masami Hagiya, Ryo Takemura, Koichi Takahashi, Takamichi Saito |
Verification of Authentication Protocols Based on the Binding Relation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSS ![In: Software Security -- Theories and Systems, Mext-NSF-JSPS International Symposium, ISSS 2002, Tokyo, Japan, November 8-10, 2002, Revised Papers, pp. 299-316, 2002, Springer, 3-540-00708-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Christopher Lynch, Barbara Morawska 0001 |
Goal-Directed E-Unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, 12th International Conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001, Proceedings, pp. 231-245, 2001, Springer, 3-540-42117-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
19 | Guo-Qiang Zhang 0001, William C. Rounds |
Complexity of Power Default Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings, 12th Annual IEEE Symposium on Logic in Computer Science, Warsaw, Poland, June 29 - July 2, 1997, pp. 328-339, 1997, IEEE Computer Society, 0-8186-7925-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
19 | Mauro Gaspari, Enrico Motta, Arthur Stutt |
An Open Framework for Cooperative Problem Solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Expert ![In: IEEE Expert 10(3), pp. 48-55, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
19 | Martin R. Frank, James D. Foley |
A Pure Reasoning Engine for Programming by Demonstration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Symposium on User Interface Software and Technology ![In: Proceedings of the 7th Annual ACM Symposium on User Interface Software and Technology, UIST 1994, Marina del Rey, CA, USA, November 2-4, 1994, pp. 95-101, 1994, ACM, 0-89791-657-3. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
programming by demonstration |
19 | Randal L. Walser, Bruce H. McCormick |
A system for priming a clinical knowledge base. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFIPS National Computer Conference ![In: American Federation of Information Processing Societies: 1977 National Computer Conference, June 13-16, 1977, Dallas, Texas, USA, pp. 301-307, 1977, AFIPS Press, 978-1-4503-7914-4. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP DOI BibTeX RDF |
|
19 | Pretesh B. Patel, Tshilidzi Marwala |
Neural Networks, Fuzzy Inference Systems and Adaptive-Neuro Fuzzy Inference Systems for Financial Decision Making. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICONIP (3) ![In: Neural Information Processing, 13th International Conference, ICONIP 2006, Hong Kong, China, October 3-6, 2006, Proceedings, Part III, pp. 430-439, 2006, Springer, 3-540-46484-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Wieslaw Pawlowski |
Presenting and Combining Inference Systems: Presentations with Inference Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques, 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers, pp. 409-424, 2002, Springer, 3-540-20537-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Cláudia Antunes, Arlindo L. Oliveira |
Inference of Sequential Association Rules Guided by Context-Free Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGI ![In: Grammatical Inference: Algorithms and Applications, 6th International Colloquium: ICGI 2002, Amsterdam, The Netherlands, September 23-25, 2002, Proceedings, pp. 1-13, 2002, Springer, 3-540-44239-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Christopher Kermorvant, Pierre Dupont |
Stochastic Grammatical Inference with Multinomial Tests. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGI ![In: Grammatical Inference: Algorithms and Applications, 6th International Colloquium: ICGI 2002, Amsterdam, The Netherlands, September 23-25, 2002, Proceedings, pp. 149-160, 2002, Springer, 3-540-44239-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Alexander S. Saidi, Souad Tayeb-bey |
Grammatical Inference in Document Recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGI ![In: Grammatical Inference, 4th International Colloquium, ICGI-98, Ames, Iowa, USA, July 12-14, 1998, Proceedings, pp. 175-186, 1998, Springer, 3-540-64776-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
18 | Ritendra Datta, James Ze Wang |
ACQUINE: aesthetic quality inference engine - real-time automatic rating of photo aesthetics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Multimedia Information Retrieval ![In: Proceedings of the 11th ACM SIGMM International Conference on Multimedia Information Retrieval, MIR 2010, Philadelphia, Pennsylvania, USA, March 29-31, 2010, pp. 421-424, 2010, ACM, 978-1-60558-815-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
inference, aesthetics, image quality, photography |
18 | Vetle I. Torvik, Evangelos Triantaphyllou |
Inference of Monotone Boolean Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Optimization ![In: Encyclopedia of Optimization, Second Edition, pp. 1591-1598, 2009, Springer, 978-0-387-74758-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Isotone Boolean function, Antitone Boolean function, Boolean function inference problem, Free distributive lattice, Interactive learning of Boolean functions, Shannon function, Hansel theorem, Hansel chain, Sequential Hansel chains question-asking strategy, Binary search-Hansel chains question-asking strategy, Boolean function, Conjunctive normal form, CNF, Binary search, Classification problem, Disjunctive normal form, DNF, Monotone Boolean function |
18 | Yi-Ling Chen 0004, Shang-Hong Lai |
Creating MPU implicit surfaces from unoriented point sets with orientation inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Vis. Comput. ![In: Vis. Comput. 25(5-7), pp. 391-399, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Orientation inference, Implicit surfaces, Sharp features |
18 | Mehmet Saltan, Serdal Terzi |
Backcalculation of Pavement Layer Thickness and Moduli Using Adaptive Neuro-fuzzy Inference System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Intelligent and Soft Computing in Infrastructure Systems Engineering ![In: Intelligent and Soft Computing in Infrastructure Systems Engineering: Recent Advances, pp. 177-204, 2009, Springer, 978-3-642-04585-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Backcalculation, Adaptive neural based fuzzy inference system, Flexible pavements, Nondestructive Testing |
18 | Alberto Fernández 0001, María José del Jesus, Francisco Herrera |
Improving the Performance of Fuzzy Rule Based Classification Systems for Highly Imbalanced Data-Sets Using an Evolutionary Adaptive Inference System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWANN (1) ![In: Bio-Inspired Systems: Computational and Ambient Intelligence, 10th International Work-Conference on Artificial Neural Networks, IWANN 2009, Salamanca, Spain, June 10-12, 2009. Proceedings, Part I, pp. 294-301, 2009, Springer, 978-3-642-02477-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Parametric Conjunction Operators, Imbalanced Data-Sets, Genetic Fuzzy Systems, Inference System, Fuzzy Rule-Based Classification Systems |
18 | Melinda T. Gervasio, Janet L. Murdock |
What were you thinking?: filling in missing dataflow through inference in learning from demonstration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IUI ![In: Proceedings of the 14th International Conference on Intelligent User Interfaces, IUI 2009, Sanibel Island, Florida, USA, February 8-11, 2009, pp. 157-166, 2009, ACM, 978-1-60558-168-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
knowledge-base inference, task learning, end-user programming, programming by demonstration, programming by example |
18 | Shahrani Shahbudin, Aini Hussain, Ahmed El-Shafie 0001, Nooritawati Md. Tahir, Salina Abdul Samad |
Adaptive-Neuro Fuzzy Inference System for Human Posture Classification Using a Simplified Shock Graph. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IVIC ![In: Visual Informatics: Bridging Research and Practice, First International Visual Informatics Conference, IVIC 2009, Kuala Lumpur, Malaysia, November 11-13, 2009, Proceedings, pp. 585-595, 2009, Springer, 978-3-642-05035-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
simplified shock graph (SSG), Artificial Neural Network (ANN), Adaptive-Neuro Fuzzy Inference System (ANFIS) |
18 | Matthias Kranz, Eduard Weber, Korbinian Frank, Daniel Hermosilla Galceran |
Open vehicular data interfaces for in-car context inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AutomotiveUI ![In: Proceedings of 1st International Conference on Automotive User Interfaces and Interactive Vehicular Applications, AutomotiveUI 2009, in-cooperation with ACM SIGCHI, Essen, Germany, 21-22 September 2009, pp. 57-62, 2009, ACM, 978-1-60558-571-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
vehicular interfaces, context awareness, context inference |
18 | Giuseppe Aiello, Antonella Certa, Mario Enea |
A Fuzzy Inference Expert System to Support the Decision of Deploying a Military Naval Unit to a Mission. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WILF ![In: Fuzzy Logic and Applications, 8th International Workshop, WILF 2009, Palermo, Italy, June 9-12, 2009, Proceedings, pp. 320-327, 2009, Springer, 978-3-642-02281-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
mission reliability, decision support system, fuzzy inference |
18 | V. Benjamin Livshits, Aditya V. Nori, Sriram K. Rajamani, Anindya Banerjee 0001 |
Merlin: specification inference for explicit information flow problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2009, Dublin, Ireland, June 15-21, 2009, pp. 75-86, 2009, ACM, 978-1-60558-392-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
security analysis tools, specification inference |
18 | Mário Augusto da Costa Torres, Rodrigo Magno Silva, Otávio Noura Teixeira, Roberto Limão |
A fuzzy inference system-inspired influence function for the cultural algorithm with evolutionary programming applied to real-valued function optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation Conference, GECCO 2009, Proceedings, Montreal, Québec, Canada, July 8-12, 2009, pp. 1825-1826, 2009, ACM, 978-1-60558-325-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
real-valued unconstrained function optimization, evolutionary programming, fuzzy inference systems, cultural algorithms |
18 | Fabrício Martins Lopes, Evaldo Araújo de Oliveira, Roberto M. Cesar |
Analysis of the GRNs Inference by Using Tsallis Entropy and a Feature Selection Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIARP ![In: Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications, 14th Iberoamerican Conference on Pattern Recognition, CIARP 2009, Guadalajara, Jalisco, Mexico, November 15-18, 2009. Proceedings, pp. 473-480, 2009, Springer, 978-3-642-10267-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
feature selection, bioinformatics, validation, inference, gene regulatory networks, Tsallis entropy |
18 | Agustín Gajate, Rodolfo E. Haber, José R. Alique, Pastora I. Vega |
Transductive-Weighted Neuro-Fuzzy Inference System for Tool Wear Prediction in a Turning Process. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HAIS ![In: Hybrid Artificial Intelligence Systems, 4th International Conference, HAIS 2009, Salamanca, Spain, June 10-12, 2009. Proceedings, pp. 113-120, 2009, Springer, 978-3-642-02318-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Transductive reasoning, Neuro-fuzzy inference system, Tool wear, Modeling |
18 | Haibing Lu, Yingjiu Li |
Practical Inference Control for Data Cubes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Dependable Secur. Comput. ![In: IEEE Trans. Dependable Secur. Comput. 5(2), pp. 87-98, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Data dependencies, Inference engines |
18 | Takeshi Yamakawa, Takanori Koga |
Bio-inspired Self-Organizing Relationship Network as Knowledge Acquisition Tool and Fuzzy Inference Engine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCCI ![In: Computational Intelligence: Research Frontiers, IEEE World Congress on Computational Intelligence, WCCI 2008, Hong Kong, China, June 1-6, 2008, Plenary/Invited Lectures, pp. 159-180, 2008, Springer, 978-3-540-68858-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
self-organizing relationship (SOR) network, attractive/repulsive learning, self-organizing maps (SOM), knowledge acquisition, intelligent control, fuzzy inference, defuzzification, fuzzy IF-THEN rules |
18 | Ben Bellamy, Pavel Avgustinov, Oege de Moor, Damien Sereni |
Efficient local type inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2008, October 19-23, 2008, Nashville, TN, USA, pp. 475-492, 2008, ACM, 978-1-60558-215-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
program analysis, type inference |
18 | Shun-Fang Yang, Jung-Shyr Wu, Bor-Jiunn Hwang |
Admission control for multi-services traffic in hierarchical MobileIPv6 networks using fuzzy inference system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mobility Conference ![In: Proceedings of the 5th International Conference on Mobile Technology, Applications, and Systems, Mobility Conference 2008, Yilan, Taiwan, September 10-12, 2008, pp. 15, 2008, ACM, 978-1-60558-089-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
guard channel, multiple services, call admission control (CAC), handoff, mobile IPv6, fuzzy inference system (FIS) |
18 | Y. H. Lai, P. L. Lin |
Effective Segmentation for Dental X-Ray Images Using Texture-Based Fuzzy Inference System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACIVS ![In: Advanced Concepts for Intelligent Vision Systems, 10th International Conference, ACIVS 2008, Juan-les-Pins, France, October 20-24, 2008. Proceedings, pp. 936-947, 2008, Springer, 978-3-540-88457-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Dental X-ray image, Adaptive Local Contrast Stretching, Region Growing, Image Clustering, Fuzzy Inference System |
18 | Manuel Montenegro, Ricardo Peña-Marí, Clara Segura |
An Inference Algorithm for Guaranteeing Safe Destruction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic-Based Program Synthesis and Transformation, 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers, pp. 135-151, 2008, Springer, 978-3-642-00514-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
type-based analysis, memory management, type inference |
18 | Kenji Hashimoto, Fumikazu Takasuka, Kimihide Sakano, Yasunori Ishihara, Toru Fujiwara |
Verification of the Security Against Inference Attacks on XML Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APWeb ![In: Progress in WWW Research and Development, 10th Asia-Pacific Web Conference, APWeb 2008, Shenyang, China, April 26-28, 2008. Proceedings, pp. 359-370, 2008, Springer, 978-3-540-78848-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
inference attack, security, verification, XML database |
18 | Maria Paola Bonacina, Nachum Dershowitz |
Abstract canonical inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 8(1), pp. 6, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
proof orderings, fairness, redundancy, completeness, completion, Inference, saturation, canonicity |
18 | James Hawthorne, David Makinson |
The Quantitative/Qualitative Watershed for Rules of Uncertain Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 86(2), pp. 247-297, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
uncertain inference, consequence relations, Horn rules, probabilistic thresholds, conditional probabilities, nonmonotonic logic |
18 | Jeremy Schiff, Dominic Antonelli, Alexandros G. Dimakis, David Chu, Martin J. Wainwright |
Robust message-passing for statistical inference in sensor networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPSN ![In: Proceedings of the 6th International Conference on Information Processing in Sensor Networks, IPSN 2007, Cambridge, Massachusetts, USA, April 25-27, 2007, pp. 109-118, 2007, ACM, 978-1-59593-638-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
reweighted belief propagation, sensor networks, statistical inference, message-passing algorithms |
18 | Pim van den Broek, Joost Noppen |
The Compositional Rule of Inference and Zadeh's Extension Principle for Non-normal Fuzzy Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFSA (2) ![In: Theoretical Advances and Applications of Fuzzy Logic and Soft Computing, Selection of Papers from IFSA 2007, pp. 621-628, 2007, Springer, 978-3-540-72433-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
compositional rule of inference, fuzzy Booleans, extension principle |
18 | Sigmund Cherem, Radu Rugina |
Uniqueness inference for compile-time object deallocation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMM ![In: Proceedings of the 6th International Symposium on Memory Management, ISMM 2007, Montreal, Quebec, Canada, October 21-22, 2007, pp. 117-128, 2007, ACM, 978-1-59593-893-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
compile-time memory management, individual object deallocation, object destructors, uniqueness inference, program transformations |
18 | Sumit Gulwani, Nebojsa Jojic |
Program verification as probabilistic inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2007, Nice, France, January 17-19, 2007, pp. 277-289, 2007, ACM, 1-59593-575-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
automated recovery machine, forward and backward analysis, over and under approximation, learning, program verification, Markov chain Monte Carlo, Gibbs sampling, belief networks, probabilistic inference, factor graphs |
18 | Shaogang Gong, Caifeng Shan, Tao Xiang 0002 |
Visual inference of human emotion and behaviour. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMI ![In: Proceedings of the 9th International Conference on Multimodal Interfaces, ICMI 2007, Nagoya, Aichi, Japan, November 12-15, 2007, pp. 22-29, 2007, ACM, 978-1-59593-817-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
behaviour profiling, body language recognition, human emotion recognition, intention inference, anomaly detection |
18 | Ismail Fahmi, Junte Zhang, Henk Ellermann, Gosse Bouma |
SWHi System Description: A Case Study in Information Retrieval, Inference, and Visualization in the Semantic Web. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESWC ![In: The Semantic Web: Research and Applications, 4th European Semantic Web Conference, ESWC 2007, Innsbruck, Austria, June 3-7, 2007, Proceedings, pp. 769-778, 2007, Springer, 978-3-540-72666-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
ontology, visualization, information retrieval, semantic web, inference |
18 | Kuei-Hsiang Chao, Yu-Ren Shen |
An Adaptive Speed Controller for Induction Motor Drives Using Adaptive Neuro-Fuzzy Inference System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIC (1) ![In: Advanced Intelligent Computing Theories and Applications. With Aspects of Theoretical and Methodological Issues, Third International Conference on Intelligent Computing, ICIC 2007, Qingdao, China, August 21-24, 2007, Proceedings, pp. 381-393, 2007, Springer, 978-3-540-74170-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Indirect field-oriented induction motor drive system, two-degree-of- freedom controller, adaptive neuro-fuzzy inference system |
18 | George Kuan, David MacQueen |
Efficient type inference using ranked type variables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ML ![In: Proceedings of the ACM Workshop on ML, 2007, Freiburg, Germany, October 5, 2007, pp. 3-14, 2007, ACM, 978-1-59593-676-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
algorithm W, compilers, functional programming, type inference, type checking, standard ML |
18 | Joachim Biskup, Jan-Hendrik Lochner |
Enforcing Confidentiality in Relational Databases by Reducing Inference Control to Access Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISC ![In: Information Security, 10th International Conference, ISC 2007, Valparaíso, Chile, October 9-12, 2007, Proceedings, pp. 407-422, 2007, Springer, 978-3-540-75495-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
potential secrets, Access control, relational databases, policy, information flow, confidentiality, database security, inference control |
18 | Shu-Yun Le, Jih-Hsiang Chen |
Statistical Inference on Distinct RNA Stem-Loops in Genomic Sequences. ![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. 314-327, 2007, Springer, 978-3-540-71232-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
well-ordered RNA structure, microRNA stem-loops, dynamic programming, statistical inference |
18 | Özlem Uzun Araz |
Real-Time Controlled Multi-objective Scheduling Through ANNs and Fuzzy Inference Systems: The Case of DRC Manufacturing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Science (4) ![In: Computational Science - ICCS 2007, 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part IV, pp. 973-976, 2007, Springer, 978-3-540-72589-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Dual Resource Constrained Manufacturing System, Artificial Neural Networks, Dynamic Scheduling, Fuzzy Inference Systems |
18 | Ran He, Stan Z. Li, Zhen Lei 0001, Shengcai Liao |
Coarse-to-Fine Statistical Shape Model by Bayesian Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACCV (1) ![In: Computer Vision - ACCV 2007, 8th Asian Conference on Computer Vision, Tokyo, Japan, November 18-22, 2007, Proceedings, Part I, pp. 54-64, 2007, Springer, 978-3-540-76385-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
segmentation, Bayesian inference, Active shape model, statistical image analysis |
18 | William Ku, Mohan S. Kankanhalli, Joo-Hwee Lim |
Metadata Management, Reuse, Inference and Propagation in a Collection-Oriented Metadata Framework for Digital Images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MMM (2) ![In: Advances in Multimedia Modeling, 13th International Multimedia Modeling Conference, MMM 2007, Singapore, January 9-12, 2007. Proceedings, Part II, pp. 145-154, 2007, Springer, 978-3-540-69428-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Image Metadata Management, Collection-Oriented Framework, Group Effect, Social Networking Effect, Reuse, Inference, Propagation |
18 | Liza Leslie, Tat-Seng Chua, Ramesh C. Jain |
Auto-Annotation of Paintings Using Social Annotations, Domain Ontology and Transductive Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PCM ![In: Advances in Multimedia Information Processing - PCM 2007, 8th Pacific Rim Conference on Multimedia, Hong Kong, China, December 11-14, 2007, Proceedings, pp. 266-275, 2007, Springer, 978-3-540-77254-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Multi-expert Approach, Concept Disambiguation, Social Network, Learning, Annotation, Paintings, Domain Ontology, Transductive Inference, Probabilistic Clustering |
18 | Onno Zoeter, Tom Heskes |
Deterministic approximate inference techniques for conditionally Gaussian state space models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stat. Comput. ![In: Stat. Comput. 16(3), pp. 279-292, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Conditionally Gaussian state space models, Switching linear dynamical systems, Expectation propagation, Assumed density filtering, State space models, Approximate inference |
18 | Daniel G. Brown 0001, Ian M. Harrower |
Integer Programming Approaches to Haplotype Inference by Pure Parsimony. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE ACM Trans. Comput. Biol. Bioinform. ![In: IEEE ACM Trans. Comput. Biol. Bioinform. 3(2), pp. 141-154, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
integer programming, biology and genetics, haplotype inference, Computations on discrete structures |
18 | David J. Russomanno |
A plausible inference prototype for the Semantic Web. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Inf. Syst. ![In: J. Intell. Inf. Syst. 26(3), pp. 227-246, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Plausible inference, Composition of relations, Semantic web, RDF |
18 | Anna Zamansky, Nissim Francez, Yoad Winter |
A 'Natural Logic' inference system using the Lambek calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Lang. Inf. ![In: J. Log. Lang. Inf. 15(3), pp. 273-295, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Natural logic, Inference, Normalization, Lambek calculus |
18 | Christopher Town 0001 |
Ontological inference for image and video analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mach. Vis. Appl. ![In: Mach. Vis. Appl. 17(2), pp. 94-115, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Perceptual inference, Knowledge-based computer vision, Ontologies, Content-based image retrieval, Video analysis |
18 | Yelizaveta Marchenko, Tat-Seng Chua, Ramesh C. Jain |
Transductive inference using multiple experts for brushwork annotation in paintings domain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Multimedia ![In: Proceedings of the 14th ACM International Conference on Multimedia, Santa Barbara, CA, USA, October 23-27, 2006, pp. 157-160, 2006, ACM, 1-59593-447-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
brushwork, feature selection, painting, transductive inference |
18 | Katsuhiko Nakamura |
Incremental Learning of Context Free Grammars by Bridging Rule Generation and Search for Semi-optimum Rule Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGI ![In: Grammatical Inference: Algorithms and Applications, 8th International Colloquium, ICGI 2006, Tokyo, Japan, September 20-22, 2006, Proceedings, pp. 72-83, 2006, Springer, 3-540-45264-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
CFL, bottom-up parsing, grammatical inference, Synapse, iterative deepening |
18 | Peng Liu 0005, Wanyu Zang, Meng Yu 0001 |
Incentive-based modeling and inference of attacker intent, objectives, and strategies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Inf. Syst. Secur. ![In: ACM Trans. Inf. Syst. Secur. 8(1), pp. 78-118, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Attacker intent and strategy modeling, attack strategy inference, game theory |
18 | Yufei Shu, Kazuo Furuta |
An inference method of team situation awareness based on mutual awareness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Cogn. Technol. Work. ![In: Cogn. Technol. Work. 7(4), pp. 272-287, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Team situation awareness, Mutual awareness, Cooperative activity, TSA inference, Team-machine interaction |
18 | Fabio Rapallo |
Algebraic exact inference for rater agreement models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stat. Methods Appl. ![In: Stat. Methods Appl. 14(1), pp. 45-66, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Cohen's kappa, Conditional inference, Diaconis-Sturmfels algorithm, Log-linear models |
18 | Ivan De Falco, Ernesto Tarantino, Antonio Della Cioppa, Alessandro Passaro |
Inductive inference of chaotic series by Genetic Programming: a Solomonoff-based approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), Santa Fe, New Mexico, USA, March 13-17, 2005, pp. 957-958, 2005, ACM, 1-58113-964-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
chaotic series, genetic programming, inductive inference |
18 | Augustin Soule, Anukool Lakhina, Nina Taft, Konstantina Papagiannaki, Kavé Salamatian, Antonio Nucci, Mark Crovella, Christophe Diot |
Traffic matrices: balancing measurements, inference and modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMETRICS ![In: Proceedings of the International Conference on Measurements and Modeling of Computer Systems, SIGMETRICS 2005, June 6-10, 2005, Banff, Alberta, Canada, pp. 362-373, 2005, ACM, 1-59593-022-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
internet traffic matrix estimation, principal components analysis, kalman filtering, statistical inference, traffic characterization |
18 | Cormac Flanagan, Stephen N. Freund, Marina Lifshin |
Type inference for atomicity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLDI ![In: Proceedings of TLDI'05: 2005 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Long Beach, CA, USA, January 10, 2005, pp. 47-58, 2005, ACM, 1-58113-999-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
concurrency, reduction, type inference, atomicity |
18 | Wai-Shun Tong, Chi-Keung Tang, Philippos Mordohai, Gérard G. Medioni |
First Order Augmentation to Tensor Voting for Boundary Inference and Multiscale Analysis in 3D. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 26(5), pp. 594-611, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
first order voting, boundary inference, 3D perceptual organization, discontinuities, multiscale analysis, Tensor voting |
18 | Johan Bos |
Computational Semantics in Discourse: Underspecification, Resolution, and Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Lang. Inf. ![In: J. Log. Lang. Inf. 13(2), pp. 139-157, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
discourse representation theory, scope ambiguities, structural ambiguities, theorem proving, inference, discourse analysis, computational semantics, underspecification, lexical ambiguities |
18 | Ying Wu 0001, Thomas S. Huang |
Robust Visual Tracking by Integrating Multiple Cues Based on Co-Inference Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Vis. ![In: Int. J. Comput. Vis. 58(1), pp. 55-71, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
co-inference, factorized graphical model, importance sampling, visual tracking, sequential Monte Carlo, variational analysis |
18 | Ling Wang, Zhi-Chun Mu |
A New Support Vector Neural Network Inference System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Intelligent Information Processing ![In: Intelligent Information Processing II, IFIP TC12/WG12.3 International Conference on Intelligent Information Processing (IIP 2004), October 21-23, 2004, Beijing, China, pp. 485-494, 2004, Springer, 0-387-23151-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
support vector neural network inference system (SVNNIS), support vector machine(SVM), support vector regression(SVR), regression estimation |
18 | Julien Carme, Aurélien Lemay, Joachim Niehren |
Learning Node Selecting Tree Transducer from Completely Annotated Examples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGI ![In: Grammatical Inference: Algorithms and Applications, 7th International Colloquium, ICGI 2004, Athens, Greece, October 11-13, 2004, Proceedings, pp. 91-102, 2004, Springer, 3-540-23410-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
tree automata and logics, grammatical inference, Web information extraction |
18 | Andrea Capotorti, L. Galli, Barbara Vantaggi |
Locally strong coherence and inference with lower-upper probabilities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 7(5), pp. 280-287, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Lower-upper probabilities, Locally strong coherence, Inference |
18 | Jens P. Secher, Morten Heine Sørensen |
From checking to inference via driving and dag grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2002 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '02), Portland, Oregon, USA, January 14-15, 2002, pp. 41-51, 2002, ACM, 1-58113-455-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
inference, supercompilation, program inversion |
18 | Andrew Graves, Mounia Lalmas |
Video retrieval using an MPEG-7 based inference network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGIR ![In: SIGIR 2002: Proceedings of the 25th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, August 11-15, 2002, Tampere, Finland, pp. 339-346, 2002, ACM, 1-58113-561-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
combination of evidence, structured video retrieval, MPEG-7, inference network |
18 | Zhuhan Jiang, Bruce E. Litow, Olivier Y. de Vel |
An Inference Implementation Based on Extended Weighted Finite Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSC ![In: 24th Australasian Computer Science Conference (ACSC 2001), 29 January - 1 February 2001, Gold Coast, Queensland, Australia, pp. 100-108, 2001, IEEE Computer Society, 0-7695-0963-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Weighted finite automata, image compression, self-similarity, inference algorithm |
18 | Philip Hingston |
Inference of Regular Languages using Model Simplicity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSC ![In: 24th Australasian Computer Science Conference (ACSC 2001), 29 January - 1 February 2001, Gold Coast, Queensland, Australia, pp. 69-76, 2001, IEEE Computer Society, 0-7695-0963-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Minimum Message Length principle, grammatical inference |
18 | Steve Lawrence, C. Lee Giles, Sandiway Fong |
Natural Language Grammatical Inference with Recurrent Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 12(1), pp. 126-140, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
government-and-binding theory, principles-and-parameters framework, automata extraction, natural language processing, simulated annealing, Recurrent neural networks, grammatical inference, gradient descent |
18 | Giuliana Regoli |
Inference under imprecise probability assessments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 3(3), pp. 181-186, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Grades of probability and prevision, comparative probability and prevision, coherent probability, robust Bayesian inference, computational techniques |
18 | Futoshi Kobayashi, Fumihito Arai, Toshio Fukuda, Koji Shimojima, Makoto Onoda, Norimasa Marui |
Sensor Fusion System Using Recurrent Fuzzy Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Robotic Syst. ![In: J. Intell. Robotic Syst. 23(2-4), pp. 201-216, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
recurrent fuzzy inference, the steepest descent method, radial basis function, sensor fusion, incremental learning |
18 | Colin de la Higuera |
Learning Stochastic Finite Automata from Experts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGI ![In: Grammatical Inference, 4th International Colloquium, ICGI-98, Ames, Iowa, USA, July 12-14, 1998, Proceedings, pp. 79-89, 1998, Springer, 3-540-64776-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
identification with probability one, polynomial learning, stochastic deterministic finite automata, grammatical inference |
18 | François Coste, Jacques Nicolas |
How Considering Incompatible State Mergings May Reduce the DFA Induction Search Tree. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGI ![In: Grammatical Inference, 4th International Colloquium, ICGI-98, Ames, Iowa, USA, July 12-14, 1998, Proceedings, pp. 199-210, 1998, Springer, 3-540-64776-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
grammatical inference, search tree, DFA, constraint system |
18 | José M. Sempere, G. Nagaraja |
Learning a Subclass of Linear Languages from Positive Structural Information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGI ![In: Grammatical Inference, 4th International Colloquium, ICGI-98, Ames, Iowa, USA, July 12-14, 1998, Proceedings, pp. 162-174, 1998, Springer, 3-540-64776-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
characterizable methods, Formal languages, grammatical inference, structural information |
18 | Reiner Hähnle, Neil V. Murray, Erik Rosenthal |
Completeness for Linear Regular Negation Normal Form Inference Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMIS ![In: Foundations of Intelligent Systems, 10th International Symposium, ISMIS '97, Charlotte, North Carolina, USA, October 15-18, 1997, Proceedings, pp. 590-599, 1997, Springer, 3-540-63614-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
tableau method, non-clausal inference, negation normal form, completeness, resolution, Logic for Artificial Intelligence |
18 | Andreas Hennig, Nasser Sherkat, Robert J. Whitrow |
Recognizing Letters in on-line Handwriting using Hierarchical Fuzzy Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDAR ![In: 4th International Conference Document Analysis and Recognition (ICDAR '97), 2-Volume Set, August 18-20, 1997, Ulm, Germany, Proceedings, pp. 936-940, 1997, IEEE Computer Society, 0-8186-7898-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
unconstrained script recognition, letter spotting, on-line pre-processing and encoding, hierarchical inference, fuzzy logic, production rules, zoning |
18 | Florin Fagarasan, Mircea Gh. Negoita |
A Genetic-Based Method for Learning the Parameters of a Fuzzy Inference System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ANNES ![In: 2nd New Zealand Two-Stream International Conference on Artificial Neural Networks and Expert Systems (ANNES '95), November 20-23, 1995, Dunedin, New Zealand, pp. 223-226, 1995, IEEE Computer Society, 0-8186-7174-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
variable length genotype, genetic algorithms, inductive learning, fuzzy inference system |
18 | Leo Bachmair, Nachum Dershowitz |
Equational Inference, Canonical Proofs, and Proof Orderings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 41(2), pp. 236-276, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
term rewriting, rewrite systems, proof theory, equational logic, inference systems, term orderings |
18 | H. Azzoune |
Type Inference in Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: 9th International Conference on Automated Deduction, Argonne, Illinois, USA, May 23-26, 1988, Proceedings, pp. 258-277, 1988, Springer, 3-540-19343-X. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
Prolog, Type, Type Inference |
18 | Leon Sterling, Alan Bundy |
Meta-Level Inference and Program Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: 6th Conference on Automated Deduction, New York, USA, June 7-9, 1982, Proceedings, pp. 144-150, 1982, Springer, 3-540-11558-7. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
meta-level inference, logic programming, program verification |
17 | Ulrike Leopold-Wildburger, Otwin Becker, Martin Kuehrer |
Forecasting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Optimization ![In: Encyclopedia of Optimization, Second Edition, pp. 1068-1074, 2009, Springer, 978-0-387-74758-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Moving average model, Visual inference, Genetic algorithms, Neural networks, Artificial intelligence, Fuzzy logic, Expert systems, Time series, Statistics, Time series analysis, Curve fitting, Regression analysis, Extrapolation, Inductive inference, Exponential smoothing, Econometrics |
17 | Zhichun Li, Anup Goyal, Yan Chen 0004, Vern Paxson |
Automating analysis of large-scale botnet probing events. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AsiaCCS ![In: Proceedings of the 2009 ACM Symposium on Information, Computer and Communications Security, ASIACCS 2009, Sydney, Australia, March 10-12, 2009, pp. 11-22, 2009, ACM, 978-1-60558-394-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
global property extrapolation, scan strategy inference, situational awareness, botnet, statistical inference, honeynet |
17 | Aybar C. Acar, Amihai Motro |
Efficient discovery of join plans in schemaless data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDEAS ![In: International Database Engineering and Applications Symposium (IDEAS 2009), September 16-18, 2009, Cetraro, Calabria, Italy, pp. 1-11, 2009, ACM, 978-1-60558-402-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
dependency inference, join inference, schema matching |
17 | Hongbo Liu, Tegang Deng, Hongwei Zhang |
Research on Forecasting Method of Urban Water Demand Based on Fuzzy Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSKD (6) ![In: Sixth International Conference on Fuzzy Systems and Knowledge Discovery, FSKD 2009, Tianjin, China, 14-16 August 2009, 6 Volumes, pp. 389-395, 2009, IEEE Computer Society, 978-0-7695-3735-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
water demand forecasting, fuzzy inference, adaptive neuro-fuzzy inference system, fuzzy theory |
17 | Kin-Keung Ma, Jeffrey S. Foster |
Inferring aliasing and encapsulation properties for java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2007, October 21-25, 2007, Montreal, Quebec, Canada, pp. 423-440, 2007, ACM, 978-1-59593-786-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
lending, ownership inference, uniqueness inference, uno, java, aliasing, encapsulation, ownership, uniqueness |
17 | Octavian Udrea, Lise Getoor, Renée J. Miller |
Leveraging data and structure in ontology integration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the ACM SIGMOD International Conference on Management of Data, Beijing, China, June 12-14, 2007, pp. 449-460, 2007, ACM, 978-1-59593-686-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
data integration, schema mapping, statistical inference, ontology alignment, logical inference |
17 | Avishai Mandelbaum, Sergey Zeltyn |
Estimating characteristics of queueing networks using transactional data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Queueing Syst. Theory Appl. ![In: Queueing Syst. Theory Appl. 29(1), pp. 75-127, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
non-parametric inference, queueing inference engine, performance evaluation, hidden Markov models, data analysis, queueing networks, queues |
17 | Nasreddine Hallam, Kok Meng Yew |
Families of fuzzy implication operators within measure M1 and their pseudo-strict. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 1998 ACM symposium on Applied Computing, SAC'98, Atlanta, GA, USA, February 27 - March 1, 1998, pp. 262-266, 1998, ACM, 0-89791-969-6. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
K sub-triangle inference structure, Kleene-Dienes and Lukasiewicz fuzzy implications, interval-valued inference, pseudo-strict monotonicity |
17 | Masami Hagiya, Tomoki Shiratori |
Programming by Example in Computing-as-Editing Paradigm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VL ![In: Proceedings 11th International IEEE Symposium on Visual Languages, Darmstadt, Germany, September 5-9, 1995, pp. 275-283, 1995, IEEE Computer Society, 0-8186-7045-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
computing-as-editing paradigm, computation traces, 2D constraint language, iteration constraint, fixed increments, conditional expressions inference, iterative methods, visual programming, rules, inference mechanisms, constraint handling, programming by example, interactive environment, text editing, learning by example, interactive programming |
17 | Debby Keen, Arcot Rajasekar |
Inductive certainty factors from databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (3) ![In: 28th Annual Hawaii International Conference on System Sciences (HICSS-28), January 3-6, 1995, Kihei, Maui, Hawaii, USA, pp. 300-311, 1995, IEEE Computer Society, 0-8186-6945-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
inductive certainty factors, missing information inference, statistical based measures, inductive dependencies, delta measurement, delta functions, knowledge mining formalism, databases, artificial intelligence, knowledge representation, knowledge acquisition, knowledge acquisition, deductive databases, inference mechanisms, uncertainty handling, intelligent information systems |
17 | John M. Arran, M. H. Saeedi, Bob Steele |
Configuring a parallel knowledge engine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ANNES ![In: 2nd New Zealand Two-Stream International Conference on Artificial Neural Networks and Expert Systems (ANNES '95), November 20-23, 1995, Dunedin, New Zealand, pp. 204-209, 1995, IEEE Computer Society, 0-8186-7174-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
parallel knowledge engine, run-time processing, processor network, hierarchy clustering, Sheffield Parallel Inference Knowledge Engine, parallel processing, parallel processing, resource allocation, knowledge based systems, knowledge-base systems, time, computational model, knowledge engineering, inference mechanisms, research, software performance evaluation, communication overhead, speed |
17 | Jun Gu |
Global Optimization for Satisfiability (SAT) Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 6(3), pp. 361-381, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
global optimization algorithms, VLSI engineering, DNF local search methods, Universal SAT problem model, UniSAT, discrete SAT problem, Boolean space, unconstrained global optimization problem, real space, direct correspondence, global minimum point, backtracking/resolution procedures, optimisation, inference, inference mechanisms, search problems, automated reasoning, formal logic, CNF, conjunctive normal form, computing theory, satisfiability problem, SAT problem, mathematical logic |
17 | Giuseppe Di Battista, Maurizio Lenzerini |
Deductive Entity-Relationship Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 5(3), pp. 439-450, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
deductive entity relationship modelling, IS-A, disjointness relations, mandatory participation, formal basis, computational complexity, semantics, conceptual modeling, deductive databases, first-order logic, inference mechanisms, assertions, classes, entity-relationship modelling, interdependencies, polynomial time complexity, inference algorithm |
17 | José Oncina, Pedro García 0001, Enrique Vidal 0001 |
Learning Subsequential Transducers for Pattern Recognition Interpretation Tasks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 15(5), pp. 448-458, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
subsequential transducers, pattern recognition, pattern recognition, learning, learning (artificial intelligence), inference, inference mechanisms, formalization, inductive learning |
17 | Yi Lu, Ramesh C. Jain |
Reasoning About Edges in Scale Space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 14(4), pp. 450-468, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
multiscale reasoning algorithm, edge recovery, edge behavior, edge curves, zero crossing images, computer vision, computer vision, knowledge representation, knowledge representation, inference mechanisms, inference mechanisms, scale space, edges, noise elimination, edge detector |
17 | Chin-Teng Lin, C. S. George Lee |
Neural-Network-Based Fuzzy Logic Control and Decision System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 40(12), pp. 1320-1336, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
neural network based fuzzy logic control, feedforward multilayer net, performance, learning, artificial intelligence, fuzzy logic, neural nets, inference mechanisms, decision theory, backpropagation, learning systems, inference engine, decision system, connectionist model |
17 | Gruia-Catalin Roman |
Formal Specification of Geographic Data Processing Requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 2(4), pp. 370-380, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
geographic data processing requirements, modeling data, knowledge requirements, GDP requirements, GDP significance, second-order predicate calculus, logical information, high-resolution color display, formal specification, geographic information systems, logic programming, Prolog, PROLOG, time, accuracy, first-order logic, inference mechanisms, inference mechanisms, space, formal logic, prototype implementation, graphical rendering, formal foundation |
17 | William I. Gasarch, Carl H. Smith |
Learning via Queries ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 29th Annual Symposium on Foundations of Computer Science, White Plains, New York, USA, 24-26 October 1988, pp. 130-137, 1988, IEEE Computer Society, 0-8186-0877-3. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
inherent power, inference machines, query languages, inference mechanism, quantizers, recursive functions |
Displaying result #601 - #700 of 36860 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ 16][ >>] |
|