3154 search results - page 222 / 631 » Computing Closed Skycubes |
151
click to vote
AISC
2004
Springer
15 years 12 months ago
2004
Springer
Qualitative Reasoning is characterised by making knowledge explicit in order to arrive at efficient reasoning techniques. It contrasts with often intractable quantitative models. W...
161
click to vote
CP
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We present a cooperation technique using an accurate management of nogoods to solve a hard real-time problem which consists in assigning periodic tasks to processors in t...
174
click to vote
ICCS
2004
Springer
15 years 12 months ago
2004
Springer
In this paper we study two orthogonal extensions of the classical data mining problem of mining association rules, and show how they naturally interact. The first is the extension...
155
click to vote
MKM
2004
Springer
15 years 12 months ago
2004
Springer
A major obstacle for bridging the gap between textbook mathematics and formalising it on a computer is the problem how to adequately capture the intuition inherent in the mathemati...
144
click to vote
WAPCV
2004
Springer
15 years 12 months ago
2004
Springer
Bottom-up cortical representations of visual conspicuity interact with top-down internal cognitive models of the external world to control eye movements, EMs, and the closely linke...