4120 search results - page 501 / 824 » Exploring ocean data |
119
click to vote
CCR
2000
15 years 4 months ago
2000
This paper presents observations of traffic to and from a particular World-Wide Web server over the course a year and a half. This paper presents a longitudinal look at various ne...
139
click to vote
COLING
2002
15 years 4 months ago
2002
This paper explores the contribution of a broad range of syntactic features to WSD: grammatical relations coded as the presence of adjuncts/arguments in isolation or as subcategor...
141
click to vote
CSL
2002
Springer
15 years 4 months ago
2002
Springer
In the process of interactive theorem proving one often works with incomplete higher order proofs. In this paper we address the problem of giving a correctness criterion for these ...
121
click to vote
IDA
2000
Springer
15 years 4 months ago
2000
Springer
Conventional algorithms for decision tree induction use an attribute-value representation scheme for instances. This paper explores the empirical consequences of using set-valued ...
123
click to vote
ET
2002
15 years 4 months ago
2002
In this paper we explore two alternative approaches to system diagnosis. The first strategy is based on testability analysis performed by SATAN tool. The second approach performed ...