1670 search results - page 78 / 334 » On Skolemization in constructive theories |
163
click to vote
FOCS
1999
IEEE
15 years 10 months ago
1999
IEEE
This paper connects two fundamental ideas from theoretical computer science: hard-core set construction, a type of hardness amplification from computational complexity, and boosti...
192
click to vote
APCCAS
2006
IEEE
16 years 12 days ago
2006
IEEE
— A novel black-box model for time series of prices analysis is proposed. It is constructed using the technique of “shaping filter”. The model identification is then propos...
165
click to vote
AGTIVE
1999
Springer
15 years 10 months ago
1999
Springer
Cpfg is a program for simulating and visualizing plant development, based on the theory of L−systems. A special−purpose programming language, used to specify plant models, is ...
146
click to vote
EUSFLAT
2007
15 years 7 months ago
2007
This paper generalizes the well-known representations of fuzzy preorders and similarities according to Valverde to the graded framework of Fuzzy Class Theory (FCT). The results de...
160
click to vote
EUSFLAT
2003
15 years 7 months ago
2003
This paper concerns the theory of intuitionistic fuzzy sets according to Atanassov. If triangular norms, especially nonstrict Archimedean ones, are used, we propose a revision and...