2722 search results - page 336 / 545 » Automating Language Evolution |
117
Voted
NLDB
2000
Springer
15 years 7 months ago
2000
Springer
: The information system analysis process is considered as a difficult phase during the information systems development. The difficulty lies in gathering relevant information from ...
133
click to vote
MPC
1995
Springer
15 years 7 months ago
1995
Springer
PVS is a highly automated framework for speci cation and veri cation. We show how the language and deduction features of PVS can be used to formalize, mechanize, and apply some us...
157
click to vote
ICIA
2007
15 years 6 months ago
2007
Assisting users with To Do lists presents new challenges for intelligent user interfaces. This paper presents our approach and an implemented system, BEAM, to process To Do list e...
135
click to vote
APCCM
2010
15 years 5 months ago
2010
In this paper we extend the preliminary work developed elsewhere and investigate how to characterise many aspects of the compliance problem in business process modeling. We first ...
104
click to vote
COLING
2008
15 years 5 months ago
2008
Metaphor understanding in Computational Linguistics has largely been focused on the development of stand-alone prototypes for which only small-scale evaluations are carried out. T...