| |
Browse All Reviews > Computing Methodologies (I) > Artificial Intelligence (I.2) > Deduction And Theorem Proving (I.2.3) > Inference Engines (I.2.3...)
|
|
 |
|
|
| |
|
|
| |
1-10 of 18
Reviews about "Inference Engines (I.2.3...)":
|
Date Reviewed |
| |
Higher-order abstract syntax in classical higher-order logic
Howe D. LFMTP 2009 (Proceedings of the 4th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, Montreal, Quebec, Canada, Aug 2, 2009) 1-11, 2009. Type: Proceedings
It is remarkable how apparently simple ideas can be difficult to formalize. Bound variables--variables that have a scope, such as the body of the function for which they are a parameter--are a case in point. When the lambda calculus was ...
|
Apr 19 2010 |
| |
Defining the notion of ‘information content’ and reasoning about it in a database
Xu K., Feng J., Crowe M. Knowledge and Information Systems 18(1): 29-59, 2009. Type: Article
The notion of information content within a database-oriented system has proven to be an elusive one. This paper expands upon an earlier definition of information content, and explores in depth the use of the information carried by data in a...
|
Jul 20 2009 |
| |
Missing wind data forecasting with adaptive neuro-fuzzy inference system
Hocaoglu F., Oysal Y., Kurban M. Neural Computing and Applications 18(3): 207-212, 2009. Type: Article
How do you predict missing y data values when the level of the y values fluctuates up and down within the data’s range? With ordinary least squares, you must add a term for each change in the slope of...
|
Jun 17 2009 |
| |
Bayesian inference and model comparison for asymmetric smooth transition heteroskedastic models
Gerlach R., Chen C. Statistics and Computing 18(4): 391-408, 2008. Type: Article
How do you create a viable forecast model when the data you are dealing with has two different levels and variances? Such data is termed heteroskedastic....
|
Jun 4 2009 |
| |
User-centric inference based on history of context data in pervasive environments
Kalatzis N., Roussaki I., Liampotis N., Strimpakou M., Pils C. Services integration in pervasive environments (Proceedings of the 3rd International Workshop on Services Integration in Pervasive Environments, Sorrento, Italy, Jul 7, 2008) 25-30, 2008. Type: Proceedings
Intelligent pervasive computing systems (IPCS) are useful for forecasting the situational information of users, such as their daily routine, and activities at any time or location. The literature discusses the architecture of an IPCS equipped...
|
Sep 1 2008 |
| |
Constructing gene networks using variational Bayesian variable selection
Tienda-Luna I., Yin Y., Huang Y., Ruiz Padillo D., Carrion Perez M., Wang Y. Artificial Life 14(1): 65-79, 2008. Type: Article
Gene networks are models of molecular interaction (such as gene-protein regulation, protein-protein interaction, and protein-metabolite association), and are used to explain many complex cellular functions affected by such interaction. Gene...
|
Jun 6 2008 |
| |
A new kind of fuzzy regression modeling and its combination with fuzzy inference
Alex R. Soft Computing 10(7): 618-622, 2006. Type: Article
The development of prediction models for simultaneously using quantitative and qualitative data to forecast or explain the variance of a criterion variable is an intricate problem. The principles and applications of regression models exist in the ...
|
Nov 14 2007 |
| |
Learning in varieties of the form V*LI from positive data
García P., Ruiz J. Theoretical Computer Science 362(1): 100-114, 2006. Type: Article
Grammatical inference refers to the process of learning grammars and languages from data. In literature, it refers to automata induction, grammar induction, and automatic language acquisition. There are applications for machine learning in...
|
Aug 17 2007 |
| |
Computationally efficient reasoning using approximated fuzzy intervals
Gera Z. Fuzzy Sets and Systems 158(7): 689-703, 2007. Type: Article
Papers on fuzzy sets or on fuzzy reasoning tend to fall into one of two categories: either they use sophisticated mathematical tools to obtain rigorous proofs of results that are often deep or interesting, or they tend to be fuzzy. Papers of this ...
|
Jun 21 2007 |
| |
Consciousness, agents and the knowledge game
Floridi L. Minds and Machines 15(3-4): 415-444, 2005. Type: Article
In the tradition of Turing’s classic work [1] that reshaped the question, “What is intelligence?” moving the focus from a subjective to an operational approach by proposing the Turing test, there have been several recent...
|
Jul 11 2006 |
| |
|
|
| |
|
|
