7139 search results - page 242 / 1428 » Language Engineering in Practice |
233
click to vote
MEMOCODE
2003
IEEE
16 years 11 days ago
2003
IEEE
An executable computational logic can provide the desired bridge between formal system properties and formal methods to verify them on the one hand, and executable models of syste...
169
Voted
CORR
2011
Springer
15 years 2 months ago
2011
Springer
Existing grammar frameworks do not work out particularly well for controlled natural languages (CNL), especially if they are to be used in predictive editors. I introduce in this p...
158
Voted
WWW
2006
ACM
16 years 7 months ago
2006
ACM
Today web search engines provide the easiest way to reach information on the web. In this scenario, more than 95% of Indian language content on the web is not searchable due to mu...
193
click to vote
ICWE
2007
Springer
16 years 1 months ago
2007
Springer
The Unified Modeling Language (UML) is considered as the lingua franca in software engineering. Despite various web modeling languages having emerged in the past decade, in the fie...
191
click to vote
APL
1993
ACM
15 years 11 months ago
1993
ACM
This paper describes the design of a hybrid language which combines the features of an array processing language and lisp dialect in a consistent and useful manner. This language,...