573 search results - page 45 / 115 » Refer-to-as Relations as Semantic Knowledge |
109
Voted
LICS
2007
IEEE
15 years 5 months ago
2007
IEEE
The combination of first-order epistemic logic and formal cryptography offers a potentially very powerful framework for security protocol verification. In this article, we addre...
117
click to vote
ACL
2006
15 years 9 days ago
2006
Spoken Language Understanding (SLU) addresses the problem of extracting semantic meaning conveyed in an utterance. The traditional knowledge-based approach to this problem is very...
78
Voted
NIPS
1997
15 years 7 days ago
1997
Singular value decomposition (SVD) can be viewed as a method for unsupervised training of a network that associates two classes of events reciprocally by linear connections throug...
94
Voted
BMCBI
2007
14 years 11 months ago
2007
Background: Current efforts within the biomedical ontology community focus on achieving interoperability between various biomedical ontologies that cover a range of diverse domain...
110
Voted
AAAI
2008
15 years 1 months ago
2008
We describe HTN-MAKER, an algorithm for learning hierarchical planning knowledge in the form of decomposition methods for Hierarchical Task Networks (HTNs). HTNMAKER takes as inpu...