4290 search results - page 154 / 858 » Formal Approaches to Teamwork |
133
click to vote
WEBI
2007
Springer
16 years 21 days ago
2007
Springer
This paper addresses the issue of researcher profiling. By researcher profiling, we mean building a semantic profile for an academic researcher, by identifying and annotating info...
178
click to vote
DALT
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. This paper aims at defining the semantics of Agent Communication Languages (ACLs) in terms of changes in the social relationships between agents, represented in terms of...
156
click to vote
MMMACNS
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. We present a new model that provides clear and precise semantics for authorization. The semantics is independent from underling security mechanisms and is separate from i...
174
click to vote
AISC
2004
Springer
15 years 10 months ago
2004
Springer
While implementing a proof for the Basic Perturbation Lemma (a central result in Homological Algebra) in the theorem prover Isabelle one faces problems such as the implementation o...
173
click to vote
COLING
1992
15 years 7 months ago
1992
The normal method for representing anaphoric dependencies in Unification Based grammar tbrmalisms is that of re-entrance. In this paper, we address the problems that this represen...