Searching for authors named "Jin Yang" – sorted by Relevance.
19 documents found, showing 1 through 10.
Next 10 →
-
Lazy Symbolic Model Checking
- …Lazy Symbolic Model Checking Jin Yang Strategic CAD Labs Design Technology, Intel Corp. jinyang…
- Add To MetaCart
-
SYSTRAN MT dictionary development
- …SYSTRAN MT DICTIONARY DEVELOPMENT Laurie Gerber, Jin Yang SYSTRAN Software, Inc. 7855 Fay Avenue…
- Cited by 4 (0 self) – Add To MetaCart
-
Escaping a Hurricane's Wrath
- …state highway I-26 is the principal road going to the safe inland. But under the circumstances of emergent evacuation, so many vehicles might crowd on the highways almost at the same time. Without proper plan the traffic nightmare occurred. The focus of the problem is to control the highway's traffi…
- Add To MetaCart
-
An Application of Machine Translation Technology in Multilingual Information Retrieval
- … Information Retrieval Denis A. Gachot, Elke Lange and Jin Yang {denis | elke | yang}@(email omitted); SYSTRAN…
- Cited by 3 (0 self) – Add To MetaCart
-
The Parallel Fortran Family and a New Perspective
- …The Parallel Fortran Family and a New Perspective John Darlington Yi-ke Guo Jin Yang Department…
- Cited by 1 (0 self) – Add To MetaCart
-
Optimizing Automatic Abstraction Refinement for Generalized Symbolic Trajectory Evaluation
- …. of Computer Science Portland State University Portland, OR, 97207 xie@(email omitted); Jin Yang Strategic CAD Labs…
- Add To MetaCart
-
Symbolic Model Checking for Event-Driven Real-Time Systems
- …Symbolic Model Checking for Event- Driven Real-Time Systems JIN YANG and ALOYSIUS K. MOK…
- Cited by 14 (0 self) – Add To MetaCart
-
satGSTE: Combining the Abstraction of GSTE with the Capacity of a SAT Solver
- …1 satGSTE: Combining the Abstraction of GSTE with the Capacity of a SAT Solver Jin Yang, Rami Gil…
- Cited by 7 (0 self) – Add To MetaCart
-
Automatic Abstraction Refinement for Generalized Symbolic Trajectory Evaluation
- … ∗ , Yujing He ∗ ,FeiXie ∗ and Jin Yang † ∗ Department of Computer Science, Portland State University…
- Cited by 3 (1 self) – Add To MetaCart
-
The SYSTRAN NLP browser: An application of machine translation technology in cross-language information retrieval
- … Information Retrieval Denis A. Gachot, Elke Lange and Jin Yang {denis | elke | yang}@(email omitted); SYSTRAN…
- Cited by 14 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
