1623 search results - page 6 / 325 » No Sorting |
RTA
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We extend first-order order-sorted unification by permitting regular expression sorts for variables and in the domains of function symbols. The set of basic sorts is ...
105
Voted
IPPS
2006
IEEE
15 years 6 months ago
2006
IEEE
In this paper, we present a novel approach for parallel sorting on stream processing architectures. It is based on adaptive bitonic sorting. For sorting n values utilizing p strea...
109
Voted
EATCS
2002
15 years 15 days ago
2002
Nature is not only a source of minerals and precious stones but is also a mine of algorithms. By observing and studying natural phenomena, computer algorithms can be extracted. In...
79
Voted
GECCO
2005
Springer
15 years 6 months ago
2005
Springer
Social insect societies consist of individuals with simple behavior, yet at the collective level the societies are capable of solving complex tasks. These tasks span a wide range,...
106
Voted
KR
2004
Springer
15 years 6 months ago
2004
Springer
Although sorts and unary predicates are semantically identical in order-sorted logic, they are classified as different kinds of properties in formal ontology (e.g. sortal and non...