Sciweavers

1242 search results - page 32 / 249
» The Theory of Grammar Constraints
Sort
View
AIEDAM
2006
97views more  AIEDAM 2006»
13 years 7 months ago
Creating cross-over vehicles: Defining and combining vehicle classes using shape grammars
In the push for new vehicle designs, the distinctions between vehicle classes are quickly becoming blurred. We use shape grammars to quantify the differences between vehicle class...
Seth Orsborn, Jonathan Cagan, Richard R. Pawlicki,...
TAGT
1994
Springer
185views Graph Theory» more  TAGT 1994»
13 years 11 months ago
Concatenation of Graphs
An operation of concatenation is introduced for graphs. Then strings are viewed as expressions denoting graphs, and string languages are interpreted as graph languages. For a clas...
Joost Engelfriet, Jan Joris Vereijken
ACL
2009
13 years 5 months ago
Variational Inference for Grammar Induction with Prior Knowledge
Variational EM has become a popular technique in probabilistic NLP with hidden variables. Commonly, for computational tractability, we make strong independence assumptions, such a...
Shay B. Cohen, Noah A. Smith
ACL
2001
13 years 8 months ago
Resolving Ellipsis in Clarification
We offer a computational analysis of the resolution of ellipsis in certain cases of dialogue clarification. We show that this goes beyond standard techniques used in anaphora and ...
Jonathan Ginzburg, Robin Cooper
CADE
2004
Springer
14 years 7 months ago
Decision Procedures for Recursive Data Structures with Integer Constraints
This paper is concerned with the integration of recursive data structures with Presburger arithmetic. The integrated theory includes a length function on data structures, thus prov...
Ting Zhang, Henny B. Sipma, Zohar Manna