As an introduction, I want to contrast two general traditions in semantics, one realistic and one cognitive. According to the realistic approach to semantics the meaning of an expression is something out there in the world. In technical terms, a semantics for a language is defined as a mapping from the syntactic structures to things in the world. In philosophical ontological terms, this is thus...

A method for calculating the parameter of Knothe time function was presented. The principle of predicting dynamic mining subsidence was discussed based to the relationship between the periodic fractures of main roof and surface subsidence. Pointed out there might be a section whose width was shorter than a mining unit when divided a workface into n equal mining elements, the section should be c...

Let us celebrate the 37th edition of this long-standing IEEE Annual International Computer Software and Applications Conference (COMPSAC), officially designated as the IEEE signature conference on computers, software and applications since 2006. We have also made plans to hold the 2014 (38th) COMPSAC in Sweden and 2015 (39th) COMPSAC in Taiwan thanks to many willing and capable volunteers and o...

There are many measures of uncertainty out there. Sometimes they appear to conflict. For example, classical or frequency probability supports significance testing. Bayesian probability, in the same situation, would call for conditioning on the evidence. Evidential probability resolves many of these conflicts in an intuitively plausible way, and in a way that admits of real world semantic justif...

Our brains have to make hypotheses about what we think is out there in the real world. We hope that these hypotheses are right, because a mistake could be fatal.