7452 search results - page 1085 / 1491 » A Semantics for Multiprocessor Systems |
193
click to vote
PADL
2005
Springer
16 years 11 days ago
2005
Springer
We describe the design of the OLPS system, an implementation of the preferred answer set semantics for ordered logic programs. The basic algorithm we propose computes the extended ...
165
click to vote
SEMWEB
2005
Springer
16 years 10 days ago
2005
Springer
The paper reports on the formal framework to design strategies for multi-issue non-symmetric meaning negotiations among software agents in a distributed information retrieval syste...
168
click to vote
ICCS
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. The unpredictable run-time configurations of dynamic, datadriven application systems require flexible simulation components that can adapt to changes in the number of i...
240
click to vote
NLDB
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. Extracting information automatically from texts for database representation requires previously well-grouped phrases so that entities can be separated adequately. This pr...
219
click to vote
SPATIALCOGNITION
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. In this paper we apply a formal ontological framework in order to deconstruct two prominent approaches to navigation from cognitive robotics, the Spatial Semantic Hierarc...