2701 search results - page 111 / 541 » On the form of witness terms |
200
click to vote
ENTCS
2006
15 years 6 months ago
2006
This paper presents a game semantics for LP, Artemov's Logic of Proofs. The language of LP extends that of propositional logic by adding formula-labeling terms, permitting us...
151
click to vote
JBI
2008
15 years 6 months ago
2008
The term registry is widely used to refer to any database storing clinical information collected as a byproduct of patient care. Despite the use of this single characterizing term...
162
click to vote
AIRS
2010
Springer
15 years 4 months ago
2010
Springer
Retrieval in historic documents with non-standard spelling requires a mapping from search terms onto the historic terms in the document. For describing this mapping, we have develo...
180
click to vote
IMC
2010
ACM
15 years 4 months ago
2010
ACM
In this paper we present Netalyzr, a network measurement and debugging service that evaluates the functionality provided by people's Internet connectivity. The design aims to...
172
click to vote
TIT
2010
15 years 1 months ago
2010
An exact and general expression for the analytic wavelet transform of a real-valued signal is constructed, resolving the time-dependent effects of non-negligible amplitude and fre...