178 search results - page 33 / 36 » Boolean Algebras in Visser Algebras |
119
click to vote
CP
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. In the last decades, the Satisfiability and Constraint Satisfaction Problem frameworks were extended to integrate aspects such as uncertainties, partial observabilities, ...
EKAW
2006
Springer
15 years 1 months ago
2006
Springer
As new semantic web standards evolve to allow quantified rules in FOL, we need new ways to capture them from end users. We show how to do this against a graphic view of entities an...
72
Voted
ACS
2008
14 years 9 months ago
2008
A frame homomorphism h : A - B is skeletal if x = 1 in A implies that h(x) = 1 in B. It is shown that, in KRegS, the category of compact regular frames with skeletal maps, the subc...
CORR
2010
Springer
14 years 9 months ago
2010
Springer
We propose a mathematical framework for a unification of the distributional theory of meaning in terms of vector space models, and a compositional theory for grammatical types, fo...
EOR
2006
14 years 9 months ago
2006
This paper presents a new data classification method based on mixed-integer programming. Traditional approaches that are based on partitioning the data sets into two groups perfor...