1670 search results - page 54 / 334 » On Skolemization in constructive theories |
ISWC
2002
IEEE
14 years 2 months ago
2002
IEEE
The representation of physical space has traditionally focused on keyphrases such as “Computer Science Building” or “Physics Department” that help us in describing and nav...
ENTCS
2007
13 years 9 months ago
2007
In the constructive setting, membership predicates over recursive types are inhabited by terms indexing the elements that satisfy the criteria for membership. In this paper, we mo...
INFSOF
2007
13 years 9 months ago
2007
The incorporation of social issues in software engineering is limited. Still, during the last 20 years the social element inherent in software development has been addressed in a ...
AR
2010
13 years 8 months ago
2010
Teams of autonomous space robots are needed for future space missions such as the construction of large solar power stations and large space telescopes in earth orbit. This work fo...
ALT
2006
Springer
14 years 6 months ago
2006
Springer
Abstract. We propose a thresholded ensemble model for ordinal regression problems. The model consists of a weighted ensemble of confidence functions and an ordered vector of thres...