1916 search results - page 14 / 384 » Reasoning with class algebra |
JC
2008
13 years 9 months ago
2008
Valiant introduced 20 years ago an algebraic complexity theory to study the complexity of polynomial families. The basic computation model used is the arithmetic circuit, which ma...
ISPEC
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. In this paper we discuss the problem of collusion secure fingerprinting. In the first part of our contribution we prove the existence of equidistant codes that can be u...
ITP
2010
13 years 11 months ago
2010
We present a new formalization of the algebraic hierarchy in Coq, exploiting its new type class mechanism to make practical a solution formerly thought infeasible. Our approach add...
CDC
2009
IEEE
14 years 1 months ago
2009
IEEE
For a large class of switched systems with zeno phenomenon, classical observer cannot be applied directly since the terms leading to zeno phenomenon are not derivable. However in t...
TOSEM
2008
13 years 9 months ago
2008
Modern programs make extensive use of reusable software libraries. For example, a study of a number of large Java applications shows that between 17% and 30% of the classes in tho...