11949 search results - page 252 / 2390 » Some results on (a:b)-choosability |
123
click to vote
ICCHP
1994
Springer
15 years 5 months ago
1994
Springer
This paper describes work in progress on automatic generation of "impact sounds" based on physical modelling. These sounds can be used as non-speech audio presentation of...
128
click to vote
LPNMR
1993
Springer
15 years 5 months ago
1993
Springer
We present a logic programming language which uses a four-valued bilattice as the underlying framework for semantics of programs. The two orderings of the bilattice reflect the c...
112
click to vote
ENC
2004
IEEE
15 years 5 months ago
2004
IEEE
This article deals with the problem of data cache for dynamic web servers. A set of requests (which number could be large) is submitted to a server for computing. Every request is...
147
click to vote
ICTAI
1997
IEEE
15 years 5 months ago
1997
IEEE
This paper tackles the problem of analyzing the correctness and performance of a computer network protocol. Given the complexity of the problem, no currently used technique is abl...
107
click to vote
FOIKS
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. This paper analyzes the aggregation of different abstract attack relations over a common set of arguments. Each of those attack relations can be considered as the represe...