185 search results - page 18 / 37 » A Case-Based Answer to Some Problems of Knowledge-Based Syst... |
MOBIDE
2005
ACM
15 years 3 months ago
2005
ACM
This work addresses the problem of efficient maintenance of the (correct) answers to the continuous spatio-temporal range queries in Moving Objects Databases (MOD), which represen...
FOSSACS
2001
Springer
15 years 1 months ago
2001
Springer
Abstract. Among the branching-time temporal logics used for the specification and verification of systems, CTL+ , FCTL and ECTL+ are the most notable logics for which the precise...
DOLAP
2004
ACM
15 years 2 months ago
2004
ACM
We address the inference control problem in data cubes with some data known to users through external knowledge. The goal of inference controls is to prevent exact values of sensi...
ACSC
2005
IEEE
15 years 3 months ago
2005
IEEE
Knowledge acquisition (KA) plays an important role in building knowledge based systems (KBS). However, evaluating different KA techniques has been difficult because of the costs...
WEA
2005
Springer
15 years 2 months ago
2005
Springer
Abstract. Many large-scale optimization problems rely on graph theoretic solutions; yet high-performance computing has traditionally focused on regular applications with high degre...