3653 search results - page 119 / 731 » Learning of Partial Languages |
143
Voted
LICS
1993
IEEE
15 years 7 months ago
1993
IEEE
traction for a Shared Variable Parallel Language Stephen Brookes∗ School of Computer Science Carnegie Mellon University Pittsburgh, Pa 15213 We give a new denotational semantics...
116
click to vote
AAAI
1994
15 years 4 months ago
1994
We describe a new algorithm for table-driven parsing with context-free grammars designed to support efficient syntactic analysis of natural language. The algorithm provides a gene...
142
click to vote
ECAI
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Infinite-horizon multi-agent control processes with nondeterminism and partial state knowledge have particularly interesting properties with respect to adaptive control, ...
130
Voted
IWPC
2009
IEEE
15 years 10 months ago
2009
IEEE
We present a novel approach to extract structural information from source code using state-of-the-art parser technologies for natural languages. The parser technology is robust in...
127
Voted
FASE
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. This paper describes a specialised logic for proving specifications in the Java Modeling Language (JML). JML is an interface specification language for Java. It allows ...