Searching for "Semiautomatic simplification." – sorted by Relevance.
7 documents found, showing 1 through 7.
-
Semiautomatic Simplification
- …ABSTRACT Semiautomatic Simplification Gong Li Benjamin Watson gongli@(email omitted); watson…
- Cited by 9 (0 self) – Add To MetaCart
-
Motivations and Methods for Text Simplification
- … Simplification R. Chandrasekar Christine Doran B. Srinivas Institute for Research in Department…
- Cited by 23 (0 self) – Add To MetaCart
-
Motivations and Methods ibr Text Simplification
- … in such an artifi- cially constrained language. Automatic (or semi-automatic ) simplification could be used…
- Add To MetaCart
-
User-Guided Simplification
- …Abstract While many effective automatic surface simplification algorithms have been developed…
- Cited by 18 (1 self) – Add To MetaCart
-
unknown title
- … of software tools for a semi-automatic simplification of meshes, and advanced visualization tools for a…
- Add To MetaCart
-
Extended Abstract: Applying source-code verification to a microkernel - The VFiasco project
- … take the form of theorem-rewriting rules that allow semiautomatic simplification of and reasoning about…
- Add To MetaCart
-
Applying Source-Code Verification to a Microkernel
- … take the form of theorem-rewriting rules that allow semiautomatic simplification of and reasoning about…
- Add To MetaCart
Showing 1 through 7.
