1060 search results - page 101 / 212 » Mechanized semantics |
112
Voted
FOAL
2007
ACM
15 years 7 months ago
2007
ACM
By modeling dynamic join points, pointcuts, and advice in a defunctionalized continuation-passing style interpreter, we provide a fundamental account of these AOP mechanisms. Dyna...
100
Voted
ACL
2008
15 years 5 months ago
2008
Relation extraction is the task of finding semantic relations between two entities from text. In this paper, we propose a novel feature-based Chinese relation extraction approach ...
101
Voted
ACL
1990
15 years 4 months ago
1990
Current complex-feature based grammars use a single procedure--unification--for a multitude of purposes, among them, enforcing formal agreement between purely syntactic features. ...
109
Voted
IJCAI
1989
15 years 4 months ago
1989
Nilsson's Probabilistic Logic is a set theoretic mechanism for reasoning with uncertainty. We propose a new way of looking at the probability constraints enforced by the fram...
73
Voted
CORR
2008
Springer
15 years 3 months ago
2008
Springer
paper we will discuss the design of abstract firewall model along with platform-independent policy definition language. We will also discuss the main design challenges and solutio...