2694 search results - page 127 / 539 » Frege's New Science |
156
click to vote
GI
2009
Springer
15 years 11 months ago
2009
Springer
: In many tracking applications, the extent of the target object is neglected and it is assumed that the received measurements stem from a point source. However, modern sensors are...
159
click to vote
DIS
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. It is an up-to-date challenge to get answers for novel questions which nobody has ever considered. Such a question is too rare to be satisfied with a past single documen...
174
click to vote
DIS
2001
Springer
15 years 11 months ago
2001
Springer
Rapid growth of digital data collections is overwhelming the capabilities of humans to comprehend them without aid. The extraction of useful data from large raw data sets is someth...
161
click to vote
STACS
2001
Springer
15 years 11 months ago
2001
Springer
Most known constructions of probabilistically checkable proofs (PCPs) either blow up the proof size by a large polynomial, or have a high (though constant) query complexity. In thi...
155
click to vote
TLCA
2001
Springer
15 years 11 months ago
2001
Springer
In this paper, we introduce a new type system, the Implicit Calculus of Constructions, which is a Curry-style variant of the Calculus of Constructions that we extend by adding an i...