838 search results - page 74 / 168 » From Natural Language to Formal Proof Goal |
159
click to vote
CADE
2005
Springer
16 years 6 months ago
2005
Springer
In today's society, people have very little control over what kinds of personal data are collected and stored by various agencies in both the private and public sectors. We de...
154
click to vote
SEFM
2006
IEEE
16 years 5 days ago
2006
IEEE
We present an operational model for describing random reactive systems. Some models have already been proposed for this purpose, but they generally aim at performing global reason...
138
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
Agents programmed in BDI-inspired languages have goals to achieve and a library of plans that can be used to achieve them, typically requiring further goals to be adopted. This is...
149
click to vote
IJDAR
2007
15 years 6 months ago
2007
Language usage over computer mediated discourses, like chats, emails and SMS texts, significantly differs from the standard form of the language. An urge towards shorter message l...
130
click to vote
IASTEDSE
2004
15 years 7 months ago
2004
This paper describes a case study on application of natural language processing in very early stages of the requirements engineering. In our previous work [7] we have shown how na...