6201 search results - page 1089 / 1241 » Implementation of Axiomatic Language |
172
Voted
COLING
2000
2000
Jurilinguistic Engineering in Cantonese Chinese: An N-gram-based Speech to Text Transcription System
15 years 7 months ago
A Cantonese Chinese transcription system to automatically convert stenograph code to Chinese characters ix reported. The major challenge in developing such a system is the critica...
156
click to vote
DOA
2000
15 years 7 months ago
2000
The wide acceptance of object-oriented environments and proposals has renewed interest in all the class inheritance related issues; in particular its implementation in distributed...
173
click to vote
WORM
2003
15 years 7 months ago
2003
We present a general framework for reasoning about network worms and analyzing the potency of worms within a specific network. First, we present a discussion of the life cycle of ...
203
click to vote
IWFM
2000
15 years 7 months ago
2000
ct Increasingly, model checking is being applied to more abstract problem domains than the traditional protocol analysis. The extent to which such an approach is able to provide us...
150
click to vote
PDSE
2000
15 years 7 months ago
2000
To support multimedia applications in mobile environments, it will be necessary for applications to be aware of the underlying environmental conditions, and also to be able to ada...