2642 search results - page 62 / 529 » The development of Chez Scheme |
MSWIM
2005
ACM
14 years 3 months ago
2005
ACM
The Advance in video coding and wireless communication techniques has enabled video-based services to be the most important component of many emerging multimedia applications. The...
SIGECOM
2005
ACM
14 years 3 months ago
2005
ACM
We present a new approach to representing coalitional games based on rules that describe the marginal contributions of the agents. This representation scheme captures characterist...
ICICS
2004
Springer
14 years 3 months ago
2004
Springer
Fail-stop signature (FSS) schemes are important primitives because in a fail-stop signature scheme the signer is protected against unlimited powerful adversaries as follows: Even i...
ICASSP
2009
IEEE
14 years 4 months ago
2009
IEEE
— An anti-collusion fingerprinting system is developed to protect media files against time-varying collusion attacks based on the scalar Costa scheme (SCS) and colluder weight ...
FROCOS
2009
Springer
14 years 4 months ago
2009
Springer
In an attempt to improve automation capabilities in the Coq proof assistant, we develop a tactic for the propositional fragment based on the DPLL procedure. Although formulas natur...