3207 search results - page 121 / 642 » A Semantics for HTN Methods |
ESOP
2005
Springer
15 years 6 months ago
2005
Springer
Abadi-Leino Logic is a Hoare-calculus style logic for a simple imperative and object-based language where every object comes with its own method suite. Consequently, methods need t...
89
Voted
FMCAD
2000
Springer
15 years 4 months ago
2000
Springer
BLIF is a hardware description language designed for the hierarchical description of sequential circuits. We give a denotational semantics for BLIF-MV, a popular dialect of BLIF, t...
78
Voted
LREC
2010
15 years 2 months ago
2010
In recent years, blogs and social networks have particularly boosted interests for opinion mining research. In order to satisfy real-scale applicative needs, a main task is to cre...
110
Voted
EMNLP
2006
15 years 1 months ago
2006
This paper demonstrates two methods to improve the performance of instancebased learning (IBL) algorithms for the problem of Semantic Role Labeling (SRL). Two IBL algorithms are u...
107
Voted
PSSS
2003
15 years 1 months ago
2003
We investigate the applicability of classical resolution-based theorem proving methods for the Semantic Web. We consider several well-known search strategies, propose a general sch...