1256 search results - page 103 / 252 » Tools for Exploring Natural Language |
134
click to vote
OOPSLA
2005
Springer
15 years 9 months ago
2005
Springer
Our goal is to enable rapid production of static and dynamic object models from natural language description of problems. Rapid modeling is achieved through automation of analysis...
101
click to vote
MODELS
2007
Springer
15 years 9 months ago
2007
Springer
This position paper shortly describes methods and tools under development to support a model-based reengineering process of user interfaces of legacy applications. This reengineer...
112
click to vote
ESSLLI
1999
Springer
15 years 7 months ago
1999
Springer
This paper argues that exhaustification is empirically and theoretically important as a tool in the semantic description of various constructions in natural language. Discussion f...
107
Voted
MKM
2009
Springer
15 years 10 months ago
2009
Springer
This paper presents a proof language based on the work of Sacerdoti Coen [1,2], Kirchner [3] and Autexier [4] on ¯λµ˜µ, a calculus introduced by Curien and Herbelin [5,6]. Jus...
113
Voted
MODELS
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. We consider the OMG’s Queries, Views and Transformations (QVT) standard as applied to the specification of bidirectional transformations between models. We discuss wha...