206 search results - page 27 / 42 » Automated Analysis of Natural Language Properties for UML Mo... |
108
click to vote
CICLING
2009
Springer
15 years 10 months ago
2009
Springer
Recent work on the transfer of semantic information across languages has been recently applied to the development of resources annotated with Frame information for different non-En...
178
click to vote
POPL
2008
ACM
15 years 9 months ago
2008
ACM
Relevance heuristics allow us to tailor a program analysis to a particular property to be verified. This in turn makes it possible to improve the precision of the analysis where n...
79
Voted
CADE
2007
Springer
15 years 9 months ago
2007
Springer
We present an encoding that is able to specify LTL bounded model checking problems within the Bernays-Sch?onfinkel fragment of first-order logic. This fragment, which also correspo...
CIKM
2009
Springer
15 years 4 months ago
2009
Springer
Sentiment analysis or opinion mining aims to use automated tools to detect subjective information such as opinions, attitudes, and feelings expressed in text. This paper proposes ...
97
Voted
SEKE
2004
Springer
15 years 2 months ago
2004
Springer
The development of class models using the Rational Unified Process (RUP) requires complete, correct and unambiguous use case specification documents. The Use Case Driven Developmen...