1823 search results - page 349 / 365 » Formal specification: a roadmap |
141
click to vote
TACAS
2000
Springer
15 years 8 months ago
2000
Springer
This note describes Proof General, a tool for developing machine proofs with an interactive proof assistant. Interaction is based around a proof script, which is the target of a pr...
187
click to vote
ICDT
2010
ACM
15 years 7 months ago
2010
ACM
Stochastic context-free grammars (SCFGs) have long been recognized as useful for a large variety of tasks including natural language processing, morphological parsing, speech reco...
137
click to vote
AIIDE
2008
15 years 6 months ago
2008
Systems that provide automated game-design support-whether fully automated game generators, or tools to assist human designers--must be able to maintain a representation of a game...
159
click to vote
DLOG
2008
15 years 6 months ago
2008
Answering queries posed over knowledge bases is a central problem in knowledge representation and database theory. In databases, query containment is one of the important query op...
155
click to vote
FLAIRS
2008
15 years 6 months ago
2008
One of the central problems in building broad-coverage story understanding systems is generating expectations about event sequences, i.e. predicting what happens next given some a...