6355 search results - page 212 / 1271 » From Logic to Games |
156
click to vote
COLING
2010
15 years 1 months ago
2010
We present a probabilistic generative model for learning semantic parsers from ambiguous supervision. Our approach learns from natural language sentences paired with world states ...
156
click to vote
DEXAW
2003
IEEE
15 years 12 months ago
2003
IEEE
that negotiation is a powerful abstract notion for the coordination of generic services available from distributed components. This is the main motivation underlying the developme...
161
click to vote
EXACT
2008
15 years 9 months ago
2008
The representation and manipulation of natural human understanding of temporal phenomena is a fundamental field of study in Computer Science, which aims both to emulate human think...
178
click to vote
CDC
2009
IEEE
15 years 4 months ago
2009
IEEE
We consider the problem of controlling a continuous-time linear stochastic system from a specification given as a Linear Temporal Logic (LTL) formula over a set of linear predicate...
341
click to vote
AMW
2011
14 years 10 months ago
2011
Since navigational aspects of XPath correspond to first-order definability, it has been proposed to use the analogy with the very successful technique of translating LTL into aut...