Sciweavers

742 search results - page 25 / 149
» Formal Grammar for Java
Sort
View
AAAI
2011
12 years 7 months ago
Recognizing Plans with Loops Represented in a Lexicalized Grammar
This paper extends existing plan recognition research to handle plans containing loops. We supply an encoding of plans with loops for recognition, based on techniques used to pars...
Christopher W. Geib, Robert P. Goldman
TACAS
2005
Springer
112views Algorithms» more  TACAS 2005»
14 years 1 months ago
Java-MOP: A Monitoring Oriented Programming Environment for Java
Abstract. A Java-based tool-supported software development and analysis framework is presented, where monitoring is a foundational principle. Expressive requirements specification...
Feng Chen, Grigore Rosu
CSLP
2004
Springer
14 years 1 months ago
Property Grammars: A Fully Constraint-Based Theory
Abstract. This paper presents the basis of Property Grammars, a fully constraintbased theory. In this approach, all kinds of linguistic information is represented by means of const...
Philippe Blache
AIIA
2005
Springer
13 years 9 months ago
Building a Wide Coverage Dynamic Grammar
Incremental processing is relevant for language modeling, speech recognition and language generation. In this paper we devise a dynamic version of Tree Adjoining Grammar (DVTAG) th...
Alessandro Mazzei, Vincenzo Lombardo
IJFCS
2006
132views more  IJFCS 2006»
13 years 7 months ago
Generalized Lr Parsing Algorithm for Boolean Grammars
The generalized LR parsing algorithm for context-free grammars is extended for the case of Boolean grammars, which are a generalization of the context-free grammars with logical c...
Alexander Okhotin