3663 search results - page 481 / 733 » Problems in the ontology of computer programs |
167
click to vote
ATAL
2004
Springer
16 years 1 days ago
2004
Springer
The paper describes the architecture of Brown University’s agent, Botticelli, a finalist in the 2003 Trading Agent Competition in Supply Chain Management (TAC SCM). In TAC SCM,...
196
click to vote
EKAW
2004
Springer
16 years 21 hour ago
2004
Springer
This paper describes a particular knowledge acquisition tool for the construction and maintenance of the knowledge model of an intelligent system for emergency management in the fi...
175
click to vote
GI
2004
Springer
16 years 15 hour ago
2004
Springer
: Knowledge management typically focuses on communicating and spreading information and knowledge within a company. It is usually limited to technology or business information in s...
158
click to vote
GRID
2004
Springer
16 years 15 hour ago
2004
Springer
We introduce a formal model for deployment and hosting of a dynamic grid service wherein the service provider must pay a resource provider for the use of computational resources. ...
176
click to vote
ICALP
2004
Springer
16 years 13 hour ago
2004
Springer
We initiate the study of mechanisms with verification for one-parameter agents. We give an algorithmic characterization of such mechanisms and show that they are provably better ...