2452 search results - page 111 / 491 » The Case for Precision Sharing |
161
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Simulations of weighted tree automata (wta) are considered. It is shown how such simulations can be decomposed into simpler functional and dual functional simulations also called f...
170
click to vote
DM
2011
14 years 10 months ago
2011
A k-plex of a latin square is a collection of cells representing each row, column, and symbol precisely k times. The classic case of k = 1 is more commonly known as a transversal....
141
click to vote
FSTTCS
2004
Springer
15 years 10 months ago
2004
Springer
A separation context is a client program which does not dereference internals of a module with which it interacts. We use certain "precise" relations to unambiguously des...
166
click to vote
ENTCS
2008
15 years 6 months ago
2008
A category with biproducts is enriched over (commutative) additive monoids. A category with tensor products is enriched over scalar multiplication actions. A symmetric monoidal ca...
139
click to vote
COMBINATORICS
2007
15 years 6 months ago
2007
We refine previous results to provide examples, and in some cases precise classifications, of extremal subsets of {1, ..., n} containing no solutions to a wide class of non-inva...