5216 search results - page 1010 / 1044 » Planning as Model Checking |
SIGSOFT
2004
ACM
15 years 4 months ago
2004
ACM
In run-time safety analysis the executions of a concurrent program are monitored and analyzed with respect to safety properties. Similar to testing, run-time analysis is quite eļ¬...
INLG
2004
Springer
15 years 4 months ago
2004
Springer
Ambiguity in the output is a concern for NLG in general. This paper considers the case of structural ambiguity in spoken language generation. We present an algorithm which inserts ...
101
click to vote
PLDI
2003
ACM
15 years 3 months ago
2003
ACM
This paper reports on a new approach to solving a subset-based points-to analysis for Java using Binary Decision Diagrams (BDDs). In the model checking community, BDDs have been s...
SMA
2003
ACM
15 years 3 months ago
2003
ACM
The prediction of collisions amongst N rigid objects may be reduced to a series of computations of the time to ļ¬rst contact for all pairs of objects. Simple enclosing bounds and...
111
click to vote
AGTIVE
2003
Springer
15 years 3 months ago
2003
Springer
Graph-reduction speciļ¬cations (GRSs) are a powerful new method for specifying classes of pointer data structures (shapes). They cover important shapes, like various forms of bal...