Sciweavers

6054 search results - page 1058 / 1211
» Implementation of Andorra-based Languages
Sort
View
AIPS
2000
14 years 4 days ago
Merging Plans with Quantitative Temporal Constraints, Temporally Extended Actions, and Conditional Branches
We develop an algorithm for merging plans that are represented in a richly expressive language. Speci cally, weare concerned with plans that have i quantitative temporal constrain...
Ioannis Tsamardinos, Martha E. Pollack, John F. Ho...
COLING
2000
14 years 4 days ago
Jurilinguistic Engineering in Cantonese Chinese: An N-gram-based Speech to Text Transcription System
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...
Benjamin K. Tsou, K. K. Sin, Samuel W. K. Chan, To...
DOA
2000
87views more  DOA 2000»
14 years 4 days ago
MODE: A Java-like Environment for Experimenting Mobility Policies
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...
Giuliano Armano, Antonio Corradi, Letizia Leonardi...
WORM
2003
14 years 4 days ago
Worm anatomy and model
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 ...
Dan Ellis
IWFM
2000
107views Formal Methods» more  IWFM 2000»
14 years 3 days ago
A Comparison of Three Model Checkers Applied to a Distributed Database Problem
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...
A. J. Currie
« Prev « First page 1058 / 1211 Last » Next »