2253 search results - page 251 / 451 » The ComFoRT Reasoning Framework |
145
click to vote
CL
2000
Springer
15 years 10 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...
147
click to vote
ECSQARU
2007
Springer
16 years 8 days 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...
175
Voted
TRUSTBUS
2007
Springer
16 years 6 days 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 ...
149
click to vote
IFM
2005
Springer
15 years 11 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...
165
click to vote
IDEAL
2004
Springer
15 years 11 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 ...