11949 search results - page 221 / 2390 » Some results on (a:b)-choosability |
ADBIS
1997
Springer
15 years 5 months ago
1997
Springer
Efficient evaluation strategies for declarative updates have rarely been investigated. Due to possible dependencies between the resulting database state and the order in which re...
112
click to vote
MICRO
1993
IEEE
15 years 5 months ago
1993
IEEE
Extensive research has been done on extracting parallelism from single instruction stream processors. This paper presents some results of our investigation into ways to modify MIM...
CCS
1993
ACM
15 years 5 months ago
1993
ACM
Designers of cryptographic systems are at a disadvantage to most other engineers, in that information on how their systems fail is hard to get: their major users have traditionall...
107
click to vote
ICLP
1994
Springer
15 years 5 months ago
1994
Springer
The consequences of a logic program depend in general upon both the rules of the program and its language. However the consequences of some programs are independent of the choice ...
110
click to vote
CDC
2009
IEEE
15 years 5 months ago
2009
IEEE
The explicit solution of the filtering problem with exponential criteria for a general Gaussian signal is obtained through an approach which is based on a conditional Cameron-Mart...