2316 search results - page 260 / 464 » The many forms of hypercomputation |
149
click to vote
ADC
2001
Springer
15 years 10 months ago
2001
Springer
The Sketch Data Model (SkDM) is a new semantic modelling paradigm based on category theory (specifically on categorical universal algebra), which has been used successfully in se...
169
click to vote
CAV
2001
Springer
15 years 10 months ago
2001
Springer
Model Checking is an algorithmic technique to determine whether a temporal property holds of a program. For linear time properties, a model checker produces a counterexample comput...
165
click to vote
CIA
2001
Springer
15 years 10 months ago
2001
Springer
In recent years auctions have become more and more important in the field of multiagent systems as useful mechanisms for resource allocation, task assignment and last but not leas...
157
click to vote
DSVIS
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. With the explosion of devices, computing platforms, contextual conditions, user interfaces become more confronted to a need to be adapted to multiple configurations of t...
172
click to vote
ICCBR
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. This paper proposes a fuzzy-rough method of maintaining CaseBased Reasoning (CBR) systems. The methodology is mainly based on the idea that a large case library can be tr...