3353 search results - page 148 / 671 » Laver and set theory |
157
click to vote
AIML
1998
15 years 7 months ago
1998
In this paper I will propose a new approach to certain semantic puzzles due to Frege, Kripke and others, and the question of propositional attitudes, via the notion of belief revi...
177
click to vote
ENTCS
2002
15 years 6 months ago
2002
The Ambient Calculus has been recently proposed as a model of mobility of agents in a dynamically changing hierarchy of domains. In this paper, we describe the implementation of t...
163
click to vote
IEE
2002
2002
Open source software projects as virtual organisations: competency rallying for software development
15 years 6 months ago
: This paper contributes to the identification and testing of factors important for the success of open source software (OSS) projects. We present an analysis of OSS communities as...
185
click to vote
ENGL
2008
15 years 6 months ago
2008
For lifestyle-related disease caused by recent change of eating habits in Japan, this paper proposes a menu planning method using rough set theory, and it can satisfy each individu...
175
click to vote
TRS
2008
15 years 6 months ago
2008
In this paper, we discuss an approach to structural objects based on a generalisation of indiscernibility relation used in rough set theory. The existing results in rough set theor...