Sciweavers

2651 search results - page 331 / 531
» Experiences with the Use of a Configuration Language
Sort
View
ESOP
2010
Springer
16 years 3 months ago
Precise and Automated Contract-based Reasoning for Verification and Certification of Information Flow Properties of Programs wit
Abstract. Embedded information assurance applications that are critical to national and international infrastructures, must often adhere to certification regimes that require infor...
Torben Amtoft, John Hatcliff and Edwin Rodríguez
IUCS
2009
ACM
194views Communications» more  IUCS 2009»
16 years 1 months ago
Automatic extraction of bilingual terms from a Chinese-Japanese parallel corpus
This paper proposes a new approach for the automatic extraction of bilingual terms from a domain-specific bilingual parallel corpus. We combine existing monolingual term extractor...
Xiaorong Fan, Nobuyuki Shimizu, Hiroshi Nakagawa
EXTREME
2004
ACM
16 years 14 min ago
Half-steps toward LMNL
Overlap in markup occurs where some markup structures do not nest, such as where the sentence and phrase boundaries of a poem and the metrical line structure describe different hi...
Wendell Piez
CICLING
2004
Springer
15 years 12 months ago
Extracting Semantic Categories of Nouns for Syntactic Disambiguation from Human-Oriented Explanatory Dictionaries
: Syntactic disambiguation frequently requires knowledge of the semantic categories of nouns, especially in languages with free word order. For example, in Spanish the phrases pint...
Hiram Calvo, Alexander F. Gelbukh
PLDI
1996
ACM
15 years 10 months ago
Fast, Effective Dynamic Compilation
Dynamic compilation enables optimizations based on the values of invariant data computed at run-time. Using the values of these runtime constants, a dynamic compiler can eliminate...
Joel Auslander, Matthai Philipose, Craig Chambers,...