476 search results - page 13 / 96 » Information Algebras |
153
click to vote
COMPGEOM
2009
ACM
16 years 5 days ago
2009
ACM
We revisit the problem of computing the topology and geometry of a real algebraic plane curve. The topology is of prime interest but geometric information, such as the position of...
142
click to vote
MICS
2010
15 years 4 months ago
2010
We revisit the problem of computing the topology and geometry of a real algebraic plane curve. The topology is of prime interest but geometric information, such as the position of...
149
click to vote
CONPAR
1992
15 years 9 months ago
1992
A major feature of Computer Algebra, and more generally of non-numerical computations, is the dynamical and non-predictable behaviour of the executions. We then understand that st...
141
click to vote
MKM
2007
Springer
15 years 11 months ago
2007
Springer
This paper reports on ongoing work on the project of representing the Kenzo system [15] in type theory [11].
150
click to vote
CSFW
1999
IEEE
15 years 10 months ago
1999
IEEE
The information security community has long debated the exact definition of the term `security'. Even if we focus on the more modest notion of confidentiality the precise def...