3353 search results - page 366 / 671 » Laver and set theory |
184
Voted
ICALP
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. We study the use of the elaboration preorder (due to ArunKumar and Natarajan) in the framework of up-to techniques for weak bisimulation. We show that elaboration yields ...
151
click to vote
ISNN
2005
Springer
16 years 8 days ago
2005
Springer
This paper presents two non-parametric statistical test methods, called Kolmogorov-Smirnov (KS) and U statistic test methods, respectively, for informative gene selection of a tumo...
201
click to vote
MFCS
2005
Springer
16 years 8 days ago
2005
Springer
This paper investigates the word problem for inverse monoids generated by a set Γ subject to relations of the form e = f, where e and f are both idempotents in the free inverse m...
156
click to vote
OTM
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. In this paper we present and discuss a meta-ontological archifor ontologies which centers on abstract core ontologies (ACOs). s the most abstract part of a foundational o...
193
click to vote
QOSIP
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. We explore techniques for efficient Quality of Service Routing in the presence of multiple constraints. We first present a polynomial time approximation algorithm for th...