11949 search results - page 160 / 2390 » Some results on (a:b)-choosability |
CW
2004
IEEE
15 years 5 months ago
2004
IEEE
In this paper we introduce the concept of transmedial worlds, relating it to genre and adaptation theory, and presenting a framework for how to look for transmedial traits in a wo...
113
click to vote
HYBRID
2000
Springer
15 years 5 months ago
2000
Springer
A general verification algorithm is described. It is then shown how ellipsoidal methods developed by A. B. Kurzhanski and P. Varaiya can be adapted to the algorithm. New numerical ...
IV
2000
IEEE
15 years 4 months ago
2000
IEEE
We are generating music from a particular view of a multi-dimensional geographic information system (GIS) data set to alert a viewer to the existence of hidden clusters of data po...
SOFSEM
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. In this paper we survey some results concerning balls-intobins-games and the power of two choices. We present a unified and rather elementary analysis for models in the p...
115
click to vote
TABLEAUX
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. This paper presents the results of applying RACE, a description logic system for ALCNHR+ , to modal logic SAT problems. Some aspects of the RACE architecture are discusse...