2560 search results - page 110 / 512 » Contributions to zero-sum problems |
DAC
1998
ACM
14 years 11 months ago
1998
ACM
Efficient techniques for the manipulation of Binary Decision Diagrams (BDDs) are key to the success of formal verification tools. Recent advances in reachability analysis and mode...
CP
2009
Springer
14 years 11 months ago
2009
Springer
Equidistant Frequency Permutation Arrays are combinatorial objects of interest in coding theory. A frequency permutation array is a type of constant composition code in which each ...
ICIAP
2005
ACM
14 years 10 months ago
2005
ACM
Abstract. Application and development of specialized machine learning techniques is gaining increasing attention in the intrusion detection community. A variety of learning techniq...
ICPR
2010
IEEE
14 years 5 months ago
2010
IEEE
This paper is concerned with accuracy estimation of point trajectories in video sequences without ground truth information. This is an essential problem for many computer vision a...
STACS
2009
Springer
14 years 5 months ago
2009
Springer
We revisit the problem of generating a “hard” random lattice together with a basis of relatively short vectors. This problem has gained in importance lately due to new cryptogr...