5251 search results - page 903 / 1051 » A Framework for Ontology Integration |
124
click to vote
SAC
2000
ACM
15 years 6 months ago
2000
ACM
The mobility of terminals and users is a crucial issue in the open global system represented by the Internet. Supporting terminal and user mobility requires a middleware infrastru...
115
click to vote
AGENTS
2000
Springer
15 years 6 months ago
2000
Springer
Conversations involving three or more agents often occur in multi-agent systems, for example in brokering and auction protocols typically used in e-commerce. For developing agents ...
119
click to vote
CAISE
2000
Springer
15 years 6 months ago
2000
Springer
With the emergence of the Internet, collaborative computing has become more feasible than ever. Organizations can share valuable information among each other. However, certain user...
103
click to vote
CL
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. Many key verification problems such as boundedmodel-checking,circuit verification and logical cryptanalysis are formalized with combined clausal and affine logic (i.e....
101
click to vote
ECAI
2000
Springer
15 years 6 months ago
2000
Springer
In dynamically changing environments a planning system does not have all the required information at the first place and the world state can change, rendering the original plan i...