5924 search results - page 914 / 1185 » Normal Process Representatives |
180
click to vote
WECWIS
2005
IEEE
16 years 5 days ago
2005
IEEE
In this paper, a generic optimization problem arising in supply chain design is modeled in a game theoretic framework and solved as a decentralized problem using a mechanism desig...
190
click to vote
WECWIS
2005
IEEE
16 years 5 days ago
2005
IEEE
This paper studies adaptive bilateral negotiation between software agents in e-commerce environments. Specifically, we assume that the agents are self-interested, the environment...
203
click to vote
HASKELL
2005
ACM
16 years 4 days ago
2005
ACM
Proof assistants based on dependent type theory are closely related to functional programming languages, and so it is tempting to use them to prove the correctness of functional p...
132
click to vote
IUI
2005
ACM
16 years 4 days ago
2005
ACM
Many structured activities are managed by email. For instance, a consumer purchasing an item from an e-commerce vendor may receive a message confirming the order, a warning of a ...
189
click to vote
KCAP
2005
ACM
16 years 4 days ago
2005
ACM
The AutoFeed system automatically extracts data from semistructured web sites. Previously, researchers have developed two types of supervised learning approaches for extracting we...