3719 search results - page 27 / 744 » order 2010 |
CORR
2010
Springer
13 years 8 months ago
2010
Springer
We consider the problem of constructing optimal authentication codes with splitting. New infinite families of such codes are obtained. In particular, we establish the first known...
ORDER
2010
13 years 8 months ago
2010
Let r(n) denote the largest integer such that every family C of n pairwise disjoint segments in the plane in general position has r(n) members whose order type can be represented ...
EDM
2010
13 years 11 months ago
2010
Learning management systems capture student's interactions with the course contents in the form of event logs, including the order in which resources are accessed. We build on...
ENTCS
2006
13 years 10 months ago
2006
A compiler that automatically translates recursive function definitions in higher order logic to clocked synchronous hardware is described. Compilation is by mechanised proof in t...
CONSTRAINTS
2010
13 years 7 months ago
2010
Abstract. Many computational problems linked to uncertainty and preference management can be expressed in terms of computing the marginal(s) of a combination of a collection of val...