4052 search results - page 474 / 811 » integration 2007 |
196
click to vote
CORR
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. We describe decomposition during search (DDS), an integration of And/Or tree search into propagation-based constraint solvers. The presented search algorithm dynamically ...
216
click to vote
CORR
2007
Springer
15 years 7 months ago
2007
Springer
Common knowledge logic is meant to describe situations of the real world where a group of agents is involved. These agents share knowledge and make strong hypotheses on the knowled...
217
click to vote
CSI
2007
15 years 7 months ago
2007
In order to develop security critical Information Systems, specifying security quality requirements is vitally important, although it is a very difficult task. Fortunately, there ...
188
click to vote
DEBU
2007
15 years 7 months ago
2007
Work on early tiny database systems, like TinyDB [17] and Cougar [23] has shown that a declarative approach can provide a powerful and easy to use interface for collecting data fr...
189
click to vote
DSS
2007
15 years 7 months ago
2007
Since the early 1970s, decision support systems (DSS) have evolved significantly. In this paper, the design and implementation of MSMiner, a developing platform for DSS, is introd...