14782 search results - page 2894 / 2957 » Activities in Object Bases |
198
click to vote
AGENTS
2001
Springer
15 years 10 months ago
2001
Springer
Matchmaking is the process of mediating demand and supply based on profile information. Matchmaking plays a crucial role in agent-based electronic marketplaces: the problem to be ...
176
click to vote
CCO
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. We study in this lecture the literature on mixed integer programming models and formulations for a specific problem class, namely deterministic production planning probl...
157
click to vote
CHARME
2001
Springer
15 years 10 months ago
2001
Springer
Formal analysis remains outside the mainstream of system design practice. Interactive methods and tools are regarded by some to be on the margin of useful research in this area. Al...
197
click to vote
CONCUR
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. A controller is an environment for a system that achieves a particular control objective by providing inputs to the system without constraining the choices of the system....
173
click to vote
LPNMR
2001
Springer
15 years 10 months ago
2001
Springer
Abstract This paper describes a generic compiler, called plp, for translating ordered logic programs into standard logic programs under the answer set semantics. In an ordered logi...