3207 search results - page 12 / 642 » A Semantics for HTN Methods |
102
Voted
WWW
2004
ACM
16 years 3 months ago
2004
ACM
Semantic Annotation is a challenging research direction in the area of Semantic Web. Turning the web into a Semantic Web implies widespread semantic annotation of documents. But i...
129
click to vote
ACL
2010
15 years 16 days ago
2010
Determining the semantic intent of web queries not only involves identifying their semantic class, which is a primary focus of previous works, but also understanding their semanti...
138
click to vote
MEMOCODE
2010
IEEE
15 years 12 days ago
2010
IEEE
This paper describes a formal executable semantics for the Verilog hardware description language. The goal of our formalization is to provide a concise and mathematically rigorous...
116
click to vote
CORR
2010
Springer
14 years 12 months ago
2010
Springer
The paper presents a simple and concise proof of correctness of the magic transformation. We believe it may provide a useful example of formal reasoning about logic programs. The ...
116
click to vote
EMNLP
2009
15 years 9 days ago
2009
Unknown lexical items present a major obstacle to the development of broadcoverage semantic role labeling systems. We address this problem with a semisupervised learning approach ...