4066 search results - page 120 / 814 » Almost Complete Sets |
142
click to vote
EJC
2007
15 years 6 months ago
2007
We sharpen a result of Hansel on separating set systems. We also extend a theorem of Spencer on completely separating systems by proving an analogue of Hansel’s result.
154
click to vote
DAC
2001
ACM
16 years 7 months ago
2001
ACM
Watermarking of hardware and software designs is an effective mechanism for intellectual property protection (IPP). Two important criteria for watermarking schemes are credibility...
167
click to vote
ICMT
2009
Springer
16 years 28 days ago
2009
Springer
Abstract. In Model-Driven Engineering models and metamodels are not preserved from the evolutionary pressure which inevitably affects almost any artefacts. Moreover, the coupling b...
183
click to vote
CONCUR
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. We consider linear time temporal logic enriched with semiextended regular expressions through various operators that have been proposed in the literature, in particular i...
119
click to vote
ACG
2006
Springer
16 years 11 days ago
2006
Springer
Endgame databases have previously been built based on complete analysis of endgame positions. In the domain of Checkers, where endgame databases consisting of 39 trillion positions...