1864 search results - page 122 / 373 » Formal topology and domains |
169
click to vote
IJCAI
2003
15 years 7 months ago
2003
FLUX belongs to the high-level programming languages for cognitive agents that have been developed in recent years. Based on the established, general action representation formali...
134
click to vote
AIL
1998
15 years 6 months ago
1998
There is a growing interest in how people conceptualise the legal domain for the purpose of legal knowledge systems. In this paper we discuss four such conceptualisations (referred...
178
click to vote
RAS
1998
15 years 6 months ago
1998
We present a formal model of negotiation between autonomous agents. The purpose of the negotiation is to reach an agreement about the provision of a service by one agent for anoth...
164
click to vote
VISUALIZATION
2005
IEEE
15 years 12 months ago
2005
IEEE
Topological concepts and techniques have been broadly applied in computer graphics and geometric modeling. However, the homotopy type of a mapping between two surfaces has not bee...
157
click to vote
ER
2005
Springer
15 years 12 months ago
2005
Springer
We describe a new approach to managing information quality (IQ) in an e-Science context, by allowing scientists to define the quality characteristics that are of importance in the...