3707 search results - page 231 / 742 » A Simple Technique for Self-Calibration |
164
click to vote
COLING
2002
15 years 6 months ago
2002
This paper presents a simple yet in practice very efficient technique serving for automatic detection of those positions in a partof-speech tagged corpus where an error is to be s...
182
click to vote
FMSD
2000
15 years 6 months ago
2000
We review a number of formal verification techniques supported by STeP, the Stanford Temporal Prover, describing how the tool can be used to verify properties of several versions o...
168
click to vote
ET
2002
15 years 6 months ago
2002
In this paper a novel architecture for scan-based mixed mode BIST is presented. To reduce the storage requirements for the deterministic patterns it relies on a two-dimensional co...
152
click to vote
IJISEC
2002
15 years 6 months ago
2002
Remote service invocation via HTTP and XML promises to become an important component of the Internet infrastructure. Work is ongoing in the W3C XML Protocol Working Group to define...
181
click to vote
COMPUTER
1999
15 years 6 months ago
1999
Discovery of a network topology is a challenging task. Available algorithms that rely on simple hop-limited, traceroute-style probes give different performance in terms of the com...