9443 search results - page 1528 / 1889 » Web-centric language models |
217
click to vote
CVPR
2012
IEEE
13 years 9 months ago
2012
IEEE
Modeling objects using formal grammars has recently regained much attention in computer vision. Probabilistic logic programming, such as Bilattice based Logical Reasoning (BLR), i...
174
click to vote
ACL
2012
13 years 9 months ago
2012
This paper studies the problem of sentencelevel semantic coherence by answering SATstyle sentence completion questions. These questions test the ability of algorithms to distingui...
221
click to vote
LICS
2012
IEEE
13 years 9 months ago
2012
IEEE
—This paper introduces HOpiPn, the higher-order pi-calculus with passivation and name creation, and develops an equivalence theory for this calculus. Passivation [Schmitt and Ste...
144
click to vote
ICPR
2004
IEEE
16 years 7 months ago
2004
IEEE
In this paper, we investigate to which extent the "raw" mapping of Taylor series coefficients into jet-space can be used as a "language" for describing local i...
282
click to vote
ICLP
2009
Springer
16 years 7 months ago
2009
Springer
Multiagent planning deals with the problem of generating plans for multiple agents. It requires formalizing ways for the agents to interact and cooperate, in order to achieve their...