Sciweavers

3387 search results - page 415 / 678
» Automating the Metamodeling Process
Sort
View
ATAL
2007
Springer
15 years 10 months ago
Negotiation by abduction and relaxation
This paper studies a logical framework for automated negotiation between two agents. We suppose an agent who has a knowledge base represented by a logic program. Then, we introduc...
Chiaki Sakama, Katsumi Inoue
DSD
2009
IEEE
92views Hardware» more  DSD 2009»
15 years 10 months ago
Synthesizing Reversible Circuits for Irreversible Functions
Many reversible circuit synthesis procedures have been proposed. A common feature of most methods is that the initial specification must be a completely-specified reversible functi...
D. Michael Miller, Robert Wille, Gerhard W. Dueck
GI
2007
Springer
15 years 10 months ago
User Profile Refinement Using Explicit User Interest Modeling
: In this paper, we present an approach to refine user profiles that were derived from Web server logs in an automated procedure. In most application scenarios, such automatically ...
Gerald Stermsek, Mark Strembeck, Gustaf Neumann
ATAL
2006
Springer
15 years 10 months ago
TacTex-05: An Adaptive Agent for TAC SCM
Supply chains are ubiquitous in the manufacturing of many complex products. Traditionally, supply chains have been created through the interactions of human representatives of the ...
David Pardoe, Peter Stone, Mark Van Middlesworth
CAISE
2006
Springer
15 years 10 months ago
Capability Management and Discovery in Description Logic
In some application domains as composite software, ranging from search engines, to more general applications, like cooperative and distributed applications or e-business and e-comm...
Dong Cheng, Nacer Boudjlida