838 search results - page 87 / 168 » From Natural Language to Formal Proof Goal |
158
click to vote
AIIDE
2008
15 years 8 months ago
2008
Dialogue in commercial games is largely created by teams of writers and designers who hand-author every line of dialogue and hand-specify the dialogue structure using finite state...
178
click to vote
SIGSOFT
2010
ACM
15 years 4 months ago
2010
ACM
Software helps people fulfill their goals, but development tools lack understanding of those goals. But if development tools did understand how software artifacts relate to higher...
148
click to vote
CCS
2001
ACM
15 years 10 months ago
2001
ACM
The events of a security protocol and their causal dependency can play an important role in the analysis of security properties. This insight underlies both strand spaces and the ...
144
click to vote
DLT
2008
15 years 7 months ago
2008
We show that for several classes of idempotent semirings the least fixed-point of a polynomial system of equations X = f(X) is equal to the least fixed-point of a linear system obt...
160
click to vote
FLAIRS
2004
15 years 7 months ago
2004
We present a preventive model of tutoring for novice programming derived from a human corpus and describe our intelligent tutoring system PROPL embodying that model. The system co...