273 search results - page 38 / 55 » A Compositional Semantics for Conditional Term Rewriting Sys... |
105
click to vote
FMCO
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. Many distributed applications can be understood in terms of components interacting in an open environment. This interaction is not always uniform as the network may consi...
CCS
2009
ACM
16 years 8 days ago
2009
ACM
The successful deployment of a security policy is closely related not only to the complexity of the security requirements but also to the capabilities/functionalities of the secur...
84
Voted
EACL
1993
ACL Anthology
15 years 1 months ago
1993
ACL Anthology
The first part of the paper develops a novel, sortally-based approach to the problem of aspectual composition. The account is argued to be superior on both empirical and computati...
100
click to vote
ICLP
2005
Springer
15 years 5 months ago
2005
Springer
Our goal is to study the feasibility of porting termination analysis techniques developed for one programming paradigm to another paradigm. In this paper, we show how to adapt ter...
99
Voted
ACL
2009
14 years 9 months ago
2009
This paper presents a novel metric-based framework for the task of automatic taxonomy induction. The framework incrementally clusters terms based on ontology metric, a score indic...