11949 search results - page 159 / 2390 » Some results on (a:b)-choosability |
131
click to vote
ADBIS
1994
Springer
15 years 5 months ago
1994
Springer
The data structures suitable for indexing of large spatial objects in databases are considered. Some generalizations of existing tree methods concerned approximation of spatial ob...
112
click to vote
CHI
1993
ACM
15 years 5 months ago
1993
ACM
This paper describes some recent experiments that assess user behavior in a multi-modal environment in which actions can be performed with equivalent effect in speech, keyboard or...
BIRD
2007
Springer
15 years 5 months ago
2007
Springer
Fast search algorithms for finding good instances of patterns given as position specific scoring matrices are developed, and some empirical results on their performance on DNA sequ...
PQCRYPTO
2010
15 years 5 months ago
2010
We give exact formulas for the growth of the ideal Aλ for λ a quadratic element of the algebra of Boolean functions over the Galois field GF(2). That is, we calculate dim Akλ w...
BIRTHDAY
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. We propose to use Grothendieck institutions based on 2categorical diagrams as a basis for heterogeneous specification. We prove a number of results about colimits and (so...