3207 search results - page 12 / 642 » A Semantics for HTN Methods |
WWW
2004
ACM
16 years 2 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...
123
Voted
ACL
2010
14 years 12 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...
126
Voted
MEMOCODE
2010
IEEE
14 years 11 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...
109
Voted
CORR
2010
Springer
14 years 11 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 ...
111
click to vote
EMNLP
2009
14 years 11 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 ...