634 search results - page 100 / 127 » Groundwork for Weak Analysis |
152
click to vote
ITP
2010
15 years 3 months ago
2010
Lebesgue integration is a fundamental concept in many mathematical theories, such as real analysis, probability and information theory. Reported higher-order-logic formalizations o...
111
click to vote
CIKM
2008
Springer
15 years 3 months ago
2008
Springer
In history and the other humanities, events and narrative sequences of events are often of primary interest. Yet while named events sometimes appear as subject headings, systems f...
114
click to vote
DAC
2005
ACM
15 years 3 months ago
2005
ACM
1 This paper presents a transient faults sensitivity evaluation for Quasi Delay Insensitive (QDI) asynchronous circuits. Because of their specific architecture, asynchronous circui...
LREC
2010
15 years 3 months ago
2010
With a view to rationalise the evaluation process within the Orange Labs spoken dialogue system projects, a field audit has been realised among the various related professionals. ...
120
click to vote
ECIR
2007
Springer
15 years 3 months ago
2007
Springer
Measuring the similarity between documents and queries has been extensively studied in information retrieval. However, there are a growing number of tasks that require computing th...