2694 search results - page 139 / 539 » Frege's New Science |
156
click to vote
EUROMED
2010
15 years 5 months ago
2010
Abstract. In this paper we present the framework for collaborative cyberarchaeology with support for teleimmersive communication which aims to provide more natural interaction and ...
166
click to vote
KSEM
2010
Springer
15 years 5 months ago
2010
Springer
In this paper, we consider the problem of query answering over large multimedia ontologies. Traditional reasoning systems may have problems to deal with large amounts of expressive...
140
click to vote
MFCS
2010
Springer
15 years 5 months ago
2010
Springer
This paper discusses cake-cutting protocols when the cake is a heterogeneous good that is represented by an interval in the real line. We propose a new desirable property, the meta...
191
click to vote
SPIN
2010
Springer
15 years 4 months ago
2010
Springer
In this paper, we propose the nevertrace claim, which is a new construct for specifying the correctness properties that either finite or infinite execution traces (i.e., sequence...
167
click to vote
TCS
2010
15 years 4 months ago
2010
It is well known that the two simple algorithms for the classic bin packing problem, NF and WF both have an approximation ratio of 2. However, WF seems to be a more reasonable alg...