13306 search results - page 403 / 2662 » Theoretical Computer Science |
161
click to vote
GI
2007
Springer
16 years 1 months ago
2007
Springer
: Negative information provides important additional knowledge that is not exploited for sensor data fusion tasks by default. This paper presents a new approach to incorporate such...
160
click to vote
GI
2007
Springer
16 years 1 months ago
2007
Springer
: We study the factoring with known bits problem, where we are given a composite integer N = p1p2 . . . pr and oracle access to the bits of the prime factors pi, i = 1, . . . , r. ...
147
click to vote
GI
2007
Springer
16 years 1 months ago
2007
Springer
Abstract: In this paper we describe a network for distributing personalized Information within a pervasive University. We discuss the system architecture of our Bluetoothbased Camp...
148
click to vote
GI
2007
Springer
16 years 1 months ago
2007
Springer
Abstract: This paper introduces an Integrated Rule Modeling Framework, which consists of the UML-based rule modeling tool Strelka, rule interchange format R2ML and a number of serv...
155
click to vote
RTA
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. We give a simple and direct proof that super-consistency implies cut elimination in deduction modulo. This proof can be seen as a simplification of the proof that super-...