1856 search results - page 356 / 372 » Formal Dialectic Specification |
162
click to vote
ICDT
2010
ACM
15 years 5 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...
110
Voted
AIIDE
2008
15 years 4 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...
134
click to vote
DLOG
2008
15 years 4 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...
133
click to vote
FLAIRS
2008
15 years 4 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...
111
click to vote
APN
2008
Springer
15 years 3 months ago
2008
Springer
Shared decision diagram representations of a state-space have been shown to provide efficient solutions for model-checking of large systems. However, decision diagram manipulation ...