2162 search results - page 347 / 433 » Automated Reasoning on Feature Models |
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...
134
click to vote
ILP
2005
Springer
15 years 9 months ago
2005
Springer
Clustering is a fundamental task in Spatial Data Mining where data consists of observations for a site (e.g. areal units) descriptive of one or more (spatial) primary units, possib...
124
click to vote
DEON
2004
Springer
15 years 9 months ago
2004
Springer
This paper studies the logic of a dyadic modal operator for being obliged to meet a condition ρ before a condition δ becomes true. Starting from basic intuitions we arrive at a s...
123
click to vote
CSCW
2000
ACM
15 years 8 months ago
2000
ACM
Automated collaborative filtering (ACF) systems predict a person’s affinity for items or information by connecting that person’s recorded interests with the recorded interests...
150
click to vote
AGENTS
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. One of the reasons for attending to agent technology is the evergrowing complexity of information systems and the increasing difficulty to foresee and plan for all potent...