1754 search results - page 27 / 351 » What's new in informatics |
AUSDM
2006
Springer
13 years 11 months ago
2006
Springer
The efficient market hypothesis states that an efficient market immediately incorporates all available information into the price of the traded entity. It is well established that...
DSN
2004
IEEE
13 years 11 months ago
2004
IEEE
Software configuration problems are a major source of failures in computer systems. In this paper, we present a new framework for categorizing configuration problems. We apply thi...
EWCBR
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. Evaluation criteria for conversational CBR (CCBR) systems are important to guide development and tuning of new methods, and to enable practitioners to make informed decis...
KI
1995
Springer
13 years 11 months ago
1995
Springer
Abstract. We investigate the task of skeptically reasoning in extensionbased, nonmonotonic logics by concentrating on general argumentation theories. The restricted applicability o...
FOSSACS
2008
Springer
13 years 9 months ago
2008
Springer
We introduce a new decidable logic for reasoning about infinite arrays of integers. The logic is in the first-order fragment and allows (1) Presburger constraints on existentially...