1864 search results - page 132 / 373 » Formal topology and domains |
157
click to vote
CLIMA
2004
15 years 7 months ago
2004
Abstract. We provide a formal characterization of a notion of contextual taxonomy, that is to say, a taxonomy holding only with respect to a specific context. To this aim, a new pr...
161
click to vote
ICWS
2003
IEEE
15 years 7 months ago
2003
IEEE
: Presented is the vision of the authors on how diverse web services may be composed, mediated by dynamic task coalitions of agents performing tasks for service requestors. The foc...
170
click to vote
AIEDU
2005
15 years 6 months ago
2005
This paper presents the experiment and consequent evaluation of introducing the Logic-ITA in a second year tertiary undergraduate class. The Logic-ITA is a web-based Intelligent Te...
184
click to vote
LOGCOM
1998
15 years 6 months ago
1998
The need for negotiation in multi-agent systems stems from the requirement for agents to solve the problems posed by their interdependence upon one another. Negotiation provides a...
173
click to vote
IJPP
2010
15 years 4 months ago
2010
In this paper, we define the problem of spatial mapping. We present reasons why performing spatial mappings at run-time is both necessary and desirable. We propose what is—to ou...