11949 search results - page 368 / 2390 » Some results on (a:b)-choosability |
100
click to vote
TARK
1998
Springer
15 years 6 months ago
1998
Springer
We develop a revealed-preferencetheory for multiple agents. Some features of our construction, which draws heavily on Jeffrey's utility theory and on formal constructions by D...
110
click to vote
VLDB
1998
ACM
15 years 6 months ago
1998
ACM
Small Materialized Aggregates (SMAs for short) are considered a highly flexible and versatile alternative for materialized data cubes. The basic idea is to compute many aggregate ...
126
click to vote
AADEBUG
1997
Springer
15 years 6 months ago
1997
Springer
We introduce an assertion language for run-time checking of linked list data structure shapes. The assertion language is expressive enough to define characteristic predicates for ...
106
click to vote
ICCAD
1996
IEEE
15 years 6 months ago
1996
IEEE
This paper describes an algorithm for the efficient solution of large systems of Boolean equations. The algorithm exploits the fact that, in some cases, the composition operation ...
111
click to vote
COSIT
1997
Springer
15 years 6 months ago
1997
Springer
As described here, pragmatic navigation attempts to harness simple facts about a two-dimensional environment to facilitate travel through it without an explicit map. It relies upo...