2253 search results - page 251 / 451 » The ComFoRT Reasoning Framework |
80
Voted
CL
2000
Springer
15 years 3 months ago
2000
Springer
We propose a general scheme for the cooperation of different constraint solvers. A uniform interface for constraint solvers allows to formally specify information exchange between...
ECSQARU
2007
Springer
15 years 5 months ago
2007
Springer
When several agents operate in a common environment, their plans may interfere so that the predicted outcome of each plan may be altered, even if it is composed of deterministic ac...
86
Voted
TRUSTBUS
2007
Springer
15 years 5 months ago
2007
Springer
While logging events is becoming increasingly common in computing, in communication and in collaborative environments, log systems need to satisfy increasingly challenging (if not ...
85
Voted
IFM
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. We present a fixpoint semantics of event systems. The semantics is presented in a general framework without concerns of fairness. Soundness and completeness of rules for...
IDEAL
2004
Springer
15 years 4 months ago
2004
Springer
Most financial time series processes are nonstationary and their frequency characteristics are time-dependant. In this paper we present a time series summarization and prediction ...