432 search results - page 53 / 87 » Open Problems with Part-Whole Relations |
117
Voted
POPL
2010
ACM
15 years 10 months ago
2010
ACM
This paper introduces a new approach to type theory called pure subtype systems. Pure subtype systems differ from traditional approaches to type theory (such as pure type systems)...
103
Voted
BMCBI
2007
15 years 20 days ago
2007
Background: An adequate and expressive ontological representation of biological organisms and their parts requires formal reasoning mechanisms for their relations of physical aggr...
107
Voted
ECAI
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. We study privacy guarantees for the owner of an information system who wants to share some of the information in the system with clients while keeping some other informat...
141
click to vote
CRYPTO
2005
Springer
15 years 6 months ago
2005
Springer
Error correcting codes and matroids have been widely used in the study of ordinary secret sharing schemes. In this paper, we study the connections between codes, matroids, and a s...
73
Voted
FOCS
2003
IEEE
15 years 5 months ago
2003
IEEE
In this paper, we give the rst constant-factor approximationalgorithmfor the rooted Orienteering problem, as well as a new problem that we call the Discounted-Reward TSP, motivate...