8437 search results - page 636 / 1688 » Preferences over Sets |
192
Voted
ARITH
2005
IEEE
16 years 27 days ago
2005
IEEE
We propose a new number representation and arithmetic for the elements of the ring of integers modulo p. The socalled Polynomial Modular Number System (PMNS) allows for fast polyn...
169
click to vote
CEC
2005
IEEE
16 years 27 days ago
2005
IEEE
The complex interactions of natural swarms, for example formed by some social insects, are difficult to comprehend. Considering tasks such as nestbuilding, the necessary underlyin...
181
Voted
TPHOL
2005
IEEE
16 years 26 days ago
2005
IEEE
The quotient operation is a standard feature of set theory, where a set is partitioned into subsets by an equivalence relation. We reinterpret this idea for higher order logic, whe...
221
click to vote
ASP
2005
Springer
16 years 25 days ago
2005
Springer
Possibilistic Stable model Semantics is an extension of Stable Model Semantics that allows to merge uncertain and non monotonic reasoning into a unique framework. To achieve this a...
206
Voted
CALCO
2005
Springer
16 years 25 days ago
2005
Springer
Every endofunctor B on the category Set can be lifted to a fibred functor on the category (fibred over Set) of equivalence relations and relation-preserving functions. In this pa...