Sciweavers

742 search results - page 66 / 149
» Formal Grammar for Java
Sort
View
ASM
2010
ASM
13 years 10 months ago
Applying the B Method for the Rigorous Development of Smart Card Applications
Abstract. Smart Card applications usually require reliability and security to avoid incorrect operation or access violation in transactions and corruption or undue access to stored...
Bruno Emerson Gurgel Gomes, David Déharbe, ...
ICWE
2007
Springer
14 years 2 months ago
Structural Patterns for Descriptive Documents
Combining expressiveness and plainness in the design of web documents is a difficult task. Validation languages are very powerful and designers are tempted to over-design specific...
Antonina Dattolo, Angelo Di Iorio, Silvia Duca, An...
LREC
2010
164views Education» more  LREC 2010»
13 years 9 months ago
Semantic Feature Engineering for Enhancing Disambiguation Performance in Deep Linguistic Processing
The task of parse disambiguation has gained in importance over the last decade as the complexity of grammars used in deep linguistic processing has been increasing. In this paper ...
Danielle Ben-Gera, Yi Zhang 0003, Valia Kordoni
ACL
1998
13 years 9 months ago
Unification-based Multimodal Parsing
In orderto realize their full potential, multimodalsystems need to support not just input from multiple modes, but also synchronized integration of modes. Johnston et al (1997) mo...
Michael Johnston
EACL
1993
ACL Anthology
13 years 9 months ago
Disjunctions and Inheritance in the Context Feature Structure System
Substantial efforts have been made in order to cope with disjunctions in constraint based grammar formalisms (e.g. [Kasper, 1987; Maxwell and Kaplan, 1991; DSrre and Eisele, 1990]...
Martin Böttcher