46 search results - page 2 / 10 » Descartes' Rule of Signs |
COGSCI
2007
13 years 5 months ago
2007
It has been suggested that iconic graphical signs evolve into symbolic graphical signs through repeated usage. This article reports a series of interactive graphical communication...
ISMVL
2007
IEEE
13 years 11 months ago
2007
IEEE
We define a resolution-style rule for solving the Max-SAT problem of Signed CNF formulas (Signed Max-SAT) and prove that our rule provides a complete calculus for that problem. F...
IEEECIT
2010
IEEE
13 years 3 months ago
2010
IEEE
—This paper analyses remainder signs determinant issue in the computer fixed-point division operation. Together with the manual binary number division, the true code addition and...
CONTEXT
2005
Springer
13 years 11 months ago
2005
Springer
Regarding the high rate of transgressions of the Highway Code, the paper is about how do road users agree to be exposed to such risks? We consider that this issue must be addressed...
LFCS
2009
Springer
13 years 12 months ago
2009
Springer
Canonical propositional Gentzen-type calculi are a natural class of systems which in addition to the standard axioms and structural rules have only logical rules where exactly one ...