Sciweavers

1195 search results - page 77 / 239
» Modeling an Algebraic Stepper
Sort
View
ICIP
1998
IEEE
16 years 7 months ago
Complex Representations of Algebraic Curves
In this work, we employ a complex representation for an algebraic curve, and illustrate how the algebraic transformation which relates two Euclidean equivalent curves can be deter...
Mustafa Unel, William A. Wolovich
SOFSEM
2009
Springer
16 years 3 months ago
Time and Fairness in a Process Algebra with Non-blocking Reading
We introduce the first process algebra with non-blocking reading actions for modelling concurrent asynchronous systems. We study the impact this new kind of actions has on fairnes...
Flavio Corradini, Maria Rita Di Berardini, Walter ...
COMPGEOM
2008
ACM
15 years 8 months ago
Visualizing and exploring planar algebraic arrangements: a web application
A web application is presented to compute, plot, and interactively explore planar arrangements induced by algebraic plane curves of arbitrary degree. It produces accurate curve pl...
Pavel Emeliyanenko, Michael Kerber
ENTCS
2006
161views more  ENTCS 2006»
15 years 6 months ago
Algebraic Specification and Coalgebraic Synthesis of Mealy Automata
We introduce the notion of functional stream derivative, generalising the notion of input derivative of rational expressions (Brzozowski 1964) to the case of stream functions over...
Jan J. M. M. Rutten
ENTCS
2007
97views more  ENTCS 2007»
15 years 6 months ago
Process Algebra Having Inherent Choice: Revised Semantics for Concurrent Systems
Process algebras are standard formalisms for compositionally describing systems by the dependencies of their observable synchronous communication. In concurrent systems, parallel ...
Harald Fecher, Heiko Schmidt