Sciweavers

2722 search results - page 53 / 545
» Automating Language Evolution
Sort
View
LICS
1993
IEEE
15 years 10 months ago
Lambek Grammars Are Context Free
In this paper the Chomsky Conjecture is proved: all languages recognized by the Lambek calculus are context free.
Mati Pentus
CE
2008
118views more  CE 2008»
15 years 6 months ago
Assessing creative problem-solving with automated text grading
The work aims to improve the assessment of creative problem-solving in science education by employing language technologies and computational
Hao-Chuan Wang, Chun-Yen Chang, Tsai-Yen Li
191
Voted
UML
2005
Springer
15 years 12 months ago
Transformation-Based Structure Model Evolution
This paper summarizes an approach to support evolution of software models by means of a transformation catalogue. These transformations treat UML class diagram models, OCL constrai...
Fabian Büttner
115
Voted
FM
2009
Springer
127views Formal Methods» more  FM 2009»
16 years 1 months ago
Automated Property Verification for Large Scale B Models
Michael Leuschel, Jérôme Falampin, Fa...
117
Voted
UM
2007
Springer
16 years 17 days ago
Web Customer Modeling for Automated Session Prioritization on High Traffic Sites
Nicolás Poggi, Toni Moreno, Josep Lluis Ber...