3454 search results - page 65 / 691 » Modern computer algebra |
120
Voted
ASPDAC
2005
ACM
15 years 11 months ago
2005
ACM
— With the rise in complexity of modern systems, designers are spending a significant time on at the system level of abstraction. This paper introduces Model Algebra, a formalis...
153
click to vote
ISVC
2009
Springer
16 years 4 days ago
2009
Springer
Given a Cylindrical Algebraic Decomposition of an implicit algebraic curve, visualizing distinct curve arcs is not as easy as it stands because, despite the absence of singularitie...
168
click to vote
ENTCS
2008
15 years 5 months ago
2008
We give a general method for showing that all numberings of certain effective algebras are recursively equivalent. The method is based on computable approximation-limit pairs. The...
241
click to vote
CVPR
1999
IEEE
16 years 6 months ago
1999
IEEE
An algebraic curve is defined as the zero set of a polynomial in two variables. Algebraic curves are practical for modeling shapes much more complicated than conics or su...
168
click to vote
CONCUR
2009
Springer
16 years 5 days ago
2009
Springer
Several process algebras for modelling hybrid systems have appeared in the literature in recent years. These all assume that continuous variables in the system are modelled monolit...