5465 search results - page 405 / 1093 » Assigning Types to Processes |
153
click to vote
ANSOFT
2002
15 years 4 months ago
2002
Communication with XML often involves pre-agreed document types. In this paper, we propose an offline parser generation approach to enhance online processing performance for docum...
123
click to vote
COLING
2002
15 years 4 months ago
2002
Chinese NE (Named Entity) recognition is a difficult problem because of the uncertainty in word segmentation and flexibility in language structure. This paper proposes the use of ...
148
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 ...
134
click to vote
QUESTA
2007
15 years 4 months ago
2007
We consider the estimation of arrival and service rates for queues based on queue length data collected at successive, not necessarily equally spaced, time points. In particular, ...
114
click to vote
ESI
2010
15 years 3 months ago
2010
The recently completed prototyping efforts for a new type of riometer, the Advanced Rio-Imaging Experiment in Scandinavia (ARIES), required the development of a uniquely flexible s...