838 search results - page 85 / 168 » From Natural Language to Formal Proof Goal |
165
click to vote
UML
2005
Springer
15 years 11 months ago
2005
Springer
Many exceptional situations arise during the execution of an application. When developing dependable software, the first step is to foresee these exceptional situations and docume...
170
click to vote
IUI
2010
ACM
16 years 3 months ago
2010
ACM
When editing a story from a large collection of media, such as photos and video clips captured from daily life, it is not always easy to understand how particular scenes fit into ...
153
click to vote
MODELS
2007
Springer
16 years 10 days ago
2007
Springer
Class diagrams must be complemented with a set of system operations that describes how users can modify and evolve the system state. To be useful, such a set must be complete (i.e....
162
click to vote
E4MAS
2004
Springer
15 years 11 months ago
2004
Springer
The environment is an important but overlooked piece in the construction of multiagent-based scenarios. Richness, believability and variety of scenarios are inseparable from the en...
144
click to vote
GRID
2004
Springer
15 years 11 months ago
2004
Springer
In this paper we report experience in the use of computational grids in the domain of natural language processing, particularly in the area of information extraction, to create qu...