3809 search results - page 134 / 762 » Associative language descriptions |
128
click to vote
AAAI
2007
15 years 8 months ago
2007
A general game playing program plays games that it has not previously encountered. A game manager program sends the game playing programs a description of a game’s rules and obj...
134
click to vote
ACL
2001
15 years 7 months ago
2001
For ambiguous sentences, traditional semantics construction produces large numbers of higher-order formulas, which must then be -reduced individually. Underspecified versions can ...
162
click to vote
JGTOOLS
2006
15 years 6 months ago
2006
Spherical harmonic transform plays an important role in research in shape description. Current computation methods involve expensive voxelization, and are prone to numerical error...
179
click to vote
ICLP
2010
Springer
15 years 10 months ago
2010
Springer
Answer-set programming (ASP) is a well-known formalism for declarative problem solving, enjoying a continuously increasing number of diverse applications. However, arguably one of ...
222
click to vote
ICWS
2004
IEEE
15 years 7 months ago
2004
IEEE
This paper introduces a method for automatic composition of Semantic Web services using Linear Logic (LL) theorem proving. The method uses Semantic Web service language (DAML-S) f...