3717 search results - page 203 / 744 » Representing Multiple Theories |
129
click to vote
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
The quality of information is crucial for decision making in many mission-critical applications such as battlefield operations and intelligence analysis. However, as the system b...
119
click to vote
CSCLP
2007
Springer
15 years 10 months ago
2007
Springer
Global constraints are used in constraint programming to help users specify patterns that occur frequently in the real world. In addition, global constraints facilitate the use of ...
151
Voted
LICS
2006
IEEE
15 years 10 months ago
2006
IEEE
In this paper we show that the Stone representation theorem for Boolean algebras can be generalized to combinatory algebras. In every combinatory algebra there is a Boolean algebr...
118
click to vote
RE
2005
Springer
15 years 9 months ago
2005
Springer
The use of viewpoints has long been proposed as a technique to structure evolving requirements models. In theory, viewpoints should provide better stakeholder traceability, and th...
136
click to vote
KR
2004
Springer
15 years 9 months ago
2004
Springer
In a very basic sense, the aim of knowledge discovery is to reveal structures of knowledge which can be seen as being represented by structural relationships. In this paper, we ma...