7288 search results - page 1263 / 1458 » On process rate semantics |
167
click to vote
EPIA
2005
Springer
16 years 2 days ago
2005
Springer
The paper studies reductions of propositional theories in equilibrium logic to logic programs under answer set semantics. Specifically we are concerned with the question of how to...
156
click to vote
ERCIMDL
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. The Multivalent Document Model offers a practical, proven, nocompromises architecture for preserving digital documents of potentially any data format. We have implemented...
164
click to vote
EUROPAR
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. To analyze the correctness and the performance of a program, information about the dynamic behavior of all participating processes is needed. The dynamic behavior can be ...
166
click to vote
GCC
2005
Springer
16 years 2 days ago
2005
Springer
DarGridⅡ is an implemented database gird system whose goal is to provide a semantic solution for integrating database resources on the web. Although many algorithms have been pro...
164
click to vote
GECCO
2005
Springer
16 years 2 days ago
2005
Springer
A fuzzy controller is usually designed by formulating the knowledge of a human expert into a set of linguistic variables and fuzzy rules. Among the most successful methods to auto...