1670 search results - page 195 / 334 » On Skolemization in constructive theories |
221
click to vote
ENTCS
2006
15 years 6 months ago
2006
It can be traced back to Brouwer that continuous functions of type StrA B, where StrA is the type of infinite streams over elements of A, can be represented by well founded, Abra...
154
click to vote
CAGD
2007
15 years 6 months ago
2007
In this paper we prove that the degree elevation of B-spline curves can be interpreted as corner cutting process in theory. We also discover the geometric meaning of the auxiliary...
178
click to vote
ISCI
2008
15 years 6 months ago
2008
The importance of suitable distance measures between intuitionistic fuzzy sets (IFSs) arises because of the role they play in the inference problem. A concept closely related to o...
154
click to vote
JCIT
2008
15 years 6 months ago
2008
Two simple but practical production systems are modeled using Petri Nets. Petri-net models are very useful in finding semantic errors like generalization error and missing conditi...
165
click to vote
JCST
2008
15 years 6 months ago
2008
In a question answering (QA) system, the fundamental problem is how to measure the distance between a question and an answer, hence ranking different answers. We demonstrate that s...