949 search results - page 39 / 190 » Lightweight Formal Methods for Computer Algebra Systems |
FLAIRS
2000
15 years 3 months ago
2000
Behaviour of systems is described by formal languages: the sets of all sequences of actions. Regarding ion, alphabetic language homomorphisms are compute abstract behaviours. To a...
111
Voted
ICTAC
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Given a nite state machine denoting the speci cation of a system, nding some short interaction sequences capable to reach some/all states or transitions of this machine...
106
click to vote
ICCPOL
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Telugu is the third most spoken language in India and one of the fifteen most spoken languages in the world. But, there is no standardized input method for Telugu, which ...
112
click to vote
MICS
2010
15 years 24 days 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...
120
click to vote
COMPGEOM
2009
ACM
15 years 9 months 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...