3207 search results - page 12 / 642 » A Semantics for HTN Methods |
WWW
2004
ACM
14 years 10 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...
ACL
2010
13 years 7 months 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...
MEMOCODE
2010
IEEE
13 years 7 months 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...
CORR
2010
Springer
13 years 7 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 ...
EMNLP
2009
13 years 7 months 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 ...