2944 search results - page 103 / 589 » On Well Quasi-orders on Languages |
FMOODS
2003
13 years 11 months ago
2003
This paper outlines a sound and complete Hoare logic for a sequential object-oriented language with inheritance and subtyping like Java. It describes a weakest precondition calculu...
EMNLP
2010
13 years 8 months ago
2010
Domain adaptation, the problem of adapting a natural language processing system trained in one domain to perform well in a different domain, has received significant attention. Th...
MEMOCODE
2010
IEEE
13 years 8 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...
W4A
2010
ACM
13 years 7 months ago
2010
ACM
The ACAV project aims to explore how the accessibility of web videos can be improved by providing rich descriptions of video content in order to personalize the rendering of the c...
ACL
2009
13 years 7 months ago
2009
Automatic key phrase extraction is fundamental to the success of many recent digital library applications and semantic information retrieval techniques and a difficult and essenti...