16218 search results - page 149 / 3244 » Standards |
109
click to vote
EUROSSC
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. We introduce the harvesting of natural background radioactivity for positioning. Using a standard Geiger-M
117
click to vote
SERVICES
2010
15 years 5 months ago
2010
Abstract--Exchanging structured business documents is inevitable for successful collaboration in electronic commerce. A prerequisite, for fostering the interoperability between bus...
114
click to vote
FCS
2008
2008
Why Brouwer Was Justified in his Objection to Hilbert's Unqualified Interpretation of Quantification
15 years 5 months ago
Abstract We define a finitary model of firstorder Peano Arithmetic in which quantification is interpreted constructively in terms of Turingcomputability, and show that it is incons...
JSYML
2008
15 years 4 months ago
2008
Some 40 years ago, Dana Scott proved that every countable Scott set is the standard system of a model of PA. Two decades later, Knight and
129
click to vote
MLQ
2008
15 years 4 months ago
2008
We observe that removing contraction from a standard sequent calculus for first-order predicate logic preserves completeness for the modal fragment.