10910 search results - page 12 / 2182 » Input modeling using a computer algebra system |
COMPGEOM
2009
ACM
15 years 6 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...
MICS
2010
14 years 10 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...
104
click to vote
ICONS
2009
IEEE
15 years 6 months ago
2009
IEEE
Most recent software related accidents have been system accidents. To validate the absence of system hazards concerning dysfunctional interactions, industrials call for approaches...
106
Voted
SPIN
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. We develop an algorithm to compute timed reachability probabilities for distributed models which are both probabilistic and nondeterministic. To obtain realistic results ...
MKM
2009
Springer
15 years 4 months ago
2009
Springer