2171 search results - page 109 / 435 » A Generic Process Algebra |
122
click to vote
ICIP
2003
IEEE
16 years 2 months ago
2003
IEEE
In a former work of ours [I], we proposed a new way to express and interpret the epipolar constraint using Geometric Algebra, and we derived from it a novel and efficient2view cam...
112
click to vote
ICIP
1998
IEEE
16 years 2 months ago
1998
IEEE
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...
104
click to vote
UML
2001
Springer
15 years 5 months ago
2001
Springer
: There are several reasons to specify UML models in a formal way The most important are to avoid inconsistencies and ambiguities and to do verification and forecasting of system p...
106
click to vote
COMPGEOM
2008
ACM
15 years 2 months ago
2008
ACM
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...
111
click to vote
FORTE
1998
15 years 2 months ago
1998
Message Sequence Charts (MSCs) are a graphical and textual language for the speci cation of message passing systems, in particular telecommunication systems. MSCs are standardised...